|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9726 occurrences of 4203 keywords
|
|
|
Results
Found 28136 publication records. Showing 28136 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Sigrid Gürgens, Javier López 0001 |
Suitability of a Classical Analysis Method for E-commerce Protocols. |
ISC |
2001 |
DBLP DOI BibTeX RDF |
electronic commerce, cryptographic protocol, Security analysis, automatic theorem proving, protocol validation |
17 | Paolo Traverso, Piergiorgio Bertoli |
Mechanized result verification: an industrial application. |
Int. J. Softw. Tools Technol. Transf. |
2000 |
DBLP DOI BibTeX RDF |
Mechanized result verification, Online/offline checking, Validation, Decomposition, Safety critical software |
17 | Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h |
UMLAUT: An Extendible UML Transformation Framework. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
UML Tools, Validation Tools, Object-Orientation, Functional Programming, Model Transformation, Formal techniques |
17 | J. William Atwood, Morteza Ghodrat, Dariusz Tasak |
Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols. |
LCN |
1999 |
DBLP DOI BibTeX RDF |
Higher Layer Signaling, SSCOP, Simulation, Formal Specification, Asynchronous Transfer Mode, Validation, Observers |
17 | Li-C. Wang, Magdy S. Abadir |
Test Generation Based on High-Level Assertion Specification for PowerPCTM Microprocessor Embedded Arrays. |
J. Electron. Test. |
1998 |
DBLP DOI BibTeX RDF |
high-level test generation, assertion test generation, design validation, logic verification, symbolic trajectory evaluation |
17 | Wolfgang Dzida, Regine Freitag |
Making Use of Scenarios for Validating Analysis and Design. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
Requirements construction, scenario types, dialectic process, prototyping, validation, work context |
17 | Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor |
Formal Methods Pilot Project. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
safety-related software development, SVRC Cogito methodology, mathematical consistency checks, formal specification, formal specification, formal methods, validation, hazard analysis, collaborative project, safety requirements, pilot project |
17 | Rolf Oppliger, Andres Albanese |
Distance education and on-line universities. |
WETICE |
1996 |
DBLP DOI BibTeX RDF |
online universities, commercial service providers, lecture dissemination, DiRK, distributed registration, conferencing system, Internet Multicast Backbone, session registration tool, validation, certification, distance education, educational technology, key distribution, MBone |
17 | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |
Formal specification and verification of communication protocols using automated tools . |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
OSI protocol, large models, simulation, modelling, formal specification, formal specification, testing, protocols, formal verification, software tools, validation, theorem proving, process algebra, communication protocols, open systems, algebra, formal logic, automated tools, model checker, model testing, complex models, automated theorem prover |
17 | Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider |
Engineering and Analysis of Fixed Priority Schedulers. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
timing correctness, validation process, blocking components, fixed priority scheduling algorithms, timer-driven scheduling, event-driven scheduling, optimal timer rate, schedulability, scheduling, real-time systems, real-time applications, operating systems (computers), fixed priority schedulers, operating system kernels, scheduling theory, hardware platforms |
17 | Sholom M. Weiss |
Small Sample Error Rate Estimation for k-NN Classifiers. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1991 |
DBLP DOI BibTeX RDF |
k-NN classifiers, bootstrap estimators, cross-validation estimators, error-rate estimators, pattern recognition, pattern recognition, statistics, Monte Carlo methods, Monte Carlo simulations, estimation theory, nearest-neighbor classifiers, leaving-one-out |
16 | Florian Mutter, Stefanie Gareis, Bernhard Schätz, Andreas Bayha, Franziska Grüneis, Michael Kanis, Dagmar Koss |
Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments. |
ECBS |
2011 |
DBLP DOI BibTeX RDF |
in-the-loop, simulation, validation, autonomous, vehicle, Model-based |
16 | Yousef Iskander, Cameron D. Patterson, Stephen D. Craven |
Improved Abstractions and Turnaround Time for FPGA Design Validation and Debug. |
FPL |
2011 |
DBLP DOI BibTeX RDF |
FPGA, debug, validation |
16 | T. Manjula Peirs, James H. Hill |
Towards Adapting System Execution Traces for Validation of Enterprise Distributed System QoS Properties. |
EDOCW |
2011 |
DBLP DOI BibTeX RDF |
SETAF, QoS validation, system execution traces, adaption |
16 | Juan Diego Rodríguez, Aritz Pérez Martínez, José Antonio Lozano 0001 |
Sensitivity Analysis of k-Fold Cross Validation in Prediction Error Estimation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2010 |
DBLP DOI BibTeX RDF |
k-fold cross validation, bias and variance, decomposition of the variance, sources of sensitivity, error estimation, supervised classification, prediction error |
16 | Lorenzo Bruzzone, Mattia Marconcini |
Domain Adaptation Problems: A DASVM Classification Technique and a Circular Validation Strategy. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2010 |
DBLP DOI BibTeX RDF |
validation strategy, support vector machines, semi-supervised learning, transfer learning, Domain adaptation, accuracy assessment |
16 | Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam |
Real-Time Heart Model for Implantable Cardiac Device Validation and Verification. |
ECRTS |
2010 |
DBLP DOI BibTeX RDF |
sotware validation, real-time systems, formal verification, safety-critical systems, cyber-physical systems, Medical Devices, pacemaker |
16 | Andrew McHugh, Mounia Lalmas |
Rethinking preservation validation with the preserved object and repository risks ontology (PORRO). |
JCDL |
2010 |
DBLP DOI BibTeX RDF |
ontologies, validation, digital preservation |
16 | Federico Mancini 0001, Dag Hovland, Khalid A. Mughal |
Investigating the Limitations of Java Annotations for Input Validation. |
ARES |
2010 |
DBLP DOI BibTeX RDF |
Java, Annotations, Input Validation |
16 | Robert F. Erbacher |
Validation for Digital Forensics. |
ITNG |
2010 |
DBLP DOI BibTeX RDF |
Legal and Privacy Issues, Validation, Computer Security, Error, Digital Forensics |
16 | Sara Paiva, Manuel Ramos Cabrer, Alberto Gil-Solla |
Semantic Query Validation in Guided-Based Systems: Assuring the Construction of Queries that Make Sense. |
SNPD |
2010 |
DBLP DOI BibTeX RDF |
Semantic validation rules, semantic guided-based systems, query construction, semantic search |
16 | Yan Huang, Huiru Zheng, Chris D. Nugent, Paul J. McCullagh, Suzanne McDonough, Mark A. Tully, Sean O. Connor |
Activity monitoring using an intelligent mobile phone: a validation study. |
PETRA |
2010 |
DBLP DOI BibTeX RDF |
acceleration signal processing, adaptive step detection algorithm, intelligent mobile phone, wearable position validation, activity monitoring |
16 | Takahiro Fujishiro, Akane Sato, Yoko Kumagai, Tadashi Kaji, Kenichi Okada |
Development of Hi-Speed X.509 Certification Path Validation System. |
AINA Workshops |
2010 |
DBLP DOI BibTeX RDF |
Path Validation, Security, Certificate, PKI, X.509, Certification Path |
16 | Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Michele Vadursi |
Experimental Validation of a Synchronization Uncertainty-Aware Software Clock. |
SRDS |
2010 |
DBLP DOI BibTeX RDF |
R&SAClock, synchronization uncertainty, experimental validation |
16 | Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira, Eliane Martins |
Architecting Fault Tolerance with Exception Handling: Verification and Validation. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
fault-tolerant software architecture, model checking, exception handling, model-based test, software verification and validation |
16 | Franco Fummi, Mirko Loghi, Massimo Poncino, Graziano Pravadelli |
A cosimulation methodology for HW/SW validation and performance estimation. |
ACM Trans. Design Autom. Electr. Syst. |
2009 |
DBLP DOI BibTeX RDF |
HW/SW co-simulation, HW/SW validation, Embedded Systems |
16 | Federica Cavicchio, Massimo Poesio |
Multimodal Corpora Annotation: Validation Methods to Assess Coding Scheme Reliability. |
Multimodal Corpora |
2009 |
DBLP DOI BibTeX RDF |
multimodal corpora annotation, corpora validation, kappa statistics, Unbiased hit rate |
16 | Ilias N. Flaounas, Marco Turchi, Tijl De Bie, Nello Cristianini |
Inference and Validation of Networks. |
ECML/PKDD (1) |
2009 |
DBLP DOI BibTeX RDF |
Network validation, News Outlets network, Network inference |
16 | Hatice Sancar, Kursat Cagiltay, Veysi Isler, Gizem Tamer, Neslihan Ozmen, Utkan Eryilmaz |
Developing a Validation Methodology for Educational Driving Simulators and a Case Study. |
HCI (4) |
2009 |
DBLP DOI BibTeX RDF |
Usability, Validation, Driving Simulators |
16 | Aydin Ulas, Olcay Taner Yildiz |
An Incremental Model Selection Algorithm Based on Cross-Validation for Finding the Architecture of a Hidden Markov Model on Hand Gesture Data Sets. |
ICMLA |
2009 |
DBLP DOI BibTeX RDF |
Hidden Markov model, model selection, cross-validation |
16 | Ho Fai Ko, Nicola Nicolici |
Resource-Efficient Programmable Trigger Units for Post-Silicon Validation. |
ETS |
2009 |
DBLP DOI BibTeX RDF |
programmable trigger unit, false trigger analysis, post-silicon validation |
16 | Ivan Jureta, John Mylopoulos, Stéphane Faulkner |
Analysis of Multi-Party Agreement in Requirements Validation. |
RE |
2009 |
DBLP DOI BibTeX RDF |
relative validity, requirements validation |
16 | Amy L. Gonzales |
Validation of an inventory of social connectedness. |
GROUP |
2009 |
DBLP DOI BibTeX RDF |
scale validation, social connectedness, awareness, presence |
16 | Irfan Ul Haq, Adrian Paschke, Erich Schikuta, Harold Boley |
Rule-Based Workflow Validation of Hierarchical Service Level Agreements. |
GPC Workshops |
2009 |
DBLP DOI BibTeX RDF |
Aggragation of SLAs, Hierarchical SLAs, Validation of SLAs, Rule Responder, RBSLA, Business Value Networks, Coalition Workflows, Supply Chains |
16 | Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte |
Event-Based Input Validation Using Design-by-Contract Patterns. |
ISSRE |
2009 |
DBLP DOI BibTeX RDF |
Boundary Overflow, Decision Tables, Design by Contract, Security Testing, Event Sequence Graphs, Input Validation |
16 | Spyros Antonatos, Quang Hieu Vu |
Harnessing the Power of P2P Systems for Fast Attack Signature Validation. |
NSS |
2009 |
DBLP DOI BibTeX RDF |
signature validation, P2P defenses, indexing |
16 | Abdelouahed Gherbi, Ali Kanso, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe |
A Tool Suite for the Generation and Validation of Configurations for Software Availability. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
Availability Management Framework, Automated Configuration Generation, Validation, Domain Model, High-Availability |
16 | Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta |
Supporting Requirements Validation: The EuRailCheck Tool. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
EuRailCheck, formal methods, requirements validation, ETCS |
16 | Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu 0001 |
Validation of requirement models by automatic prototyping. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
UML, Prototype, Code generation, OCL, Requirement validation |
16 | Feng Gu 0001, Xiaolin Hu 0002, Lewis Ntaimo |
Towards validation of DEVS-FIRE wildfire simulation model. |
SpringSim |
2008 |
DBLP DOI BibTeX RDF |
DEVS-FIRE, cellular space model, wildfire, validation |
16 | Christopher Scaffidi, Brad A. Myers, Mary Shaw |
Tool support for data validation by end-user programmers. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
validation, end-user programming, data |
16 | Emmanuel Zarpas, Cindy Eisner, Sivan Tal |
Policy Validation for System Automation: A Case Study. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
Tivoli, TSA, formal verification, validation, policy, PSL |
16 | Mary Yip, Abdulaziz Alsager, Emma Lewis, Kevin Wells, Kenneth C. Young |
Validation of a Digital Mammography Image Simulation Chain with Automated Scoring of CDMAM Images. |
Digital Mammography / IWDM |
2008 |
DBLP DOI BibTeX RDF |
CDMAM phantom, simulation, validation, Digital mammography |
16 | Andrea Baruzzo, Marco Comini |
A Methodology for UML Models V&V. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Software engineering, CASE tools, UML models, Validation and Verification |
16 | Sanjay Misra, Hürevren Kiliç |
Measurement theory and validation criteria for software complexity measures. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
representation condition, complexity measure, measurement theory, validation criteria |
16 | Zhengyu Wang |
Validation and enclosure of solutions of linear complementarity problems. |
Computing |
2007 |
DBLP DOI BibTeX RDF |
validation of the solution, enclosure of the solution, H-matrix, interval analysis, Linear complementarity problem |
16 | Seungjae Baek, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh |
Model and Validation of Block Cleaning Cost for Flash Memory. |
SAMOS |
2007 |
DBLP DOI BibTeX RDF |
block cleaning, model, validation, Flash memory |
16 | Tom Van Woensel, Nico Vandaele |
Empirical validation of a queueing approach to uninterrupted traffic flows. |
4OR |
2006 |
DBLP DOI BibTeX RDF |
validation, queueing theory, Traffic flows |
16 | Sanjay Misra, Hürevren Kiliç |
Measurement theory and validation criteria for software complexity measures. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
representation condition, complexity measure, measurement theory, validation criteria |
16 | Theresa Cooke, Sebastian Kannengiesser, Christian Wallraven, Heinrich H. Bülthoff |
Object feature validation using visual and haptic similarity ratings. |
ACM Trans. Appl. Percept. |
2006 |
DBLP DOI BibTeX RDF |
haptic, validation, perception, texture, Similarity, shape, features, vision, multidimensional scaling, touch |
16 | Fabio Picconi, Nishkam Ravi, Marco Gruteser, Liviu Iftode |
Probabilistic validation of aggregated data in vehicular ad-hoc networks. |
Vehicular Ad Hoc Networks |
2006 |
DBLP DOI BibTeX RDF |
aggregation, vehicular networks, malicious nodes, data validation |
16 | Jonatan Alava, Tariq M. King, Peter J. Clarke |
Automatic Validation of Java Page Flows Using Model-Based Coverage Criteria. |
COMPSAC (1) |
2006 |
DBLP DOI BibTeX RDF |
Model Validation and Analysis, Testing and Debugging |
16 | 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 |
16 | Coen De Roover, Johan Brichau, Theo D'Hondt |
Combining fuzzy logic and behavioral similarity for non-strict program validation. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
logic meta programming, quality assurance of object-oriented programs, program analysis, points-to analysis, fuzzy logic programming, program validation |
16 | Heon-Mo Koo, Prabhat Mishra 0001 |
Test generation using SAT-based bounded model checking for validation of pipelined processors. |
ACM Great Lakes Symposium on VLSI |
2006 |
DBLP DOI BibTeX RDF |
test generation, functional validation |
16 | Chris Roast, Babak Khazaei |
An Investigation into the Validation of Formalised Cognitive Dimensions. |
DSV-IS |
2006 |
DBLP DOI BibTeX RDF |
Cognitive Dimensions Framework, Theory validation, Empirical methods |
16 | Tibor Gyimóthy, Rudolf Ferenc, István Siket |
Empirical Validation of Object-Oriented Metrics on Open Source Software for Fault Prediction. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
metrics validation, fault-proneness detection, Bugzilla, compiler wrapping, reverse engineering, C++, open source software, Mozilla, Fact extraction, Columbus |
16 | Xufei Liu, Tapas Kanungo, Robert M. Haralick |
On the Use of Error Propagation for Statistical Validation of Computer Vision Software. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2005 |
DBLP DOI BibTeX RDF |
multivariate hypothesis testing, 3D parameter estimation, software engineering, Statistical analysis, error propagation, software validation |
16 | Andrea Trentini, Daniela Micucci |
Plan validation via petri nets in the real-time performers Java framework. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
validation, planning, soft real-time |
16 | Tim Menzies, Daniel Port, Zhihao Chen 0001, Jairus Hihn, Sherry Stukes |
Validation methods for calibrating software effort models. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
incremental cross-validation, COCOMO |
16 | Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Fluent-based web animation: exploring goals for requirements validation. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
modelling, design, animation, validation, requirements |
16 | Andrei V. Gribok, Aleksey M. Urmanov, J. Wesley Hines |
Uncertainty Analysis of Memory Based Sensor Validation Techniques. |
Real Time Syst. |
2004 |
DBLP DOI BibTeX RDF |
sensor validation, fault diagnostics, uncertainty, regularization, kernel regression |
16 | Andrey Balmin, Yannis Papakonstantinou, Victor Vianu |
Incremental validation of XML documents. |
ACM Trans. Database Syst. |
2004 |
DBLP DOI BibTeX RDF |
XML, validation, Update |
16 | Ali Mili 0001, GuangJie Jiang, Bojan Cukic, Yan Liu 0003, Rahma Ben Ayed |
Towards the Verification and Validation of Online Learning Systems: General Framework and Applications. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
Refinement Calculi, Neural Networks, Formal Methods, Radial Basis Functions, Adaptive Control, RBF neural networks, Verification and Validation, On-Line Learning, MLP neural networks |
16 | Watcharee Jumpamule, Jean-Luc Paillet, Norbert Giambiasi |
Using Simulation for the Validation of High Level Specifications of Control Systems. |
J. Intell. Robotic Syst. |
2003 |
DBLP DOI BibTeX RDF |
discrete event control systems, multiformalism, simulation, validation |
16 | Mohammad R. Alshayeb, Wei Li 0014 |
An Empirical Validation of Object-Oriented Metrics in Two Different Iterative Software Processes. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
Software metrics, empirical validation, agile process, framework evolution |
16 | Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec |
The Reconstruction of a Mobile Agent Computation and Its Validation. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
validation, refinement, reconstruction, diffusing computation |
16 | Namje Park, Kiyoung Moon, Sungwon Sohn |
Certificate validation service using XKMS for computational grid. |
XML Security |
2003 |
DBLP DOI BibTeX RDF |
XKMS, certificate validation, security, XML, grid, key management, XML security, GSI |
16 | Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son, Eddie Y. M. Chan |
On Transaction Processing with Partial Validation and Timestamp Ordering in Mobile Broadcast Environments. |
IEEE Trans. Computers |
2002 |
DBLP DOI BibTeX RDF |
partial validation, concurrency control, Transaction processing, broadcast disks, mobile clients, timestamp ordering |
16 | Marcela Genero, Mario Piattini, Coral Calero |
Empirical Validation of Class Diagram Metrics. |
ISESE |
2002 |
DBLP DOI BibTeX RDF |
OO high-level metrics, UML, maintainability, class diagrams, empirical validation, structural complexity |
16 | Rachid Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat |
Formal Validation of a Multicast Transport Protocol. |
ISCC |
2001 |
DBLP DOI BibTeX RDF |
SPRM protocol, Reliability, Formal methods, Multicast, RTL, LOTOS, RT-LOTOS, Protocol validation |
16 | Julian Newman |
Validation, Evaluation and Virtual Enterprise Research. |
WETICE |
2001 |
DBLP DOI BibTeX RDF |
evaluation, CSCW, Validation, triangulation, virtual enterprise |
16 | Jitendra Padhye, Victor Firoiu, Donald F. Towsley, James F. Kurose |
Modeling TCP Reno performance: a simple model and its empirical validation. |
IEEE/ACM Trans. Netw. |
2000 |
DBLP DOI BibTeX RDF |
modeling, TCP, TCP/IP, empirical validation, retransmission timeouts |
16 | Manoel G. Mendonça, Victor R. Basili |
Validation on an Approach for Improving Existing Measurement Frameworks. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
AF, data mining, case study, Software metrics, knowledge discovery, GQM, experimental validation, goal-oriented measurement, method evaluation |
16 | Edson J. R. Justino, Abdenaim El Yacoubi, Flávio Bortolozzi, Robert Sabourin |
An Off-Line Signature Verification System using Hidden Markov Model and Cross-Validation. |
SIBGRAPI |
2000 |
DBLP DOI BibTeX RDF |
off-line signature verification system, pre-processing process, segmentation process, feature extraction process, random falsifications, false acceptance concept, false rejection concept, intrapersonal variation, interpersonal variation, automatic decision threshold derivation, hidden Markov model, handwriting recognition, cross-validation, learning process |
16 | Mun Choon Chan, Yow-Jian Lin, Xin Wang |
A Scalable Monitoring Approach for Service Level Agreements Validation. |
ICNP |
2000 |
DBLP DOI BibTeX RDF |
scalable monitoring, service level agreements validation, service provider network, QoS measurements, polling mechanisms, ill-behaved flows, aggregation and refinement based monitoring, dynamic QoS data aggregation/refinement, reasoning engine, quality of service, quality of service, Internet, histogram, inference mechanisms, simulation results, telecommunication traffic, computer network management, overhead, network nodes, traffic loads, computerised monitoring, Internet service provider, selective refinement, network management system |
16 | Robert W. Sumners, Jayanta Bhadra, Jacob A. Abraham |
Automatic Validation Test Generation Using Extracted Control Models. |
VLSI Design |
2000 |
DBLP DOI BibTeX RDF |
witness generation, abstraction, binary decision diagrams, automatic test generation, validation test |
16 | Pradip Bose |
Performance Evaluation and Validation of Microprocessors. |
SIGMETRICS |
1999 |
DBLP DOI BibTeX RDF |
performance evaluation, validation, processor design |
16 | Sridevi Lingamarla, Gautam B. Singh, John Limburg, Mary Watson, Gary Edwards, Scott Gobrogge |
System for Automated Validation of Embedded Software in Multiple Operating Configurations. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
Requirement Validation Traceability, Embedded Systems, Requirement Engineering, Data Warehousing |
16 | Lionel C. Briand, Jürgen Wüst, John W. Daly, D. Victor Porter |
A Comprehensive Empirical Validation of Design Measures for Object-Oriented Systems. |
IEEE METRICS |
1998 |
DBLP DOI BibTeX RDF |
measurement, object-oriented, metrics, inheritance, coupling, cohesion, empirical validation |
16 | Charles Plinta, Richard D'Ippolito, Roger Van Scoy |
A Specification and Code Generation Tool for Message Translation and Validation. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
CORBA servers, specification tool, model, Ada, interoperability, integration, validation, code generation, translation, message, model-based software engineering, Ada95 |
16 | Don S. Batory, Bart J. Geraci |
Composition Validation and Subjectivity in GenVoca Generators. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
composition validation, design rule checking, subjectivity, software generators, GenVoca |
16 | Ernest H. Page, Bradford S. Canova, John A. Tufarolo |
A Case Study of Verification, Validation, and Accreditation for Advanced Distributed Simulation. |
ACM Trans. Model. Comput. Simul. |
1997 |
DBLP DOI BibTeX RDF |
IDEF modeling, advanced distributed simulation, aggregate level simulation protocol, validation and accreditation, wargame, verification, life cycle |
16 | Robert J. Hall 0001 |
Reactive System Validation using Automated Reasoning over a Fragment Library. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
reactive system validation, fragment library, intermediate protocol step, protocol outcomes, CS-NC protocol, personal channel agent, eavesdropper actions, protocol message, channel identifiers, correctness, automated reasoning, software libraries, keys |
16 | Yanhong Li, Daniel P. Lopresti, George Nagy, Andrew Tomkins |
Validation of Image Defect Models for Optical Character Recognition. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1996 |
DBLP DOI BibTeX RDF |
document image defect models, OCR error classification, defect model validation, Optical character recognition |
16 | Elizabeth A. Kemp, Damian Pacitto, Elisabeth G. Todd, David I. Gray |
The role of functional prototyping in model validation. |
ISCNZ |
1996 |
DBLP DOI BibTeX RDF |
functional prototyping, KADS framework, object-oriented knowledge representation model, summer-autumn management, feed budgeting, production level analysis, knowledge acquisition, problem solving, model validation, design decisions, system implementation, domain expertise |
16 | Anna Jeffries, Elizabeth A. Kemp, Elisabeth G. Todd, David I. Gray, Barry Butler |
The role of functional prototyping in model validation. |
ISCNZ |
1996 |
DBLP DOI BibTeX RDF |
functional prototyping, dairy farm management, knowledge based systems, decision support system, software prototyping, model validation, prototype system, intelligent DSS |
16 | Steve M. Easterbrook, John R. Callahan |
Independent validation of specifications: a coordination headache. |
WETICE |
1996 |
DBLP DOI BibTeX RDF |
independent specification validation, complex projects, independent separate groups, project lifecycle, coordination problems, incremental improvements, World Wide Web tools, software development groups, communication, formal specification, software development, software analysis |
16 | Venkatesh Akella, Ganesh Gopalakrishnan |
Specification and Validation of Control-Intensive IC's in hopCP. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
control-intensive integrated circuits, hopCP, asynchronous operations, multiple concurrent threads, Intel 8251, Universal Synchronous/Asynchronous Receiver/Transmitter, USART, synchronous message passing, distributed shared variables, asynchronous ports, compiled-code concurrent functional simulator, CFSIM, formal specification, formal methods, formal verification, specification, validation, message passing, specification languages, interrupt, digital simulation, hardware description language, microprocessor chips, hardware design, polling, computational requirements, synchronous operations |
16 | Yoshiaki Kakuda, Hironori Saito |
An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
acyclic-expansion-based protocol validation, state transition sequences, CAPE, computer-aided protocol engineering, design, formal specification, protocols, integrated system, protocol specifications, integrated approach, software module, protocol synthesis |
16 | Fred U. Rosenberger, Donald F. Wann |
A Computer Aided Procedure for Performing Static Loading Validation of Digital Logic Systems. |
IEEE Trans. Computers |
1984 |
DBLP DOI BibTeX RDF |
static loading validation, digital design aids, fan-out computations, logic design aids, Computer aided design, loading |
15 | Ella Rabinovich, Opher Etzion, Sitvanit Ruah, Sarit Archushin |
Analyzing the behavior of event processing applications. |
DEBS |
2010 |
DBLP DOI BibTeX RDF |
model checking, formal verification, static analysis, dynamic analysis, event processing, event processing network |
15 | Damian Dechev, Bjarne Stroustrup |
Model-Based Product-Oriented Certification. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Ansuman Banerjee, Kausik Datta, Pallab Dasgupta |
CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Fatema N. Julia, Khan M. Iftekharuddin |
Dialog Act classification using acoustic and discourse information of MapTask Data. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ben H. Smith, Yonghee Shin, Laurie A. Williams |
Proposing SQL statement coverage metrics. |
SESS |
2008 |
DBLP DOI BibTeX RDF |
security, test, SQL, attack, SQL injection, coverage criteria, threat |
15 | Rui Zhang, Zoran Budimlic, William N. Scherer III |
Commit phase in timestamp-based stm. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
commit sequence, transactional memory, timestamp |
15 | Ziyad Hanna |
Abstract Modeling and Formal Verification of Microprocessors. |
CSR |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jorge Campos, Hussain Al-Asaad |
Circuit Profiling Mechanisms for High-Level {ATPG}. |
MTV |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Joaquín Torres-Sospedra, Carlos Hernández-Espinosa, Mercedes Fernández-Redondo |
Adaptive Boosting: Dividing the Learning Set to Increase the Diversity and Performance of the Ensemble. |
ICONIP (1) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 28136 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|