|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 24254 occurrences of 8555 keywords
|
|
|
Results
Found 40310 publication records. Showing 40310 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso |
Is methodology the highway out of verification hell? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 521-522, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
verification, formal verification, methodology, assertions |
26 | Min-Hsuan Fan, Chua-Huang Huang, Yeh-Ching Chung |
A Programming Methodology for Designing Block Recursive Algorithms on Various Computer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 31st International Conference on Parallel Processing Workshops (ICPP 2002 Workshops), 20-23 August 2002, Vancouver, BC, Canada, pp. 607-614, 2002, IEEE Computer Society, 0-7695-1680-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
block recursive algorithm, baseline network, parallel processing, hypercube network, omega network, tensor product, programming methodology, parallel prefix |
26 | Alistair Cockburn |
Selecting a Project 's Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 17(4), pp. 64-71, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
project experiences, methodology, cultures, methods, software development process, people, software engineering practices |
25 | Javier Argüelles, María José López, J. Blanco, Mar Martínez, Salvador Bracho |
Iddt testing of continuous-time filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 13th IEEE VLSI Test Symposium (VTS'95), April 30 - May 3, 1995, Princeton, New Jersey, USA, pp. 101-107, 1995, IEEE Computer Society, 0-8186-7000-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
continuous time filters, continuous-time filters, design-for-test methodology, dynamic supply current consumption, dynamic current, partitioning methodology, test reliability, built-in self test, integrated circuit testing, design for testability, automatic testing, CMOS, automatic test equipment, built-in current sensor, CMOS analogue integrated circuits |
25 | Robert M. McGraw, Moshe Meyassed, Robert H. Klenke, James H. Aylor, Ronald D. Williams |
Refinement of system-level designs using hybrid modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 409-416, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
system-level design refinement, complex system design, unified modeling methodology, top-down/bottom-up design methodology, modeling environment, behavioral components, high risk portions, simulation, simulation, modelling, systems analysis, product development, hybrid modeling, multi-level modeling |
25 | M. José Escalona, Jesús Torres 0001, Manuel Mejías |
Requirements Capture Workflow in Global Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: Object-Oriented. Information Systems, 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002, Proceedings, pp. 267-279, 2002, Springer, 3-540-44087-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Global Information System, global interface, navigation, requirements, development methodology |
24 | Marzieh Ispareh, Behrouz Tork Ladani, Shirin Shariat Panahi, Zahra Nasr Azadani |
Toward a software development methodology for anonymity applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT/ICDT Workshops ![In: Proceedings of the 2010 EDBT/ICDT Workshops, Lausanne, Switzerland, March 22-26, 2010, 2010, ACM, 978-1-60558-990-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
anonymity application, anonymity, software development methodology |
24 | Martin Ota, Ivan Jelínek |
IMSF: Infinite Methodology Set Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering, 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings, pp. 253-256, 2009, Springer, 978-3-642-04264-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
IMSF, software engineering, framework, methodology, process |
24 | Yong Ki Lee, Herwin Chan, Ingrid Verbauwhede |
Design Methodology for Throughput Optimum Architectures of Hash Algorithms of the MD4-class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 53(1-2), pp. 89-102, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Architecture design methodology, MD4-based hash algorithm, SHA1, RIPEMD-160, Iteration bound analysis, DFG (Data Flow Graph) transformation, Throughput optimization, MD5 |
24 | Imed Lassoued, Jean-Marie Bonnin, Zied Ben Hamouda, Abdelfattah Belghith |
A Methodology for Evaluating Vertical Handoff Decision Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN ![In: Seventh International Conference on Networking (ICN 2008), 13-18 April 2008, Cancun, Mexico, pp. 377-384, 2008, IEEE Computer Society, 978-0-7695-3106-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Vertical Handoff Mechanism, Mobility Modeling, Evaluation Methodology |
24 | Elisângela Vilar, Ernesto Filgueiras, Francisco Rebelo |
Methodology to Apply a Usability Testing by Non Specialized People: Evaluation of the European Platform "e-Exhibitions". ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (17) ![In: Ergonomics and Health Aspects of Work with Computers, International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 359-367, 2007, Springer, 978-3-540-73332-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Usability tools, Protocol, Methodology, Usability Testing |
24 | Jianfeng Zhan, Lei Wang 0004, Bibo Tu, Hui Wang, Zhihong Zhang, Yi Jin, Yu Wen, Yuansheng Chen, Peng Wang, Bizhu Qiu, Dan Meng, Ninghui Sun |
The design methodology of Phoenix cluster system software stack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
China HPC ![In: CHINA HPC 2007, Proceedings of the Asian Technology Information Program's (ATIP's) Third Workshop on High-Performance Computing in China: `Solution Approaches to Impediments for High Performance Computing`, Supercomputing 2007 (SC07), November 11, 2007, Reno, Nevada, USA, pp. 174-182, 2007, ACM Press, 978-1-59593-903-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
cluster system software stack, design methodology, practice, evaluation criteria |
24 | Jiang Xu 0001, Wayne H. Wolf, Jörg Henkel, Srimat T. Chakradhar |
A design methodology for application-specific networks-on-chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 5(2), pp. 263-280, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
regular topology, architecture, methodology, networks-on-chip, Application-specific |
24 | Kwanghoon Pio Kim, Jae-Kang Won, Chang-Min Kim |
A Fragment-Driven Process Modeling Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part III, pp. 817-826, 2005, Springer, 3-540-25862-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Fragment-driven Process Modeling Methodology, Cooperative Modeling Approach, Information Control Net, Global Process Model |
24 | Avinash K. Gautam, Jagdish C. Rao, Karthikeyan Madathil, Vilesh Shah, H. Udayakumar, Amitabh Menon, Subash Chandar G. |
A Design Methodology for a Fully Synthesized High Speed DSP Core in a Deep Sub-Micron Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings of the IEEE International Conference On Computer Design, VLSI in Computers and Processors, ICCD '99, Austin, Texas, USA, October 10-13, 1999, pp. 340-347, 1999, IEEE Computer Society, 0-7695-0406-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Links to layout, Synthesis, DSP, Design Methodology, Physical Design, Deep sub-micron |
24 | Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba |
SOFL: A Formal Engineering Methodology for Industrial Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(1), pp. 24-45, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
formal methods, formal languages, data flow diagrams, object-oriented methodology, Structured methods |
24 | Hon Wai Chun |
A methodology for object-oriented constraint programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 116-122, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
object-oriented constraint programming methodology, orthogonal programming paradigms, complementary programming paradigms, logic constraint programming, constrained variables, nurse rostering system, object-oriented programming, object-oriented programming, object-oriented design, object-oriented analysis, constraint-based model |
24 | Gérard Le Lann |
A Methodology for Designing and Dimensioning Critical Complex Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), March 11-15, 1996, Friedrichshafen, Germany., pp. 332-, 1996, IEEE Computer Society, 0-8186-7355-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
design proofs, fault-tolerance, distributed computing, design methodology, complex systems, systems engineering, on-line algorithms, critical systems, real-time computing |
24 | Frank Ng, Gregory Butler, Judy Kay |
An Intelligent Tutoring System for the Dijkstra-Gries Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(5), pp. 415-428, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Dijkstra-Gries, symbolic algebra, user modeling, inheritance, intelligent tutoring systems, unification, object-oriented systems, programming methodology, teaching programming, re-use |
24 | Sumit Mohanty, Seonil Choi, Ju-wook Jang, Viktor K. Prasanna |
A Model-Based Methodology for Application Specific Energy Efficient Data Path Design Using FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 13th IEEE International Conference on Application-Specific Systems, Architectures, and Processors (ASAP 2002), 17-19 July 2002, San Jose, CA, USA, pp. 76-87, 2002, IEEE Computer Society, 0-7695-1712-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
reconfigurable computing, embedded system design, energy optimization |
22 | Kristinn R. Thórisson, Rögnvaldur J. Saemundsson, Gudny Ragna Jonsdottir, Brynjar Reynisson, Claudio Pedica, Palli Runar Thrainsson, Pálmi Skowronski |
Applying Constructionist Design Methodology to Agent-Based Simulation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, pp. 203-212, 2009, Springer, 978-3-642-01664-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Design Methodology, Agent-based systems |
22 | Roberto Gómez 0001, Alejandro Girón, Víctor H. Champac |
A Test Generation Methodology for Interconnection Opens Considering Signals at the Coupled Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 24(6), pp. 529-538, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Interconnection opens, Boolean testing, Favorable logic conditions, Test generation methodology, Coupling capacitances |
22 | Maik Wurdel, Daniel Sinnig, Peter Forbrig |
Task-Based Development Methodology for Collaborative Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA/HCSE ![In: Engineering Interactive Systems, Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings, pp. 118-125, 2008, Springer, 978-3-540-85991-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Collaborative Task Models, Refinement, Tool Support, Development Methodology |
22 | Teemu Leinonen, Tarmo Toikkanen, Katrina Silfvast |
Software as hypothesis: research-based design methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDC ![In: Proceedings of the Tenth Conference on Participatory Design, PDC 2008, Bloomington, Indiana, USA, October 1-4, 2008, pp. 61-70, 2008, ACM, 978-0-9818561-0-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
learning, education, software, design methodology, method, human-centered |
22 | Chia-han Lee, Wayne H. Wolf |
Design Methodology for Software Radio Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Embedded Computer Systems: Architectures, Modeling, and Simulation, 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings, pp. 355-364, 2007, Springer, 978-3-540-73622-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
baseband, methodology, convex optimization, ADC, RF, front-ends, Software radio |
22 | David A. Dryer, Thomas Bock, Maria Broschi, Timothy D. Beach |
DoDAF limitations and enhancements for the Capability Test Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (3) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 3, pp. 170-176, 2007, SCS/ACM, 1-56555-314-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
JTEM, capability evaluation metamodel, capability test methodology, test and evaluation, DoDAF |
22 | Youngseok Kim, Hong-Bae Jun, Dimitris Kiritsis, Paul C. Xirouchakis |
A Methodology for Modeling a Quality Embedded Remanufacturing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APMS ![In: Advances in Production Management Systems, International IFIP TC 5, WG 5.7 Conference on Advances in Production Management Systems (APMS 2007), September 17-19, Linköping, Sweden, pp. 281-288, 2007, Springer, 978-0-387-74156-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Remanufacturing, Agent, Petri-Nets, Quality, Modeling methodology |
22 | Ming Zhou, Jianwen Ren, Jianxun Qi, Dongxiao Niu, Gengyin Li |
CommonKADS Methodology for Developing Power Grid Switching Orders Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD Workshops ![In: Emerging Technologies in Knowledge Discovery and Data Mining, PAKDD 2007, International Workshops, Nanjing, China, May 22-25, 2007, Revised Selected Papers, pp. 87-98, 2007, Springer, 978-3-540-77016-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Power grid switching operation, expertise knowledge modeling, CommonKADS methodology, automatic formation, task template, ontology |
22 | Brian Marick |
Methodology work is ontology work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 125, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ontology, software development, methodology, perception, cows |
22 | Benton H. Calhoun, Frank Honoré, Anantha P. Chandrakasan |
Design methodology for fine-grained leakage control in MTCMOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2003 International Symposium on Low Power Electronics and Design, 2003, Seoul, Korea, August 25-27, 2003, pp. 104-109, 2003, ACM, 1-58113-682-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
fine-grain sleep regions, sneak leakage, low power, design methodology, leakage, circuit design, sleep mode, MTCMOS |
22 | Ling Feng, Elizabeth Chang 0001, Tharam S. Dillon |
A semantic network-based design methodology for XML documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 20(4), pp. 390-421, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
XML, XML, conceptual modeling, design methodology, XML Schema, semantic network |
22 | Randall S. Janka, Linda M. Wills |
A novel codesign methodology for real-time embedded COTS multiprocessor-based signal processing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Eighth International Workshop on Hardware/Software Codesign, CODES 2000, San Diego, California, USA, 2000, pp. 157-161, 2000, ACM, 1-58113-268-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
MPI/RT, VSIPL, specification and design methodology, middleware, MPI, embedded, COTS, multiprocessing, MAGIC |
22 | Cléver Ricardo Guareis de Farias, Luís Ferreira Pires, Marten van Sinderen |
A Component-Based Groupware Development Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 25-28 September 2000, Makuhari, Japan, Proceedings, pp. 204-, 2000, IEEE Computer Society, 0-7695-0865-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
component-based groupware development methodology, software artefacts, chat application, interoperability, software components, reusability, open systems, software development process |
22 | Thorsten Adler, Hiltrud Brocke, Lars Hedrich, Erich Barke |
A current driven routing and verification methodology for analog applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000., pp. 385-389, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
multiterminal signal nets, routing, verification, design methodology, Steiner tree, electromigration, current density |
22 | Robert A. Basta, William H. Greene |
A system engineering methodology for predicting scalability of very large real-time databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 211-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
system engineering methodology, scalable system design, scalability prediction, very large real-time databases, real-time access, accurate performance analysis, implementation alternative evaluation, physical benchmark configuration, subset functionality, database configuration, upscale model, simulation, model, real-time systems, query processing, systems analysis, iterative methods, reconfigurable architectures, systems engineering, software performance evaluation, simulation results, very large databases, iterative process, performance data |
22 | Gregg Skip Bailey |
Iterative methodology and designer training in human-computer interface design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERCHI ![In: Human-Computer Interaction, INTERACT '93, IFIP TC13 International Conference on Human-Computer Interaction, 24-29 April 1993, Amsterdam, The Netherlands, jointly organised with ACM Conference on Human Aspects in Computing Systems CHI'93, pp. 198-205, 1993, ACM, 0-89791-575-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
iterative design methodology, user interface specialists, programmers |
22 | Daniel Hoffman, Richard T. Snodgrass |
Trace Specifications: Methodology and Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(9), pp. 1243-1252, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
trace specification language, trace specification methodology, specification consistency, executable prototypes, formal specification, formal specification, specification languages |
22 | Keki B. Irani, Suk I. Yoo |
A Methodology for Solving Problems: Problem Modeling and Heuristic Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 10(5), pp. 676-686, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
problem modeling, heuristic generation, robot planning problem, labeling problem, methodology, problem solving, problem solving, traveling salesman problem |
21 | Maosen Cao, Pizhong Qiao, Qingwen Ren |
Improved hybrid wavelet neural network methodology for time-varying behavior prediction of engineering structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 18(7), pp. 821-832, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Prediction of time-varying behavior, Neuro-wavelet modeling, Structural safety, Neural networks, Wavelet, Deformation, Optimization models, Subsystems, Nonlinear analysis |
21 | Yun Chen, Maria Kutar, Andy Hamilton |
Modelling and Matching: A Methodology for ePlanning System Development to Address the Requirements of Multiple User Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (15) ![In: Online Communities and Social Computing, Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 41-49, 2007, Springer, 978-3-540-73256-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ePlanning Systems, Information System Development Methodo-logies (ISDMs), Multiple User Groups, Modelling and Matching (M&M) |
21 | Mikio Aoyama |
Persona-Scenario-Goal Methodology for User-Centered Requirements Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 15th IEEE International Requirements Engineering Conference, RE 2007, October 15-19th, 2007, New Delhi, India, pp. 185-194, 2007, IEEE Computer Society, 0-7695-2935-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Eli Kolberg, Yoram Reich, Ilya Levin |
Design of Design Methodology for Autonomous Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2007: Robot Soccer World Cup XI, July 9-10, 2007, Atlanta, GA, USA, pp. 528-539, 2007, Springer, 978-3-540-68846-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Brian Holland, Karthik Nagarajan, Alan D. George |
RAT: RC Amenability Test for Rapid Performance Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Reconfigurable Technol. Syst. ![In: ACM Trans. Reconfigurable Technol. Syst. 1(4), pp. 22:1-22:31, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
formulation methodology, strategic design methodology, FPGA, reconfigurable computing, performance prediction |
21 | Rangarirai Matavire, Irwin Brown |
Investigating the use of "Grounded Theory" in information systems research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAICSIT ![In: Proceedings of the 2008 Annual Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, SAICSIT 2008, Wilderness, South Africa, October 6-8, 2008, pp. 139-147, 2008, ACM, 978-1-60558-286-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
grounded theory methodology, research methodology |
21 | Galal Hassan Galal, Ray J. Paul |
A Qualitative Scenario Approach to Managing Evolving Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 4(2), pp. 92-102, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Grounded systems engineering methodology, GSEM, Information systems requirements, Qualitative methodology, Qualitative scenarios, Requirements engineering, Grounded theory, Fixed-point theorem |
21 | José Luís Barros Justo |
A repository to support requirement specifications reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCNZ ![In: Proceedings of the 1996 Information Systems Conference of New Zealand, ISCNZ '96, October 30-31, 1996, pp. 53-62, 1996, IEEE Computer Society, 0-8186-7710-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
requirement specifications reuse, new developments, program bugs, design-by reuse methodology, design-for reuse methodology, representative descriptors, component engineering, classification, software tools, software quality, software reuse, time, computer aided software engineering, software repository, component reuse, abstraction levels, indexing techniques, software methodologies, software cost |
20 | Chunsheng Yang, Benoit Farley, Robert Orchard |
Automated case creation and management for diagnostic CBR systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 28(1), pp. 17-28, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Case bases, Automated case creation, Natural language processing, Methodology, Case-based reasoning |
20 | Wookjin Lee, Sanghyun Park, Keeyoull Lee, Chunwoo Lee, Byungjeong Lee, Woosung Jung, Taeksu Kim, Heechern Kim, Chisu Wu |
Agile Development of Web Application by Supporting Process Execution and Extended UML Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, pp. 193-200, 2005, IEEE Computer Society, 0-7695-2465-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
extended UML model, Web Application, Agile Methodology, Process Execution |
20 | Vassilios Gerousis |
Physical design implementation for 3D IC: methodology and tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 2010 International Symposium on Physical Design, ISPD 2010, San Francisco, California, USA, March 14-17, 2010, pp. 57, 2010, ACM, 978-1-60558-920-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
3D IC stack, micro-bump, physical design tools, silicon interposer, methodology, tsv |
20 | Thomas Brandstetter, Konstantin Knorr, Ute Rosenbaum |
A Structured Security Assessment Methodology for Manufacturers of Critical Infrastructure Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: Emerging Challenges for Security, Privacy and Trust, 24th IFIP TC 11 International Information Security Conference, SEC 2009, Pafos, Cyprus, May 18-20, 2009. Proceedings, pp. 248-258, 2009, Springer, 978-3-642-01243-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Security Assessment Methodology, NERC CIP, Security Assessment Plan, Risk Analysis, Critical Infrastructure, Cyber Security |
20 | Hanlie Smuts, Alta van der Merwe, Marianne Loock, Paula Kotzé |
A framework and methodology for knowledge management system implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAICSIT ![In: Proceedings of the 2009 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, SAICSIT 2009, Vanderbijlpark, Emfuleni, South Africa, October 12-14, 2009, pp. 70-79, 2009, ACM, 978-1-60558-643-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
knowledge management system implementation, knowledge management system implementation methodology, knowledge management system implementation process |
20 | Elham Sahebkar Khorasani, Shahram Rahimi 0001, Bidyut Gupta |
A Reasoning Methodology for CW-Based Question Answering Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Fuzzy Logic and Applications, 8th International Workshop, WILF 2009, Palermo, Italy, June 9-12, 2009, Proceedings, pp. 328-335, 2009, Springer, 978-3-642-02281-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Reasoning methodology, Generalized Constraint, Question Answering, Computing with Words |
20 | Stéphanie Combettes |
Towards a Methodology for Modeling Deontic Protocols Using the Organizational Petri Nets Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, pp. 589-598, 2009, Springer, 978-3-642-01664-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Deontic protocol, Organizational Petri Net, Methodology |
20 | Shuming Chen, Xiangyuan Liu |
A Low-Latency and Low-Power Hybrid Insertion Methodology for Global Interconnects in VDSM Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOCS ![In: First International Symposium on Networks-on-Chips, NOCS 2007, 7-9 May 2007, Princeton, New Jersey, USA, Proceedings, pp. 75-82, 2007, IEEE Computer Society, 978-0-7695-2773-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
differential-signaling, insertion methodology, on-chip interconnects, low-swing |
20 | S. Berkhauer-Smith, R. Bhatti |
An Integrated Methodology of Manufacturing Business Improvement Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APMS ![In: Advances in Production Management Systems, International IFIP TC 5, WG 5.7 Conference on Advances in Production Management Systems (APMS 2007), September 17-19, Linköping, Sweden, pp. 355-362, 2007, Springer, 978-0-387-74156-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Improving Operations, Integrated Strategy Application, Improvement Strategy Methodology, Manufacturing Operations, Process Improvement |
20 | David E. Avison, Jan Pries-Heje |
Flexible Information Systems Development: Designing an Appropriate Methodology for Different Situations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (Selected Papers) ![In: Enterprise Information Systems, 9th International Conference, ICEIS 2007, Funchal, Madeira, Portugal, June 12-16, 2007, Revised Selected Papers, pp. 212-224, 2007, Springer, 978-3-540-88709-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
radar diagram, methodology, action research, information systems development, design science |
20 | Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe 0001 |
The Impact of an Agile Methodology on the Well Being of Development Teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 11(1), pp. 143-167, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Work related well being, SE teams, Enthusiasm, Extreme programming, Contentment, Agile methodology, Depression, Anxiety |
20 | Fernando da Rocha Paixão Cortes, Eric E. Fabris, Sergio Bampi |
A band-pass Gm-C Filter design based on gm/ID methodology and characterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2006, Ouro Preto, MG, Brazil, August 28 - September 1, 2006, pp. 232-237, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
continuous-time band-pass filter, transconductor amplifier, design methodology, analog circuits |
20 | Quynh-Nhu Numi Tran, Ghassan Beydoun, Graham Low, Cesar Gonzalez-Perez |
Preliminary Validation of MOBMAS (Ontology-Centric Agent Oriented Methodology): Design of a Peer-to-Peer Information Sharing MAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOIS ![In: Agent-Oriented Information Systems IV, 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers, pp. 73-89, 2006, Springer, 978-3-540-77989-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Multi-agent system, validation, methodology |
20 | Thinh M. Le, Xiaohua Tian, B. L. Ho, J. Nankoo, Yong Lian 0001 |
System-on-Chip Design Methodology for a Statistical Coder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 14-16 June 2006, Chania, Crete, Greece, pp. 82-90, 2006, IEEE Computer Society, 0-7695-2580-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
statistical coder, SoC, design methodology, CABAC |
20 | Jörg Zettel |
Methodology Support in CASE Tools and Its Impact on Individual Acceptance and Use: A Controlled Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 10(3), pp. 367-394, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
methodology support, consistency assurance, process modelling, Computer-aided software engineering, technology acceptance |
20 | Olav Lysne, Timothy Mark Pinkston, José Duato |
Part II: A Methodology for Developing Deadlock-Free Dynamic Network Reconfiguration Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 16(5), pp. 428-443, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
deadlock-freedom methodology, system reliability and availability, Interconnection network, dynamic reconfiguration |
20 | Sharifah Lailee Syed-Abdullah, John Karn, Mike Holcombe, Anthony J. Cowling, Marian Gheorghe 0001 |
The Positive Affect of the XP Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Extreme Programming and Agile Processes in Software Engineering, 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings, pp. 218-221, 2005, Springer, 3-540-26277-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
positive affect, humanistic factor, Agile methodology, empirical evidence |
20 | YoungJoon Byun, Beverly A. Sanders |
A pattern-based development methodology for communication protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1524-1528, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
design pattern, communication protocols, pattern language, development methodology, SPIN model checker |
20 | Stephen C. Wingreen, J. Ellis Blanton, Sandra K. Newton, Madeline Ann Domino |
Assessing the IT training and development climate: an application of the Q-methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2005 ACM SIGMIS CPR conference on Computer personnel research 2005, Atlanta, Georgia, USA, April 14-16, 2005, pp. 12-23, 2005, ACM, 1-59593-011-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
q-methodology, q-sort, training assessment, decision support, professional development, IT professionals |
20 | Jean-Samuel Chenard, Chun Yiu Chu, Zeljko Zilic, Milica Popovic |
Design methodology for wireless nodes with printed antennas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 291-296, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
RF CAD, antenna design methodology, printed antenna, printed circuit board |
20 | Marco Comerio, Flavio De Paoli, Simone Grega, Carlo Batini, Cesare Di Francesco, Adriano Di Pasquale |
A service re-design methodology for multi-channel adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2004, Second International Conference, New York, NY, USA, November 15-19, 2004, Proceedings, pp. 11-20, 2004, ACM, 1-58113-871-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
multi-channel application, service re-design, qualities of services, methodology, location awareness, context of use |
20 | Wingyan Chung, Luis G. Chaboya, Christopher D. O'Toole, Homa Atabakhsh |
An evaluation methodology for coordinated event visualization in digital libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2004, Tucson, AZ, USA, June 7-11, 2004, Proceedings, pp. 393, 2004, ACM, 1-58113-832-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
crime analysis, event visualization, spatio-temporal visualizer, evaluation methodology, law enforcement, intelligence analysis |
20 | Sangkyun Kim, Choon Seong Leem |
An Information Engineering Methodology for the Security Strategy Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part I, pp. 597-607, 2004, Springer, 3-540-22054-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
security methodology, strategy planning, information systems |
20 | Stéphane Lo Presti, Michael J. Butler, Michael Leuschel, Chris Booth |
A Trust Analysis Methodology for Pervasive Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trusting Agents for Trusting Electronic Societies ![In: Trusting Agents for Trusting Electronic Societies, Theory and Applications in HCI and E-Commerce, pp. 129-143, 2004, Springer, 3-540-28012-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Trust Analysis Methodology, Pervasive Scenario, Trust Analysis Grid, Pervasive Computing |
20 | Nathalie Julien, S. Gailhard, Eric Martin 0001 |
Low Power Synthesis Methodology with Data Format Optimization Applied on a DWT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 35(2), pp. 195-211, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dedicated architecture, data format, real time system, low power, high level synthesis, design methodology, discrete wavelet transform, power optimization |
20 | Haibin Zhu, MengChu Zhou |
Methodology first and language second: a way to teach object-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 140-147, 2003, ACM, 1-58113-751-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
teaching methodology, object-oriented programming, C++ |
20 | Kaijian Shi, Graig Godwin |
Hybrid hierarchical timing closure methodology for a high performance and low power DSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 850-855, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
chip integration, methodology, DSP, timing closure, placement optimization |
20 | Joseph W. Weiss, Aman Datta |
An Enterprise Internet Content Implementation Methodology and Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 250, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Enterprise implementation, Program management methodology, Internet project management, Innovation and change, E-business projects |
20 | Philippe Massonet, Yves Deville, Cédric Nève |
From AOSE methodology to agent implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 27-34, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML, methodology, experimentation, JADE, agent-based software engineering, FIPA |
20 | Thomas Juan, Adrian R. Pearce, Leon Sterling |
ROADMAP: extending the gaia methodology for complex open systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 3-10, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
agent organization, multi-agent system, methodology, open system, agent oriented software engineering, knowledge model |
20 | Marlene Wan, Hui Zhang 0008, George Varghese, Martin Benes 0002, Arthur Abnous, Vandana Prabhu, Jan M. Rabaey |
Design Methodology of a Low-Energy Reconfigurable Single-Chip DSP System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 28(1-2), pp. 47-61, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
low-power, design methodology, reconfigurable architecture, digital signal processor |
20 | Dionisis X. Adamopoulos, George Pavlou, Constantine A. Papandreou |
A UML Based Methodology for the Creation of TINA Compatible Telecommunications Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 4-6 July 2000, Antibes, France, pp. 653-658, 2000, IEEE Computer Society, 0-7695-0722-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
service creation methodology, new telecommunications services, TINA-C, UML, service engineering |
20 | Ádrian B. Drago, Anilton Salles Garcia, Maxwell E. Monteiro |
A Methodology for Performance Management of Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 442-451, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
telecommunication network planning, proactive performance management methodology, large-scale enterprise network, performance analysis, discrete event simulation, discrete events simulation, network performance, capacity planning, computer network management, performance management, business communication |
20 | Stephen D. Posluszny, Naoaki Aoki, David Boerstler, Paula K. Coulman, Sang H. Dhong, Brian K. Flachs, H. Peter Hofstee, Nobuo Kojima, Ohsang Kwon, Kyung T. Lee, David Meltzer, Kevin J. Nowka, J. Park, J. Peter, Joel Silberman, Osamu Takahashi, Paul Villarrubia |
"Timing closure by design, " a high frequency microprocessor design methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000., pp. 712-717, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
chip integration, dynamic circuits0, CAD, methodology, microprocessor, timing analysis, PLA, timing closure |
20 | Soo-Hyun Park, Sang-Hoon Park, Doo-Kwon Baik |
Farming Methodology for TMN Platform Independent Class Repository Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 352-351, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Telecommunication Management Netwirk (TMN), Farming Methodology, Platform Independent Class Repository (PICR) |
20 | Vladimir Castro Alves, A. Ribeiro Antunes, Meryem Marzouki |
A Pragmatic, Systematic And Flexible Synthesis For Testability Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 5th Asian Test Symposium (ATS '96), November 20-22, 1996, Hsinchu, Taiwan, pp. 263-268, 1996, IEEE Computer Society, 0-8186-7478-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
high-level synthesis for testability, systematic flexible synthesis, testability methodology, industrial tools, pragmatic synthesis, AMICAL synthesis, programmable test pattern generation, BUS-based circuit, embedded test paths, high level synthesis, design for testability, BIST, automatic generation, data path, scan path |
20 | Lech Józwiak, Sien-An Ong |
Quality-Driven Decision Making Methodology for System-Level Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 8-18, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
decision making methodology, application oriented embedded systems, quality-driven decision making, real-time systems, design space exploration, system-level design, decision models |
20 | Nikolaos G. Bourbakis, Mohammad Mortazavi |
An efficient building block layout methodology for compact placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), March 16-18, 1995, The State University of New York at Buffalo, USA, pp. 118-123, 1995, IEEE Computer Society, 0-8186-7035-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
building block layout methodology, compact placement, synthesis placement, GEOMETRIA, geometric reshapings, VLSI regulation, functional performance, connection lines, occupied chip area, neighboring relations, dead space, open holes, channels merging process, legal overlapping, VLSI, formal languages, formal language, network routing, circuit layout CAD, compaction, global routing, integrated circuit layout, integrated circuit interconnections, local routing |
20 | B. Ravi Kishore, Rubin A. Parekhji, Sandeep Pagey, Sunil D. Sherlekar, G. Venkatesh 0001 |
A new methodology for the design of low-cost fail safe circuits and networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India, pp. 355-358, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
low-cost fail safe circuits, safety critical electronic systems, input-output encoding problems, output encoding technique, low-cost design, systematic framework, graph theory, design methodology, encoding, combinational circuits, combinational circuits, graph embedding, graceful degradation, logic partitioning |
20 | Markus Voss, Gerhard Schweizer |
A Development Methodology for Systems Engineering of Computer-Based Systems and its Environmental Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAST ![In: Computer Aided System Theory - CASR '94, 4th International Workshop, Ottawa, Ontario, Canada, May 16-20, 1994, Selected Papers, pp. 161-175, 1994, Springer, 3-540-61478-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Engineering of Computer-Based Systems, Engineering Process, Engineering Environment, Design Theory, System Theory, Modeling Theory, Development Methodology |
20 | Giuseppe Iazeolla, Francesco Marinuzzi |
LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(5), pp. 486-502, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
LISPACK, list-manipulation parallel-modeling package, string manipulation, recursive elimination, large Markovian process, symbolic-approach methodology, performance evaluation, parallel algorithms, parallel algorithms, performance analysis, parallel processing, software tool, software tools, Markov processes, parallel systems, lumping |
20 | Farhad S. Etessami, Gurdeep S. Hura 0001 |
Rule-Based Design Methodology for Solving Control Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(3), pp. 274-282, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
control problems, rule-based design methodology, abstract Petri nets, formalism tool, high-level interaction, elevator system, formal specification, Petri nets, specification, software tools, validation, knowledge engineering, dynamic behaviour |
20 | Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell |
Fault Injection for Dependability Validation: A Methodology and Some Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(2), pp. 166-182, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
dependability validation, fault-tolerance mechanisms, hardware/software prototype, validation-directed design process, general pin-level fault injection tool, MESSALINE, centralized computerized interlocking system, railway control applications, dependable communication system, ESPRIT Delta-4 Project, distributed system, fault tolerant computing, distributed processing, software tools, program verification, computer communications software, railways, fault-tolerant computing systems, validation methodology |
20 | Süleyman Sevinc, Bernard P. Zeigler |
Entity Structure Based Design Methodology: A LAN Protocol Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(3), pp. 375-383, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
entity structure based design methodology, LAN protocol, frame-like knowledgerepresentation scheme, data-link-layer protocol, protocols, local area networks, packet switching, simulation environment |
20 | Robert Law |
Using student blogs for documentation in software development projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011, pp. 366, 2011, ACM, 978-1-4503-0697-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Sumit Ahuja, Deepak Mathaikutty, Gaurav Singh 0006, Joe Stetzer, Sandeep K. Shukla, Ajit Dingankar |
Power estimation methodology for a high-level synthesis framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 10th International Symposium on Quality of Electronic Design (ISQED 2009), 16-18 March 2009, San Jose, CA, USA, pp. 541-546, 2009, IEEE Computer Society, 978-1-4244-2952-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | J. Nierwinski |
Reliability Sampling Methodology Using Simulation and Re-Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 56(1), pp. 125-131, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jung H. Kim, Tag G. Kim, JinLip. Jeong |
Embedding DEVS methodology in CBD process for development of war game simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 35, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
war game, UML, object-oriented, CBD, DEVS |
19 | Wei Huang 0018, Elia El-Darzi, Li Jin |
Extending the Gaia Methodology for the Design and Development of Agent-based Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 2, pp. 159-168, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Fei Sun, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha |
A Scalable Synthesis Methodology for Application-Specific Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 14(11), pp. 1175-1188, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Adriana Giret |
A multi agent methodology for holonic manufacturing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 1375, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
multiagent systems, holonic manufacturing systems |
19 | Shiva Vafadar, Ahmad Abdollahzadeh Barforoush, Mohammad Reza Ayatollahzadeh Shirazi |
Towards a More Expressive and Refinable Multiagent System Engineering Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOIS ![In: Agent-Oriented Information Systems, 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13th, 2003, Revised Selected Papers, pp. 126-141, 2003, Springer. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Anna Perini, Angelo Susi, Fausto Giunchiglia |
Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 51-54, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Gregg Rothermel, Margaret M. Burnett, Lixin Li, Christopher DuPuis, Andrei Sheretov |
A methodology for testing spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 10(1), pp. 110-147, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
software testing, spreadsheets |
Displaying result #101 - #200 of 40310 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|