|
|
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 |
18 | Aldo Gangemi, Carola Catenacci, Massimiliano Ciaramita, Jos Lehmann |
Modelling Ontology Evaluation and Validation. |
ESWC |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Michael F. Spear, Virendra J. Marathe, William N. Scherer III, Michael L. Scott |
Conflict Detection and Validation Strategies for Software Transactional Memory. |
DISC |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Joaquín Torres-Sospedra, Carlos Hernández-Espinosa, Mercedes Fernández-Redondo |
Improving Adaptive Boosting with k-Cross-Fold Validation. |
ICIC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Venkita Subramonian, Christopher D. Gill |
Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Iulian Ober, Susanne Graf, David Lesens |
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Mohamed Aounallah, Guy W. Mineau |
Rule Validation of a Meta-classifier Through a Galois (Concept) Lattice and Complementary Means. |
CLA |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Kaiyu Chen, Sharad Malik |
Dependable Multithreaded Processing Using Runtime Validation. |
PRDC |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Hui Liu, Hee Beng Kuan Tan |
An Approach to Aid the Understanding and Maintenance of Input Validation. |
ICSM |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Hans-Joachim Mucha |
On Validation of Hierarchical Clustering. |
GfKl |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Doug Fraedrich |
Validation Techniques for Image-Based Simulations. |
AIPR |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Phan Cong Vinh, Jonathan P. Bowen |
Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Hubbard, Raimondas Lencevicius, Edu Metz, Gopal Raghavan |
Performance Validation on Multicore Mobile Devices. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Mats Per Erik Heimdahl |
A Case for Specification Validation. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Soohong P. Kim |
Pre-Silicon Validation of IPF Memory Ordering for Multi-Core Processors. |
MTV |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Prabhat Mishra 0001, Heon-Mo Koo, Zhuo Huang |
Language-driven Validation of Pipelined Processors using Satisfiability Solvers. |
MTV |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Jerry Gao 0002, Raquel Espinoza, Jingsha He |
Testing Coverage Analysis for Software Component Validation. |
COMPSAC (1) |
2005 |
DBLP DOI BibTeX RDF |
component test coverage, test coverage analysis, component testing |
18 | Kennet Henningsson, Claes Wohlin |
Risk-Based Trade-Off Between Verification and Validation - An Industry-Motivated Study. |
PROFES |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Sharad Malik |
A Case for Runtime Validation of Hardware. |
Haifa Verification Conference |
2005 |
DBLP DOI BibTeX RDF |
|
18 | David Bomba |
Evaluating the Quality of Health Web Sites: Developing a Validation Method and Rating Instrument. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Kaliappa Nadar Ravindran, Kevin A. Kwiat, Gwangyu Ding |
Simulation-Based Validation of Protocols for Distributed Systems. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Chun Luo, Jun Yang 0006, Longxing Shi, Xufan Wu, Yu Zhang |
Domain Strategy and Coverage Metric for Validation. |
ISQED |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Jacqueline Floch, Rolv Bræk |
A Compositional Approach to Service Validation. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic |
SVERTS - Specification and Validation of Real-Time and Embedded Systems. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Denilson Barbosa 0001, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas |
Efficient Incremental Validation of XML Documents. |
ICDE |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Sara Blanc, Joaquin Gracia, Pedro J. Gil |
Experiences during the Experimental Validation of the Time-Triggered Architecture. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Minho Kim, Hyunjin Yoo, R. S. Ramakrishna |
Cluster Validation for High-Dimensional Datasets. |
AIMSA |
2004 |
DBLP DOI BibTeX RDF |
high-dimensional clustering, unsupervised learning, cluster validity index |
18 | Angus Graham, Thiruvengadam Radhakrishnan, Clifford Grossner |
Incremental Validation of Policy-Based Systems. |
POLICY |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Francisco L. Valverde, Nicolás Guil, Enrique Domínguez Merino, José Muñoz-Pérez |
A Statistical Validation of Vessel Segmentation in Medical Images. |
IBERAMIA |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Giuliano Antoniol, Roberto Fiutem, Christopher J. Lokan |
Object-Oriented Function Points: An Empirical Validation. |
Empir. Softw. Eng. |
2003 |
DBLP DOI BibTeX RDF |
Size prediction, OO size estimation, software metrics |
18 | Martin Gogolla, Jörn Bohling, Mark Richters |
Validation of UML and OCL Models by Automatic Snapshot Generation. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Jörg Desel, Vesna Milijic, Christian Neumair |
Model Validation in Controller Design. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Sina Rezvani, Girijesh Prasad |
A Hybrid System with Multivariate Data Validation and Case Base Reasoning for an Efficient and Realistic Product Formulation. |
ICCBR |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Yannis Papakonstantinou, Victor Vianu |
Incremental Validation of XML Documents. |
ICDT |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Robert J. Hall 0001, Andrea Zisman |
Overview of OpenModel-based Validation with Partial Information. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Gopalakrishna Raghavan |
Introducing Object Validation and Navigation in Software Process to Improve Software Quality. |
PROFES |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Carina Andersson, Per Runeson |
Verification and Validation in Industry -- A Qualitative Survey on the State of Practice. |
ISESE |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Michael K. Ng 0001, Joshua Zhexue Huang |
M-FastMap: A Modified FastMap Algorithm for Visual Cluster Validation in Data Mining. |
PAKDD |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Vincenzo Grassi, Vittorio Cortellessa, Raffaela Mirandola |
Performance Validation of Mobile Software Architectures. |
Performance |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Julio Mellado, Juan C. Dueñas |
Automated Validation Environment for a Product Line of Railway Traffic Control Systems. |
PFE |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Marius Bozga, Susanne Graf, Laurent Mounier |
Automated Validation of Distributed Software Using the IF Environment. |
NCA |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Pradip Bose |
Ensuring Dependable Processor Performance: An Experience Report on Pre-Silicon Performance Validation. |
DSN |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Cléver Ricardo Guareis de Farias, Luís Ferreira Pires, Wanderley Lopes de Souza, Célio Estevan Morón |
Specification and Validation of a Real-Time Parallel Kernel Using LOTOS. |
MASCOTS |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon |
A Modular Approach to the Specification and Validation of an Electrical Flight Control System. |
FME |
2001 |
DBLP DOI BibTeX RDF |
Verification, Modularity, Test Generation, Case Tools, Heterogeneous Specification |
18 | Scott D. Simpkins, Eugene P. Paulo, Lyn R. Whitaker |
Case study in modeling and simulation validation methodology. |
WSC |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Robert G. Sargent |
Verification and validation: some approaches and paradigms for verifying and validating simulation models. |
WSC |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Arne Ansper, Ahto Buldas, Meelis Roos, Jan Willemson |
Efficient Long-Term Validation of Digital Signatures. |
Public Key Cryptography |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Jan Struyf, Hendrik Blockeel |
Efficient Cross-Validation in ILP. |
ILP |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Wuwei Shen, Kevin J. Compton, James Huggins |
A UML Validation Toolset Based on Abstract State Machines. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Fernando Pedone |
Optimistic Validation of Electronic Tickets. |
SRDS |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Oscar Slotosch |
Modelling and Validation: AUTOFOCUS and Quest. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Model checking, Interactive theorem proving, State transition diagrams, Event traces |
18 | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Alberto Manzone, Alessandro Pincetti |
Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Kwok-Wa Lam, Victor C. S. Lee, Sang Hyuk Son |
Real-Time Transaction Processing Using Two-Stage Validation in Broadcast Disks. |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Christof Ebert, Casimiro Hernandez Parro, Roland Suttels, Harald Kolarczyk |
Improving Validation Activities in a Global Software Development. |
IWSM |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Li-C. Wang, Magdy S. Abadir |
Experience in Validation of PowerPCTM Microprocessor Embedded Arrays. |
J. Electron. Test. |
1999 |
DBLP DOI BibTeX RDF |
assertion test generation, assertion, array, design error, logic verification, symbolic trajectory evaluation |
18 | Diego Del Gobbo, Bojan Cukic, Marcello R. Napolitano, Steve M. Easterbrook |
Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Kristofer Kimbler, Carl-Henrik Hagenfeldt, Jan Ellsberger, Gustav Bergman |
An Environment for IN Service Prototyping and Validation. |
IS&N |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Gustavo R. Alves, Tito G. B. Amaral, José Manuel Martins Ferreira |
Board-level prototype validation: a built-in controller and extended BST architecture. |
ISCAS (1) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Amir Pnueli, Michael Siegel, Eli Singerman |
Translation Validation. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Qiang Gao, Roland Groz, Gregor von Bochmann, Joumana Dargham, E. Houssain Htite |
Validation of distributed algorithms and protocols. |
ICNP |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Trevor J. M. Bench-Capon, Frans Coenen, Hyacinth S. Nwana, Ray Paton, Michael J. R. Shave |
Two Aspects of the Validation and Verification of Knowledge-Based Systems. |
IEEE Expert |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Roozbeh Farahbod, Uwe Glässer, Piper J. Jackson, Mona Vajihollahi |
High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Zhonglei Wang, Wolfgang Haberl, Andreas Herkersdorf, Martin Wechs |
A Simulation Approach for Performance Validation during Embedded Systems Design. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Sheng Li, Jun Xu, Lijun Deng |
Periodic Partial Validation: Cost-Effective Source Code Validation Process in Cross-Platform Software Development Environment. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Osman Balci |
Verification, validation, and certification of modeling and simulation applications: verification, validation, and certification of modeling and simulation applications. |
WSC |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Sun Young Park, John Zimmerman |
Investigating the opportunity for a smart activity bag. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
dual-income family, needs validation., smart bag, speed dating, ubiquitous computing, mobile devices, reminders, research through design |
17 | John Goodenough 0001, Rob Aitken |
Post-silicon is too late avoiding the $50 million paperweight starts with validated designs. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
low power design, emulation, post-silicon validation |
17 | Lin Xie, Azadeh Davoodi |
Representative path selection for post-silicon timing prediction under variability. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
process variations, post-silicon validation |
17 | Roman M. Balabin, Ravilya Z. Safieva, Ekaterina I. Lomakina |
Universal technique for optimization of neural network training parameters: gasoline near infrared data example. |
Neural Comput. Appl. |
2009 |
DBLP DOI BibTeX RDF |
Cross-validation coefficient (CVC), Training iteration coefficient (TIC), Gasoline, Near infrared (NIR) spectroscopy, Artificial neural network (ANN), Multi-layer perceptron (MLP), Parameters optimization, Density |
17 | Keke Chen, Ling Liu 0001 |
"Best K": critical clustering structures in categorical datasets. |
Knowl. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Categorical data clustering, Entropy, Cluster validation |
17 | Tarek Smaoui, Sascha Müller 0002, Christian Müller-Schloer |
CSBIterKmeans: A New Clustering Algorithm Based on Quantitative Assessment of the Clustering Quality. |
MLDM |
2009 |
DBLP DOI BibTeX RDF |
cluster analysis, k-means, clustering validation |
17 | Robert C. Aitken |
The challenges of correlating silicon and models in high variability CMOS processes. |
ISPD |
2009 |
DBLP DOI BibTeX RDF |
design validation |
17 | Tom Borgstrom, Eshel Haritan, Ron Wilson, David Abada, Andrew Dauman, Ramesh Chandra, Olivier Mielo, Chuck Cruse, Achim Nohl |
System prototypes: virtual, hardware or hybrid? |
DAC |
2009 |
DBLP DOI BibTeX RDF |
SystemC TLM, hardware/software co-verification, rapid prototype, embedded software, virtual prototype, virtual platform, system validation, FPGA prototype, system prototype |
17 | Jean-Baptiste Tristan, Xavier Leroy |
Formal verification of translation validators: a case study on instruction scheduling optimizations. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
the coq proof assistant, translation validation, scheduling optimizations, verified compilers |
17 | Lianshan Sun, Gang Huang 0001, Hong Mei 0001 |
Validating Access Control Configurations in J2EE Applications. |
CBSE |
2008 |
DBLP DOI BibTeX RDF |
J2EE Security, Access Control, Validation |
17 | Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne |
Testing Whether a Binary and Prolongeable Regular Language LIs Geometrical or Not on the Minimal Deterministic Automaton of Pref(L). |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
minimal automaton, geometrical language, geometricity test, temporal validation, Finite automata, regular languages |
17 | Damaris Pascual, Filiberto Pla, José Salvador Sánchez 0001 |
Cluster Stability Assessment Based on Theoretic Information Measures. |
CIARP |
2008 |
DBLP DOI BibTeX RDF |
stability indices, information theory, cluster validation |
17 | Sanjay Misra |
Validating modified cognitive complexity measure. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
scale of measure, complexity measures, measurement theory, cognitive complexity, validation criteria |
17 | Jurgen Martens, Ferdi Put, Etienne E. Kerre |
A Fuzzy-neural Resemblance Approach to Validate Simulation Models. |
Soft Comput. |
2007 |
DBLP DOI BibTeX RDF |
Fuzzy-neural machine learning, Resemblance relations, Simulation, Validation |
17 | Yan Liu 0003, Bojan Cukic, Srikanth Gururajan |
Validating neural network-based online adaptive systems: a case study. |
Softw. Qual. J. |
2007 |
DBLP DOI BibTeX RDF |
Online adaptive system, Validation, Novelty detection, Support vector data description, Validity index |
17 | Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang |
Guest Editors' Introduction: Attacking Functional Verification through Hybrid Techniques. |
IEEE Des. Test Comput. |
2007 |
DBLP DOI BibTeX RDF |
hybrid technique, simulation, formal verification, functional validation |
17 | Leo Selavo, Anthony D. Wood, Qing Cao, Tamim I. Sookoor, H. Liu, A. Srinivasan, Yafeng Wu, Woochul Kang, John A. Stankovic, D. Young, John H. Porter |
LUSTER: wireless sensor network for environmental research. |
SenSys |
2007 |
DBLP DOI BibTeX RDF |
LiteTDMA, wireless sensor network, architecture, validation, implementation, network protocol, storage, mote, environmental science |
17 | Olga C. Santos, Jesus Boticario, Alicia Fernández del Viso, Santiago Pérez de la Cámara, Carlos Rebate Sánchez, Emmanuelle Gutiérrez y Restrepo |
Basic Skills Training to Disabled and Adult Learners Through an Accessible e-Learning Platform. |
HCI (7) |
2007 |
DBLP DOI BibTeX RDF |
Disabled students, Accessibility and evaluation, Basic skills market validation, Open courses, educational standards, Learning platforms |
17 | Jackie Sutherland, Vincent G. Duffy |
Validating Optical Motion Capture Assessments of the Dynamic Aspects of Work. |
HCI (12) |
2007 |
DBLP DOI BibTeX RDF |
optical motion capture, lumbar motion monitor, dynamic lifting, validation, ergonomics, digital human modeling |
17 | Andreas Ulrich, Alexandre Petrenko |
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study. |
ECMDA-FA |
2007 |
DBLP DOI BibTeX RDF |
reverse engineering, Model-driven development, experience report, trace analysis, system validation, telecommunication industry, model verification |
17 | Vijay Gangaram, Deepa Bhan, James K. Caldwell |
Functional Test Selection for High Volume Manufacturing. |
MTV |
2006 |
DBLP DOI BibTeX RDF |
Functional Test Sequences, Fault Simulation Acceleration, Untestable Fault Identification, Design Validation, Test Sequence Compaction |
17 | Takao Terano |
Exploring the Vast Parameter Space of Multi-Agent Based Simulation. |
MABS |
2006 |
DBLP DOI BibTeX RDF |
Multi-Agent Based Modeling, Parameter Exploration, Genetic Algorithms, Verification and Validation, Social Systems |
17 | Francisco Javier Lucas Martínez, Fernando Molina Molina, José Ambrosio Toval Álvarez, Valeria de Castro, Paloma Cáceres, Esperanza Marcos |
Precise WIS development. |
ICWE |
2006 |
DBLP DOI BibTeX RDF |
mda, verification and validation, uml, web information systems |
17 | Yujian Fu, Zhijiang Dong, Xudong He |
Modeling, validating and automating composition of web services. |
ICWE |
2006 |
DBLP DOI BibTeX RDF |
service oriented system specification, petri nets, temporal logic, verification and validation, software architecture model |
17 | Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde |
Generating Annotated Behavior Models from End-User Scenarios. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
Scenario-based elicitation, synthesis of behavior models, incremental learning, labeled transition systems, model validation, message sequence charts, analysis tools, scenario generation, invariant generation |
17 | Juliane Dehnert, Armin Zimmermann |
On the Suitability of Correctness Criteria for Business Process Models. |
Business Process Management |
2005 |
DBLP DOI BibTeX RDF |
Validation of business process models, Petri nets, Workflow |
17 | Guohui Li, Bing Yang 0002, Jixiong Chen |
Efficient Optimistic Concurrency Control for Mobile Real-Time Transactions in a Wireless Data Broadcast Environment. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
Mobile Real-time Transaction Processing, Hybrid Validation Policy, Data Broadcast, Optimistic Concurrency Control |
17 | Célestin Leupi, Mustafa Siddik Altinakar |
3D Finite Element Modeling of Free-Surface Flows with Efficient k-epsilon Turbulence Model and Non-hydrostatic Pressure. |
International Conference on Computational Science (3) |
2005 |
DBLP DOI BibTeX RDF |
Characteristic method, 3D Curved open channel, secondary currents, Non-hydrostatic pressure, Validation |
17 | Robert J. Hall 0001, Andrea Zisman |
Model interchange and integration for web services. |
ACM SIGSOFT Softw. Eng. Notes |
2004 |
DBLP DOI BibTeX RDF |
OpenModel, integration, validation, behavior models, interchange |
17 | Wen-Kui Chang, Chun-Yuan Chen |
Integrity-Enhanced Verification Scheme for Software-Intensive Organizations. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
Software Capability Level, Software Integrity Level, ISO 9001:2000, Software Process Improvement (SPI), CMMI, Software Verification and Validation |
17 | Sandrine Cazabat, Jean-Luc Soubie |
Simulation in work analysis for the design and evaluation of critical situations help systems: the case of flood management. |
IHM |
2003 |
DBLP DOI BibTeX RDF |
critical situations, lwork analysis, simulation, validation, scenario |
17 | Daniel Amyot, Xiangyang He, Yong He, Dae Yong Cho |
Generating Scenarios from Use Case Map Specifications. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
XML, Validation, Transformations, Scenarios, Message Sequence Charts, Use Case Maps |
17 | Jacques Calmet, Anusch Daemi-Ahwazi, Regine Endsuleit, Thilo Mie |
A Liberal Approach to Openness in Societies of Agents.. |
ESAW |
2003 |
DBLP DOI BibTeX RDF |
Society of agents, legal validation, security, knowledge society, sociology |
17 | Eric Vachon |
A Pre-viewing Step in Video Retrieval. |
EDBT Workshops |
2002 |
DBLP DOI BibTeX RDF |
query pre-validation, multimedia, metadata, video, video retrieval, video database |
17 | A. Diagne |
Control Properties in Object-Oriented Specifications. |
Concurrent Object-Oriented Programming and Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
Object Methodology, Control Properties, Verification & Validation, Petri Nets |
17 | Alaa Ibrahim, Hany H. Ammar, Sherif M. Yacoub |
A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications. |
ISSRE |
2001 |
DBLP DOI BibTeX RDF |
Verification an Validation, UML and statecharts, Fault Model, Fault Injection |
Displaying result #501 - #600 of 28136 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|