|
|
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 |
14 | B. P. Harish, Navakanta Bhat, Mahesh B. Patil |
Process Variability-Aware Statistical Hybrid Modeling of Dynamic Power Dissipation in 65 nm CMOS Designs. |
ICCTA |
2007 |
DBLP DOI BibTeX RDF |
mixed-mode simulations, hybrid model, Least Squares Method, Response Surface Methodology |
14 | Thom Heslop |
Figuring configuration: "everyday" users and end-user configuration of pervasive computing environments. |
BCS HCI (2) |
2007 |
DBLP DOI BibTeX RDF |
interaction design, user-centered design, methodology, natural language, configuration, ubiquitous, pervasive |
14 | Riaan Klopper, Stefan Gruner, Derrick G. Kourie |
Assessment of a framework to compare software development methodologies. |
SAICSIT |
2007 |
DBLP DOI BibTeX RDF |
URDAD, business process analysis and design, UML, MDA, software development methodology, RUP, Aris |
14 | Qian Li |
Practice of Video Encryption Algorithms Based on Chaotic Sequence and Scan Pattern. |
KES (2) |
2007 |
DBLP DOI BibTeX RDF |
scan methodology, difference matrix, difference-compressed matrix, Video encryption, chaotic sequence |
14 | Hamed Aminzadeh, Mohammad Danaie |
Systematic design of two-stage operational amplifiers based on settling time and open-loop constraints. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
frequency compensation, stability, design methodology, operational amplifiers, switched-capacitor circuits, settling time |
14 | Lipo Chan, Shanika Karunasekera |
Systematic Development of Quality Aware Decentralised Service-Oriented Systems. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
Decentralised service-oriented system, adaptive quality, verification, methodology |
14 | Mark Walker, Ryan Jason Hamilton |
A technique for optimally designing fibre-reinforced laminated plates under in-plane loads for minimum weight with manufacturing uncertainties accounted for. |
Eng. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Manufacturing uncertainty, Fibre-reinforced laminates, Minimum mass, Methodology, Optimal design |
14 | Marco Chiarandini, Mauro Birattari, Krzysztof Socha, Olivia Rossi-Doria |
An effective hybrid algorithm for university course timetabling. |
J. Sched. |
2006 |
DBLP DOI BibTeX RDF |
University course timetabling, Local search methods, Metaheuristics, Hybrid algorithms, Algorithm engineering, Experimental methodology |
14 | Fergal Downey, Gerry Coleman, Fergal McCaffery |
Experimenting with Agile Practices - First Things First. |
XP |
2006 |
DBLP DOI BibTeX RDF |
Methodology, software, agile, time-management |
14 | Suehee Pak, Eunha Rho, Juno Chang |
Industrial demand-driven curriculums for computer-software field in Korea. |
ITiCSE |
2006 |
DBLP DOI BibTeX RDF |
course material, curriculum development methodology, demand-driven course, demand-driven curriculum, detailed syllabus, track |
14 | Greg Hoover, Forrest Brewer, Timothy Sherwood |
Extensible control architectures. |
CASES |
2006 |
DBLP DOI BibTeX RDF |
specification methodology, control architecture |
14 | P. Nagabhushan, Shanmukhappa A. Angadi, Basavaraj S. Anami |
A Fuzzy Symbolic Inference System for Postal Address Component Extraction and Labelling. |
FSKD |
2006 |
DBLP DOI BibTeX RDF |
Postal address component labelling, Fuzzy methodology, Symbolic similarity measure, alpha cut based de-fuzzification, Inference System |
14 | Daisuke Torii, Toru Ishida 0001, François Bousquet |
Modeling agents and interactions in agricultural economics. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
machine learning, modeling methodology, agent interaction, multiagent simulation, participatory simulation |
14 | Arnold Pears, Stephen Seidman, Crystal Eney, Päivi Kinnunen, Lauri Malmi |
Constructing a core literature for computing education research. |
ACM SIGCSE Bull. |
2005 |
DBLP DOI BibTeX RDF |
classification criteria, computing education research, core literature, evaluation methodology |
14 | Ming-Chang Lee |
Statistical Data Analysis for Software Metrics Validation. |
KES (4) |
2005 |
DBLP DOI BibTeX RDF |
Metrics validation methodology, quality functions, nonparametric statistical methods, validity criteria |
14 | Hanna Landin |
Fragile and magical: materiality of computational technology as design material. |
Critical Computing |
2005 |
DBLP DOI BibTeX RDF |
interaction design methodology, interaction expression, aesthetics of interaction |
14 | Taolue Chen, Tingting Han 0001, Jian Lu 0001 |
Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
Formal methodology, Software quantity, Performance evaluation, Process algebra, Mobile ambient |
14 | Dae-Hee Seo, Im-Yeong Lee, Hee-Un Park |
A Study on Key Recovery Agent Protection Profile Having Composition Function. |
ICCSA (1) |
2004 |
DBLP DOI BibTeX RDF |
Key Recovery Protection Profile, Evaluation Methodology, Common Criteria |
14 | José A. Maestro, César Llamas, Carlos J. Alonso |
A Representation of Temporal Aspects in Knowledge Based Systems Modelling: A Monitoring Example. |
IEA/AIE |
2004 |
DBLP DOI BibTeX RDF |
real-time systems, monitoring, CommonKADS, KBS Methodology |
14 | Sung-Kwun Oh, James F. Peters, Witold Pedrycz, Tae-Chon Ahn |
Genetically Optimized Rule-Based Fuzzy Polynomial Neural Networks: Synthesis of Computational Intelligence Technologies. |
RSFDGrC |
2003 |
DBLP DOI BibTeX RDF |
Rule-base fuzzy polynomial neural networks(RFPNN), rule-based fuzzy neural networks(RFNN), polynomial neural networks(PNN), computational intelligence(CI), genetic algorithms(GAs), design methodology |
14 | Jinghua Huang, Jing Wang, Tao Chang, Chunjun Zhao, Liao Wang |
A Comparative Framework for EB Systems Development Methodologies. |
Web Intelligence |
2003 |
DBLP DOI BibTeX RDF |
EB systems, Web-based information systems, systems development methodology |
14 | Joan Carletta, Robert J. Veillette, Frederick W. Krach, Zhengwei Fang |
Determining appropriate precisions for signals in fixed-point IIR filters. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
finite word length effects, infinite impulse response filter, field programmable gate array, design methodology |
14 | Eric Cariou, Antoine Beugnard |
The Specification of UML Collaborations as Interaction Components. |
UML |
2002 |
DBLP DOI BibTeX RDF |
UML collaborations, specification methodology, interaction abstractions, interaction components |
14 | Masayuki Kirimura, Yoshifumi Takamoto, Takanori Mori, Keiichi Yasumoto, Akio Nakata, Teruo Higashino |
Design and Implementation of FPGA Circuits for High Speed Network Monitors. |
FPL |
2002 |
DBLP DOI BibTeX RDF |
multi-way synchronization, concurrent EFSMs, high-level synthesis, design methodology, passive network monitor |
14 | Nelson dos Santos, Flávio Miguel Varejão, Orivaldo de Lira Tavares |
Multi-agent Systems and Network Management - A Positive Experience on Unix Environments. |
IBERAMIA |
2002 |
DBLP DOI BibTeX RDF |
gaia methodology, Multi-agent system, intelligent agent, unix, network management |
14 | Nikitas A. Assimakopoulos |
A systemic approach in modeling and analysis of interactions in virtual enterprises. |
Oper. Res. |
2001 |
DBLP DOI BibTeX RDF |
PSM (Problem Structuring Methodology), Structured metamodels, Virtual enterprises |
14 | Dawn G. Gregg, Uday R. Kulkarni, Ajay S. Vinze |
Understanding the Philosophical Underpinnings of Software Engineering Research in Information Systems. |
Inf. Syst. Frontiers |
2001 |
DBLP DOI BibTeX RDF |
research philosophy, information systems research methodology, software engineering |
14 | H. G. Mendelbaum, Raphael B. Yehezkael |
Using 'Parallel Automaton' as a Single Notation to Specify, Design and Control Small Computer Based Systems. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
Extended Automata and Finite state Machines, Parallel Automata, CBS methodology, EFSM |
14 | Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand |
Geometric Modelling with CASL. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
CASL language, specification methodology, formal specifications, geometric modelling, algebraic specifications |
14 | Ali Arsanjani |
A Domain-Language Approach to Designing Dynamic Enterprise Component-Based Architectures to Support Business Services. |
TOOLS (39) |
2001 |
DBLP DOI BibTeX RDF |
grammar-oriented object design, software architecture, methodology, domain-specific languages, component-based development, adaptive object models |
14 | Mor Peleg, Dov Dori |
The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Analysis and design methodologies, real-time systems specification, quality of analysis, software engineering and empirical evaluation, experimentation, object-oriented analysis, object-process methodology |
14 | Yamine Aït Ameur |
Cooperation of Formal Methods in an Engineering Based Software Development Process. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
cooperation of techniques, human-computer interaction, formal techniques, development methodology |
14 | Francisco J. Suárez, Daniel F. García, Javier García 0002 |
Performance Debugging of Parallel and Distributed Embedded Systems. |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
Performance Debugging Methodology, Embedded Systems, Measurement, Parallel and Distributed Processing |
14 | Boutheina Chetali |
Formal Verification of Concurrent Programs Using the Larch Prover. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
theorem prover methodology, Larch prover, computer-checked proof, Formal verification, communication protocol, protocol verification, UNITY |
14 | Susana Stoica |
A lifecycle approach to design validation is it necessary? Is it feasible? |
ITC |
1998 |
DBLP DOI BibTeX RDF |
Lifecycle test, system approach to design and test, Robust Test Methodology (RTM), Design Validation (DV), software /hardware test methods, requirements specifications test, QA-type testing, Test Plan (TP) boilerplate, test optimization considering full lifecycle DV, black box testing, white box testing |
14 | Johnny Öberg, Axel Jantsch, Anshul Kumar |
An Object-Oriented Concept for Intelligent Library Functions. |
VLSI Design |
1998 |
DBLP DOI BibTeX RDF |
Core Based Design Methodology, Intelligent Library Functions, Object-Oriented |
14 | Franck Xia |
Software Engineering Research: A Methodological Analysis. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
Software Engineering, epistemology, research methodology |
14 | Karen Panetta Lentz, Elias S. Manolakos, Edward C. Czeck |
A multiple domain environment for efficient simulation. |
Annual Simulation Symposium |
1997 |
DBLP DOI BibTeX RDF |
multiple domain environment, efficient simulation, concurrent simulation methodology, digital logic experimentation, multiple experiment environment, independent experiments, parallel hardware, digital logic simulators, signature paths, multiple experiment algorithms, function list, dynamic interactions, exhaustive simulation problem, Multiple Stuck-at Fault simulations, logic CAD, coverage analysis, digital logic |
14 | Soo-Hyun Park, Sang-Hoon Park, Doo-Kwon Baik |
Platform independent class repository of TMN in personal communication network using entity-aspect oriented programming. |
RTCSA |
1997 |
DBLP DOI BibTeX RDF |
platform independent class repository, telecommunication management network, entity-aspect oriented programming, data blocks, Q3 interface implementation, farming methodology, entity aspect model, network computing concept, entity aspect oriented programming, distributed object, personal communication networks, personal communication network |
14 | J. Yeandel, D. Thulborn, Simon Jones |
An on-line testable UART implemented using IFIS. |
VTS |
1997 |
DBLP DOI BibTeX RDF |
data communication equipment, online testable UART, IFIS methodology, complex integrated circuit, FPGA technology, dual-rail coding, failure detection, handshaking protocol |
14 | Selma Arbaoui, Flávio Oquendo |
Reuse sensitive process models: are process elements software assets too? |
ISPW |
1996 |
DBLP DOI BibTeX RDF |
reuse sensitive process models, process element software assets, software quality improvement, software quality factors, reusable software assets, process model development, reuse methodology, process model development process, metaprocess, software engineering, software reusability, software process models, application domain, complex software systems, system composition |
14 | Jérôme Darmont, Ammar Attoui, Michel Gourgand |
Performance Evaluation for Clustering Algorithms in Object-Oriented Databases |
DEXA |
1995 |
DBLP DOI BibTeX RDF |
Computer systems performance evaluation methodology, Simulation, Clustering, Object-oriented databases |
14 | Ajay J. Daga, William P. Birmingham |
A symbolic-simulation approach to the timing verification of interacting FSMs. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
symbolic-simulation approach, interacting FSMs, timing verifier, complex sequential circuit verification, combinational paths, inherently modular nature, symbolic simulation verification methodology, formal verification, logic testing, finite state machines, finite state machines, sequential circuits, circuit analysis computing, timing verification |
14 | Thomas D. Burd, Robert W. Brodersen |
Energy efficient CMOS microprocessor design. |
HICSS (1) |
1995 |
DBLP DOI BibTeX RDF |
energy efficient CMOS microprocessor design, portable electronics, battery weight, battery size, heat dissipation, computation modes, power analysis methodology, energy efficiency quantification, computer architecture, computer architectures, throughput, parallel machines, energy consumption, energy conservation, microprocessor chips, design principles, power dissipation, CMOS digital integrated circuits, integrated circuit modelling, cooling, figures of merit, desktop computers |
14 | Christian Scheidler, Lorenz Schäfers, Ottmar Krämer-Fuhrmann |
Software engineering for parallel systems: the TRAPPER approach. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
TRAPPER, graphical programming environment, graphical design methodology, process graphs, cooperating sequential processes, homogeneous view, software engineering, formal specification, parallel programming, graphical user interfaces, monitoring, graphs, mapping, programming environments, software design, visual programming, software visualization, software performance evaluation, parallel systems, computer aided software engineering, parallel applications, performance monitoring, system monitoring, graphical notations, hierarchical specification, hardware configuration, development cycle, application partitioning |
14 | George Krasovec, Mark Baker, Serban Gheorghe |
Target tracking: a real-time object oriented design experiment. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
sonar tracking, real-time object oriented design experiment, tool sets, Real-Time Object Oriented Modeling technique, real-time distributed applications, state-intensive real-time distributed computer-based systems, distributed concurrent processing, ROOM methodology, fault tolerance, real-time systems, object-oriented programming, distributed processing, software tools, software quality, software fault tolerance, real-time applications, target tracking, target tracking, real-time performance, life cycle costs |
14 | Max Mühlhäuser |
Modeling and design of complex cooperative software. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
complex cooperative software modelling, complex cooperative software design, workflow computing, workgroup computing, graphical view types, middle-out design methodology, scenario-based view type, work scenario, multi-view editor, work scenario views, software engineering, mobile computing, groupware, graphical user interfaces, distributed processing, multimedia computing, multimedia computing, application software |
14 | Tapas Kanungo, Robert M. Haralick, Henry S. Baird |
Power functions and their use in selecting distance functions for document degradation model validation. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
document degradation, document degradation models, document printing, validation procedures, statistical methodology, optical character recognition, statistical analysis, document image processing, scanning, nonparametric statistics |
14 | Josyula R. Rao |
Reasoning about Probabilistic Parallel Programs. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
verification, parallel programming, probabilistic algorithms, correctness proofs, programming methodology, specification techniques |
14 | Mark G. Staskauskas |
Formal Derivation of Concurrent Programs: An Example from Industry. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
tapes, I/O channels, UNITY methodology, resource allocation algorithm, formal specification, parallel programming, specifications, operating system, program verification, concurrent programs, proofs, disks, formal derivation, I/O subsystem |
14 | Louis M. Taff, James W. Borchering, W. Richard Hudgins Jr. |
Estimeetings: Development Estimates and a Front-End Process For a Large Project. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
estimeeting methodology, large software-intensive project, front-end process, domestic US 5ESS Switch project, feature team, feature definition, high-level functionality requirements, high-level design proposal, formal working meeting, development estimate, well-defined milestones, working relationships, interorganizational synergy, software engineering, human factors, telecommunications computing, DP management, personnel, high-level designs, project engineering, software development effort |
14 | C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash 0001 |
Support for Reusability in Genesis. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
Genesis, reusability-driven development methodology, software resources, entity specification language, functional composition, program abstractors, databases, software development, software tools, software tools, programming environment, programming environments, software reuse, database management systems, query languages, query languages, specification languages, software reusability, file organisation, file organisation, ESL |
14 | Francesco Bergadano, Attilio Giordana, Lorenza Saitta |
Automated Concept Acquisition in Noisy Environments. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1988 |
DBLP DOI BibTeX RDF |
automated concept acquisition, learning methodology, discriminant descriptions, clusters, machine learning, pattern recognition, computational complexity, computational complexity, artificial intelligence, artificial intelligence, speech recognition, speech recognition, knowledge acquisition, knowledge engineering, knowledge engineering, learning systems, formal logic, graph structure, noisy environments |
14 | Serge Haddad |
A reduction theory for coloured nets. |
European Workshop on Applications and Theory in Petri Nets |
1988 |
DBLP DOI BibTeX RDF |
behavioural properties, methodology, reductions, coloured Petri nets |
13 | Hwee Choo Liaw, Bijan Shirinzadeh, Julian Smith |
Robust Neural Network Motion Tracking Control of Piezoelectric Actuation Systems for Micro/Nanomanipulation. |
IEEE Trans. Neural Networks |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Andrzej J. Strojwas, Tejas Jhaveri, Vyacheslav Rovner, Lawrence T. Pileggi |
Creating an affordable 22nm node using design-lithography co-optimization. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
design technology co-optimization, templates, DFM, regular fabric |
13 | André O. Falcão, Daniel Faria, António E. N. Ferreira |
Peptide programs: applying fragment programs to protein classification. |
DTMBIO |
2008 |
DBLP DOI BibTeX RDF |
machine learning, classification, bioinformatics, proteins |
13 | Nikhil Jayakumar, Sunil P. Khatri |
A Predictably Low-Leakage ASIC Design Style. |
IEEE Trans. Very Large Scale Integr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Fernando Herrera, Eugenio Villar |
A framework for heterogeneous specification and design of electronic embedded systems in SystemC. |
ACM Trans. Design Autom. Electr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
SystemC, models of computation, Heterogeneous specification |
13 | Victor K. Y. Chan, W. Eric Wong |
Outlier elimination in construction of software metric models. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
Least of Median Squares (LMS), models, software metrics, outliers |
13 | Apostolos Marakakis, Nikolas P. Galatsanos, Aristidis Likas, Andreas Stafylopatis |
A Relevance Feedback Approach for Content Based Image Retrieval Using Gaussian Mixture Models. |
ICANN (2) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Fei Sun, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha |
Synthesis of Application-Specific Heterogeneous Multiprocessor Architectures Using Extensible Processors. |
VLSI Design |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Dov Dori, Iris Reinhartz-Berger |
An OPM-Based Metamodel of System Development Process. |
ER |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Li-min Liu, Michael Halper, James Geller, Yehoshua Perl |
Using OODB Modeling to Partition a Vocabulary in Structurally and Semantically Uniform Concept Groups. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
knowledge representation, Object-oriented databases, object-oriented models, object-oriented systems, database models |
13 | Seongkee Lee, Taiyun Kim |
Generic Engineering Approach for Agent-Based System Development. |
MATA |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Daniel P. Siewiorek, Asim Smailagic, Daniel Salber |
Rapid Prototyping of Computer Systems: Experiences and Lessons. |
IEEE International Workshop on Rapid System Prototyping |
2001 |
DBLP DOI BibTeX RDF |
|
13 | James Glimm |
Quantification of Uncertainty for Numerital Simulations with Confidence Intervals. |
International Conference on Computational Science (1) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Nicola Nicolici, Bashir M. Al-Hashimi, Andrew D. Brown, Alan Christopher Williams |
BIST hardware synthesis for RTL data paths based on testcompatibility classes. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Karen J. Rothermel, Curtis R. Cook, Margaret M. Burnett, Justin Schonfeld, Thomas R. G. Green, Gregg Rothermel |
WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
testing, empirical studies, visual programming, spreadsheets |
13 | Jongwoo Bae, Viktor K. Prasanna |
Synthesis of area-efficient and high-throughput rate data format converters. |
IEEE Trans. Very Large Scale Integr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Chris Hankin, Hanne Riis Nielson, Jens Palsberg |
Position Statements on Strategic Directions for Research on Programming Languages. |
ACM SIGPLAN Notices |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Alexandre W. C. Faria, David Menotti, Daniel S. D. Lara, Gisele L. Pappa, Arnaldo de Albuquerque Araújo |
A new methodology for photometric validation in vehicles visual interactive systems. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
pattern recognition, segmentation, user evaluation, homogeneity, image intensity |
13 | Ricardo de A. Araújo, Adriano L. I. de Oliveira, Sérgio C. B. Soares |
A covariance matrix adaptation based evolutionary methodology for phase adjustment in financial time series forecasting. |
GECCO |
2010 |
DBLP DOI BibTeX RDF |
covariance matrix adaptation evolution strategy, multilayer perceptron networks, random walk dilemma, time phase adjustment, evolutionary algorithms, financial time series forecasting |
13 | Haroon Malik |
A methodology to support load test analysis. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
principal component analysis, automation, counters, performance counters, load test |
13 | Matteo Risoldi, Vasco Amaral 0001, Bruno Barroca, Kaveh Bazargan, Didier Buchs, Fabian Cretton, Gilles Falquet, Anne Le Calvé, Stéphane Malandain, Pierrick Zoss |
A Language and a Methodology for Prototyping User Interfaces for Control Systems. |
Human Machine Interaction |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Devis Bianchini, Cinzia Cappiello, Valeria De Antonellis, Barbara Pernici |
P2S: A Methodology to Enable Inter-organizational Process Design through Web Services. |
CAiSE |
2009 |
DBLP DOI BibTeX RDF |
service-based process decomposition, service-based collaborative processes |
13 | Amy J. C. Trappey, David W. Hsiao, Lin Ma, Yu-Liang Chung |
Maintenance chain integration using Petri-net enabled Prometheus MAS modeling methodology. |
CSCWD |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Magdalena Szezynska, Ewa Huebner, Derek Bem, Chun Ruan |
Methodology and Tools of IS Audit and Computer Forensics - The Common Denominator. |
ISA |
2009 |
DBLP DOI BibTeX RDF |
IS audit guidelines, computer forensics tools, IS audit tools |
13 | Dimitris Alimisis, Stassini Frangou, Kyparíssia Papanikolaou |
A Constructivist Methodology for Teacher Training in Educational Robotics: The TERECoP Course in Greece through Trainees' Eyes. |
ICALT |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Lucas C. Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena |
An agile development methodology applied to embedded control software under stringent hardware constraints. |
ACM SIGSOFT Softw. Eng. Notes |
2008 |
DBLP DOI BibTeX RDF |
embedded agile development, health care, agile methodologies, platform-based design, real-time software, organizational patterns |
13 | Nektarios Kranitis, Andreas Merentitis, George Theodorou, Antonis M. Paschalis, Dimitris Gizopoulos |
Hybrid-SBST Methodology for Efficient Testing of Processor Cores. |
IEEE Des. Test Comput. |
2008 |
DBLP DOI BibTeX RDF |
H-SBST, RTPG, computer architecture, ATPG, functional testing, microprocessor testing, software-based self-test |
13 | Melvin A. Breuer, Haiyang (Henry) Zhu |
An Illustrated Methodology for Analysis of Error Tolerance. |
IEEE Des. Test Comput. |
2008 |
DBLP DOI BibTeX RDF |
telephone answering machine, defective flash memory, yield, mean opinion score, error tolerance |
13 | Mikio Aoyama, Atsuko Yoshino |
AORE (Aspect-Oriented Requirements Engineering) Methodology for Automotive Software Product Lines. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Jad Nasreddine, Jordi Pérez-Romero, Oriol Sallent, Ramón Agustí |
Simulated Annealing-Based Advanced Spectrum Management Methodology for WCDMA Systems. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Ravi Vadapalli, Ping Luo, Taesung Kim, Ajitabh Kumar, Shameem Siddiqui |
Demonstration of grid-enabled ensemble Kalman Filter data assimilation methodology for reservoir characterization. |
Mardi Gras Conference |
2008 |
DBLP DOI BibTeX RDF |
EnKF, GridWay, TIGRE, energy exploration, reservoir modeling |
13 | Venkata Rajesh Mekala, Venkata Rakesh Mekala |
Methodology for Characterization of NOR-NOR Programmable Logic Array. |
Asia International Conference on Modelling and Simulation |
2008 |
DBLP DOI BibTeX RDF |
H-Spice |
13 | Il-Yeol Song, Ritu Khare, Yuan An, Margaret Hilsbos |
A Multi-level Methodology for Developing UML Sequence Diagrams. |
ER |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Cinzia Forgia, Roberto Revetria |
System dynamics and regressive meta-modeling applied methodology for improving management performances in services industry: a case study in supply chain and highway maintenance. |
SpringSim |
2008 |
DBLP DOI BibTeX RDF |
supply chain management, meta modeling, system dynamics |
13 | Erez Shalom, Yuval Shahar, Meirav Taieb-Maimon, Guy Bar, Susana B. Martins, Ohad Young, Laszlo T. Vaszar, Yair Liel, Avi Yarkoni, Mary K. Goldstein, Akiva Leibowitz, Tal Marom, Eitan Lunenfeld |
Can Physicians Structure Clinical Guidelines? Experiments with a Mark-Up-Process Methodology. |
K4HelP |
2008 |
DBLP DOI BibTeX RDF |
Mark-up, Ontologies, Evaluation, Knowledge acquisition, Completeness, Correctness, Clinical guidelines, Clinical decision support systems |
13 | Tomasz Miaskiewicz, Tamara Sumner, Kenneth A. Kozar |
A latent semantic analysis methodology for the identification and creation of personas. |
CHI |
2008 |
DBLP DOI BibTeX RDF |
user abstraction, cluster analysis, personas, latent semantic analysis, institutional repository |
13 | Mary Keeler, Arun K. Majumdar |
Revelator's Complex Adaptive Reasoning Methodology for Resource Infrastructure Evolution. |
ICCS |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Arlei Silva, Pedro Calais, Adriano C. M. Pereira, Fernando Mourão, Jussara M. Almeida, Wagner Meira Jr., Paulo B. Góes |
A seller's perspective characterization methodology for online auctions. |
ICEC |
2008 |
DBLP DOI BibTeX RDF |
business-to-consummer - B2C, data mining, e-commerce, auctions, e-business, online auctions, eBay |
13 | Ma. De Lourdes Margain Fuentes, Jaime Muñoz Arteaga, Francisco Álvarez Rodríguez |
A Methodology for Design Collaborative Learning Objects. |
ICALT |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Mikio Aoyama |
A Model and Design Methodology of Continuous Services over the Home Service Systems. |
SOSE |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Sharad Malik |
Hardware Verification: Techniques, Methodology and Solutions. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Caroline C. Budwell, Frank J. Mitropoulos |
The SLAI Methodology: An Aspect-Oriented Requirement Identification Process. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Savithri Sundareswaran, Lucie Nechanicka, Rajendran Panda, Sergey Gavrilov, Roman A. Solovyev, Jacob A. Abraham |
A timing methodology considering within-die clock skew variations. |
SoCC |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Pietro Azzari, Luigi Di Stefano, Stefano Mattoccia |
An Evaluation Methodology for Image Mosaicing Algorithms. |
ACIVS |
2008 |
DBLP DOI BibTeX RDF |
Performance Evaluation, Performance Metrics, Mosaicing, Ground Truth, Data Sets |
13 | Shabbir H. Batterywala, Sambuddha Bhattacharya, Subramanian Rajagopalan, Hi-Keung Tony Ma, Narendra V. Shenoy |
Cell Swapping Based Migration Methodology for Analog and Custom Layouts. |
ISQED |
2008 |
DBLP DOI BibTeX RDF |
Layout migration, compaction, constraint generation |
13 | Kang Zhao, Jinian Bian, Sheqin Dong, Yang Song 0002, Satoshi Goto |
Automated Specific Instruction Customization Methodology for Multimedia Processor Acceleration. |
ISQED |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 40310 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|