|
|
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? |
DAC |
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. |
ICPP Workshops |
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. |
IEEE Softw. |
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. |
VTS |
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. |
ICECCS |
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. |
OOIS |
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. |
EDBT/ICDT Workshops |
2010 |
DBLP DOI BibTeX RDF |
anonymity application, anonymity, software development methodology |
24 | Martin Ota, Ivan Jelínek |
IMSF: Infinite Methodology Set Framework. |
CDVE |
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. |
J. Signal Process. Syst. |
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. |
ICN |
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". |
HCI (17) |
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. |
China HPC |
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. |
ACM Trans. Embed. Comput. Syst. |
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. |
ICCSA (3) |
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. |
ICCD |
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. |
IEEE Trans. Software Eng. |
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. |
APSEC |
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. |
ECBS |
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. |
IEEE Trans. Software Eng. |
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. |
ASAP |
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. |
KES-AMSTA |
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. |
J. Electron. Test. |
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. |
TAMODIA/HCSE |
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. |
PDC |
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. |
SAMOS |
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. |
SpringSim (3) |
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. |
APMS |
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. |
PAKDD Workshops |
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. |
OOPSLA Companion |
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. |
ISLPED |
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. |
ACM Trans. Inf. Syst. |
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. |
CODES |
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. |
EDOC |
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. |
DAC |
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. |
ICECCS |
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. |
INTERCHI |
1993 |
DBLP DOI BibTeX RDF |
iterative design methodology, user interface specialists, programmers |
22 | Daniel Hoffman, Richard T. Snodgrass |
Trace Specifications: Methodology and Models. |
IEEE Trans. Software Eng. |
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. |
IEEE Trans. Pattern Anal. Mach. Intell. |
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. |
Neural Comput. Appl. |
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. |
HCI (15) |
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. |
RE |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Eli Kolberg, Yoram Reich, Ilya Levin |
Design of Design Methodology for Autonomous Robots. |
RoboCup |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Brian Holland, Karthik Nagarajan, Alan D. George |
RAT: RC Amenability Test for Rapid Performance Prediction. |
ACM Trans. Reconfigurable Technol. Syst. |
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. |
SAICSIT |
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. |
Requir. Eng. |
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. |
ISCNZ |
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. |
Appl. Intell. |
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. |
APSEC |
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. |
ISPD |
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. |
SEC |
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. |
SAICSIT |
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. |
WILF |
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. |
KES-AMSTA |
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. |
NOCS |
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. |
APMS |
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. |
ICEIS (Selected Papers) |
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. |
Empir. Softw. Eng. |
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. |
SBCCI |
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. |
AOIS |
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. |
IEEE International Workshop on Rapid System Prototyping |
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. |
Empir. Softw. Eng. |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
XP |
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. |
SAC |
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. |
CPR |
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. |
DAC |
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. |
ICSOC |
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. |
JCDL |
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. |
ICCSA (1) |
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. |
Trusting Agents for Trusting Electronic Societies |
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. |
J. VLSI Signal Process. |
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. |
OOPSLA Companion |
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. |
DAC |
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. |
HICSS |
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. |
AAMAS |
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. |
AAMAS |
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. |
J. VLSI Signal Process. |
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. |
ISCC |
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. |
LCN |
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. |
DAC |
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. |
COMPSAC |
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. |
Asian Test Symposium |
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. |
EUROMICRO |
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. |
Great Lakes Symposium on VLSI |
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. |
VLSI Design |
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. |
CAST |
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. |
IEEE Trans. Software Eng. |
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. |
IEEE Trans. Software Eng. |
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. |
IEEE Trans. Software Eng. |
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. |
IEEE Trans. Software Eng. |
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. |
ITiCSE |
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. |
ISQED |
2009 |
DBLP DOI BibTeX RDF |
|
19 | J. Nierwinski |
Reliability Sampling Methodology Using Simulation and Re-Sampling. |
IEEE Trans. Reliab. |
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. |
SCSC |
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. |
COMPSAC (2) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Fei Sun, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha |
A Scalable Synthesis Methodology for Application-Specific Processors. |
IEEE Trans. Very Large Scale Integr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Adriana Giret |
A multi agent methodology for holonic manufacturing systems. |
AAMAS |
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. |
AOIS |
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. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Gregg Rothermel, Margaret M. Burnett, Lixin Li, Christopher DuPuis, Andrei Sheretov |
A methodology for testing spreadsheets. |
ACM Trans. Softw. Eng. Methodol. |
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][ >>] |
|