|
|
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 |
22 | Lars-Helge Netland, Yngve Espelid, Khalid A. Mughal |
A Reflection-Based Framework for Content Validation. |
ARES |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Mark Melia, Claus Pahl |
Pedagogical Validation of Courseware. |
EC-TEL |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Robert G. Sargent |
Verification and validation of simulation models. |
WSC |
2007 |
DBLP DOI BibTeX RDF |
|
22 | André R. S. Marçal |
Automatic Identification and Validation of Tie Points on Hyperspectral Satellite Images from CHRIS/PROBA. |
SCIA |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Jason Beckett, Jill Slay |
Digital Forensics: Validation and Verification in a Dynamic Work Environment. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis |
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Lorenz Froihofer, Gerhard Glos, Johannes Osrael, Karl M. Göschka |
Overview and Evaluation of Constraint Validation Approaches in Java. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Jane Huffman Hayes, Jeff Offutt |
Input validation analysis and testing. |
Empir. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Specificationanalysis, Inputvalidation, Fault-based analysis, Fault-basedtesting, Empiricalresearch, Syntax-based, Interfaceverification, Systemtesting, Staticanalysis, Dynamictesting, Casestudy, Software testing |
22 | Sadaf R. Alam, Jeffrey S. Vetter |
Hierarchical Model Validation of Symbolic Performance Models of Scientific Kernels. |
Euro-Par |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Nadia Bolshakova, Anton Zamolotskikh, Padraig Cunningham |
Comparison of the Data-based and Gene Ontology-Based Approaches to Cluster Validation Methods for Gene Microarrays. |
CBMS |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Derek Greene, Padraig Cunningham |
Efficient Prediction-Based Validation for Document Clustering. |
ECML |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Simeon Warner |
The OAI Data-Provider Registration and Validation Service. |
ECDL |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Robert G. Sargent |
Verification and validation of simulation models. |
WSC |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Giovanni Lapenta, Stefano Markidis |
Plug and Play Approach to Validation of Particle-Based Algorithms. |
International Conference on Computational Science (3) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | William H. Sanders |
Probabilistic Validation of Computer System Survivability. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Wei Lu, Kenneth Chiu, Aleksander Slominski, Dennis Gannon |
A streaming validation model for SOAP digital signature. |
HPDC |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Christos Drosos, Labros Bisdounis, Dimitris Metafas, Spyros Blionas, Anna Tatsaki |
A Multi-level Validation Methodology for Wireless Network Applications. |
PATMOS |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Hans-Joachim Mucha, Edgar Haimerl |
Automatic Validation of Hierarchical Cluster Analysis with Application in Dialectometry. |
GfKl |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Sang-Kyun Kim, Myungcheol Lee, Kyu-Chul Lee |
Validation of XML Document Updates Based on XML Schema in XML Databases. |
DEXA |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Liang Zhang 0012, Michael S. Hsiao, Indradeep Ghosh |
Automatic Design Validation Framework for HDL Descriptions via RTL ATPG. |
Asian Test Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Angela Krstic, Li-C. Wang, Kwang-Ting Cheng, T. M. Mak |
Diagnosis-Based Post-Silicon Timing Validation Using Statistical Tools and Methodologies. |
ITC |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Béatrice Bouchou, Mirian Halfeld Ferrari Alves |
Updates and Incremental Validation of XML Documents. |
DBPL |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Jörg Desel |
Model Validation - A Theoretical Issue? |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Prabhat Mishra 0001, Hiroyuki Tomiyama, Ashok Halambi, Peter Grun, Nikil D. Dutt, Alexandru Nicolau |
Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language. |
ASP-DAC/VLSI Design |
2002 |
DBLP DOI BibTeX RDF |
Pipeline Verification, Architecture Description Language |
22 | Jack P. C. Kleijnen, Russell C. H. Cheng, Bert Bettonvil |
VV&A; IV: validation of trace-driven simulation models: more on bootstrap tests. |
WSC |
2000 |
DBLP DOI BibTeX RDF |
|
22 | A. V. Hariharakrishnan, Simon Johney |
Validation Platform for a P1394a OHCI-Link Layer Synthesizable Core (With a PCI Bus Interface). |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
|
22 | David A. Langan, James W. Modestino, Jun Zhang 0006 |
Cluster validation for unsupervised stochastic model-based image segmentation. |
IEEE Trans. Image Process. |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Amir Pnueli, Ofer Strichman, Michael Siegel |
Translation Validation: From DC+ to C*. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Amir Pnueli, Ofer Strichman, Michael Siegel |
Translation Validation for Synchronous Languages. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Jian Shen, Jacob A. Abraham |
Native mode functional test generation for processors with applications to self test and design validation. |
ITC |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas |
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Nacéra Bennacer, Gerard Florin, Céline Fraize, Stéphane Natkin |
Probabilistic Validation of a Remote Procedure Call Protocol. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Marnix C. M. Weusten |
Validation: The Key Concept in Maintenance of Legal KBS. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Henrikas Pranevitchius |
Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols. |
Baltic Computer Science |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister 0002, Marek Jersak, Kai Richter 0001, Christian Ferdinand |
Timing Validation of Automotive Software. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
20 | John S. Carson II |
Verification validation: model verification and validation. |
WSC |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Tingxin Yan, Vikas Kumar, Deepak Ganesan |
CrowdSearch: exploiting crowds for accurate real-time image search on mobile phones. |
MobiSys |
2010 |
DBLP DOI BibTeX RDF |
human validation, real time, image search, crowdsourcing |
20 | Heon-Mo Koo, Prabhat Mishra 0001 |
Functional test generation using design and property decomposition techniques. |
ACM Trans. Embed. Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
design decomposition, property decomposition, Model checking, test generation, pipelined processor, functional validation |
20 | Sudipta Kundu, Zachary Tatlock, Sorin Lerner |
Proving optimizations correct using parameterized program equivalence. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
compiler optimization, correctness, translation validation |
20 | Dariusz Choinski, Witold Nocon, Mieczyslaw Metzger |
Multi-Agent System for Collaboration in Hybrid Control. |
ICCS (3) |
2008 |
DBLP DOI BibTeX RDF |
scalability and reconfigurability, ontology, MAS, validation, hybrid control |
20 | Sung-Boem Park, Subhasish Mitra |
IFRA: instruction footprint recording and analysis for post-silicon bug localization in processors. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
verification, debug, validation, design for debug |
20 | Jin-Cherng Lin, Jan-Min Chen, Hsing-Kuo Wong |
An Automatic Meta-revised Mechanism for Anti-malicious Injection. |
NBiS |
2007 |
DBLP DOI BibTeX RDF |
Malicious injection, Security gateway, Black box testing, Input validation |
20 | Nikolai Kosmatov |
A constraint solver for sequences and its applications. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
verification, validation, sequences, constraint solver |
20 | Wei Fan 0001, Ian Davidson |
Reverse testing: an efficient framework to select amongst classifiers under sample selection bias. |
KDD |
2006 |
DBLP DOI BibTeX RDF |
classification, cross-validation, stationary distribution, sample selection bias |
20 | Martin Gogolla, Jörn Bohling, Mark Richters |
Validating UML and OCL models in USE by automatic snapshot generation. |
Softw. Syst. Model. |
2005 |
DBLP DOI BibTeX RDF |
models, UML, Invariant, Reasoning, OCL, Test case, Class diagram, Model validation, Snapshot, Pre- and postcondition, Model testing |
20 | Makoto Murata, Dongwon Lee 0001, Murali Mani, Kohsuke Kawaguchi |
Taxonomy of XML schema languages using formal language theory. |
ACM Trans. Internet Techn. |
2005 |
DBLP DOI BibTeX RDF |
tree automaton, XML, validation, interpretation, schema |
20 | Nicolas Guelfi, Guillaume Le Cousin, Benoît Ries |
Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
Cross-enterprise business processes modeling, fault-tolerance, UML, verification, validation, methodology, tools, advanced transaction model |
20 | Claude Nadeau, Yoshua Bengio |
Inference for the Generalization Error. |
Mach. Learn. |
2003 |
DBLP DOI BibTeX RDF |
power, hypothesis tests, cross-validation, size, generalization error, variance estimation |
20 | Andreas Homrighausen, Hans-Werner Six, Mario Winter |
Round-Trip Prototyping Based on Integrated Functional and User Interface Requirements Specifications. |
Requir. Eng. |
2002 |
DBLP DOI BibTeX RDF |
Round-Trip Prototyping, User Interface Requirements, UML, Requirements engineering, Prototyping, Validation |
20 | Steffen Rochel, N. S. Nagaraj |
Full-Chip Signal Interconnect Analysis for Electromigration Reliability. |
ISQED |
2000 |
DBLP DOI BibTeX RDF |
Full-chip Analysis, Deep Sub-micron design, Validation, Electromigration |
20 | Jean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres |
Petri nets are good for protocols. |
Comput. Commun. Rev. |
1984 |
DBLP DOI BibTeX RDF |
ISO reference model, Petri nets, Protocol, Specification, Validation, Service |
19 | Knut Baumann |
Cross-validation is dead. Long live cross-validation! Model validation based on resampling. |
J. Cheminformatics |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Joël Toussaint |
Modélisation d'applications temps réel reparties pour la validation de propriétés temporelles méthodologie de construction de modèles et algorithmes de validation. (Modeling real time distributed applications to validate time properties design methodology of models and validation algorithms). |
|
1997 |
RDF |
|
19 | Vincent Chapurlat |
Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
19 | Djamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon |
A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
19 | Nasreddine Aoumeur, Gunter Saake |
UML-driven Information Systems and their Formal Integration Validation and Distribution. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
19 | José Diego De la Cruz, Lam-Son Lê, Alain Wegmann |
Validation of Visual Contracts for Services. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
19 | Paulo Sérgio Sausen, Pedro Fernandes Ribeiro Neto, Angelo Perkusich, Antonio Marcus Nogueira de Lima, Maria Ligia B. Perkusich, Fabiano Salvadori |
Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
19 | Mieczyslaw L. Owoc, Malgorzata Ochmanska, Tomasz Gladysz |
On Principles of Knowledge Validation. |
EUROVAV |
1999 |
DBLP BibTeX RDF |
|
19 | Anca I. Vermesan, Jarle Sjøvag, Per Martinsen, Keith Bell |
Verification and Validation in Support for Software Certification Methods. |
EUROVAV |
1999 |
DBLP BibTeX RDF |
|
19 | Francisco Loforte Ribeiro |
Verification and Validation of a Multistrategy Knowledge-Based System. |
EUROVAV |
1999 |
DBLP BibTeX RDF |
|
19 | Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau |
Constraints for Validation of Conceptual Graphs. |
EUROVAV |
1999 |
DBLP BibTeX RDF |
|
19 | Florence Dupin de Saint-Cyr, Stéphane Loiseau |
Validation and Refinement versus Revision. |
EUROVAV |
1999 |
DBLP BibTeX RDF |
|
19 | Nayyer Masood, Barry Eaglestone |
Ontology-based Verification and Validation of Federated Database Systems. |
EUROVAV |
1999 |
DBLP BibTeX RDF |
|
19 | Jorge Santos 0001, Carlos Ramos 0001, Zita A. Vale, Albino Marques |
Validation and Verification of Knowlege-Based Systems for Power Systzem Control Centres. |
EUROVAV |
1999 |
DBLP BibTeX RDF |
|
19 | Frans Coenen, Barry Eaglestone, Mick J. Ridley |
Verification, Validation and Integrity in Knowledge and Database Systems: Future Directions. |
EUROVAV |
1999 |
DBLP BibTeX RDF |
|
19 | Éric Grégoire |
Progressive Instantiation for the Logical Validation of Nonmonotonic KBs. |
EUROVAV |
1999 |
DBLP BibTeX RDF |
|
19 | Anca I. Vermesan, Frode Høgberg |
Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment. |
EUROVAV |
1999 |
DBLP BibTeX RDF |
|
19 | Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam |
A platform for implantable medical device validation. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
real-time systems, validation, cyber-physical systems, medical devices |
19 | Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor |
Bridging pre-silicon verification and post-silicon validation. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
post-silicon, pre-silicon, verification, validation |
19 | Ezequiel López-Rubio, Juan Miguel Ortiz-de-Lazcano-Lobato |
Automatic Model Selection by Cross-Validation for Probabilistic PCA. |
Neural Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
Missing value imputation, Simulated annealing, Dimensionality reduction, Cross-validation, Probabilistic principal components analysis (PPCA), Probability density estimation |
19 | Steve J. Summerskill, Russell Marshall, Keith Case, Diane E. Gyi, Ruth E. Sims, Peter Davis |
Validation of the HADRIAN System Using an ATM Evaluation Case Study. |
HCI (11) |
2009 |
DBLP DOI BibTeX RDF |
validation, ergonomics, design for all, Human Modelling |
19 | Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo |
Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
UML, embedded systems, time petri net, requirement validation |
19 | Christopher Scaffidi, Brad A. Myers, Mary Shaw |
Fast, Accurate Creation of Data Validation Formats by End-User Developers. |
IS-EUD |
2009 |
DBLP DOI BibTeX RDF |
web macros, web applications, Data validation |
19 | Babis Magoutas, Gregoris Mentzas |
Refinement, Validation and Benchmarking of a Model for E-Government Service Quality. |
EGOV |
2009 |
DBLP DOI BibTeX RDF |
benchmarking, validation, refinement, quality model, eGovernment |
19 | Andreas Lumbe Aas, Stig Ole Johnsen, Torbjørn Skramstad |
CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
Control centre, Petroleum, Oil & Gas, CRIOP, Verification, Human Factors, Validation, Offshore, Control room |
19 | Danilo Ravotto, Edgar E. Sánchez, Matteo Sonza Reorda, Giovanni Squillero |
Design validation of multithreaded architectures using concurrent threads evolution. |
SBCCI |
2009 |
DBLP DOI BibTeX RDF |
simulation based techniques, functional validation |
19 | Madhu Saravana Sibi Govindan, Stephen W. Keckler, Doug Burger |
End-to-end validation of architectural power models. |
ISLPED |
2009 |
DBLP DOI BibTeX RDF |
architectural power models, measurement, validation |
19 | Marco Brambilla 0001, Christina Tziviskou |
An Online Platform for Semantic Validation of UML Models. |
ICWE |
2009 |
DBLP DOI BibTeX RDF |
ontology, Semantic Web, UML, component, validation, conceptual modeling, pattern, reasoner, class diagram, WebML |
19 | Luis Fernando Lago-Fernández, Manuel A. Sánchez-Montañés, Fernando J. Corbacho |
Fuzzy Cluster Validation Using the Partition Negentropy Criterion. |
ICANN (2) |
2009 |
DBLP DOI BibTeX RDF |
Negentropy, Clustering, EM algorithm, Mixture Model, Cluster validation |
19 | Xiao Liu 0011, Qiang Xu 0001 |
Interconnection fabric design for tracing signals in post-silicon validation. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
trace-based debug, post-silicon validation |
19 | Robert Beverly, Arthur W. Berger, Young Hyun, kc claffy |
Understanding the efficacy of deployed internet source address validation filtering. |
Internet Measurement Conference |
2009 |
DBLP DOI BibTeX RDF |
ip spoofing, source address validation, filtering |
19 | Petr Kroha, Manuela Rink |
Text Generation for Requirements Validation. |
ICEIS |
2009 |
DBLP DOI BibTeX RDF |
Requirements, Requirements specification, Requirements modeling, Requirements validation, Text generation |
19 | Jianping Wu, Gang Ren 0003, Xing Li 0001 |
Building a next generation Internet with source address validation architecture. |
Sci. China Ser. F Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
IP source address validation, network security, network architecture |
19 | Doron Drusinsky, James Bret Michael, Man-tak Shing |
A framework for computer-aided validation. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Model checking, Formal methods, Runtime verification, Validation and verification |
19 | Junko Shirogane, Yoshiaki Fukazawa |
Correspondence validation method for GUI operations and scenarios by operation history analysis. |
IUI |
2008 |
DBLP DOI BibTeX RDF |
correspondence validation, history analysis, GUI, scenario |
19 | Yuen-Tak Yu, Marian Choy, Eric Ying Kwong Chan, Y. T. Lo |
A Hybrid Learning Course on Software Development-Requirements Validation of Tool Support. |
ICHL |
2008 |
DBLP DOI BibTeX RDF |
Web-based learning tool, software development, requirements validation, Course design, hybrid learning |
19 | Florina Almenárez, Andrés Marín López, Daniel Díaz Sánchez, Alberto Cortés, Celeste Campo, Carlos García-Rubio |
Building an Open Toolkit of Digital Certificate Validation for Mobile Web Services. |
PerCom |
2008 |
DBLP DOI BibTeX RDF |
certificate validation, open toolkit, X.509 certificates |
19 | Masakazu Takahashi, Satoru Takahashi, Yoshikatsu Fujita |
A Method for Ensuring Consistency of Software Design Information in Retrospective Computer Validation. |
KES (2) |
2008 |
DBLP DOI BibTeX RDF |
Retrospective Computer Validation, Pharmaceutical Production System, Design Information Database, Consistency |
19 | José Luis Delgado, Covadonga Rodrigo, Gonzalo León |
Experiments in Calibration and Validation for Medical Content-Based Images Retrieval. |
CLEF |
2008 |
DBLP DOI BibTeX RDF |
JAI, validation, calibration, CBIR |
19 | Miguel Antonio Sovierzoski, Fernanda Isabel Marques Argoud, Fernando Mendes de Azevedo |
Evaluation of ANN Classifiers During Supervised Training with ROC Analysis and Cross Validation. |
BMEI (1) |
2008 |
DBLP DOI BibTeX RDF |
ANN Classifier, ANN Classifier Evaluation, Cross Validation, Back-Propagation, ROC Analysis |
19 | Michael E. Locasto, Matthew Burnside, Angelos D. Keromytis |
Online Network Forensics for Automatic Repair Validation. |
IWSEC |
2008 |
DBLP DOI BibTeX RDF |
software self-healing, automatic repair validation |
19 | Ghassan Hamarneh, Preet Jassi, Lisa Tang |
Simulation of Ground-Truth Validation Data Via Physically- and Statistically-Based Warps. |
MICCAI (1) |
2008 |
DBLP DOI BibTeX RDF |
simulation, segmentation, validation, deformation, variation, vibration, non-uniformity |
19 | Jennifer Sobey, Robert Biddle, Paul C. van Oorschot, Andrew S. Patrick |
Exploring User Reactions to New Browser Cues for Extended Validation Certificates. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
extended validation certificates, user study, Usable security, browser security |
19 | Giorgio Di Natale, Marie-Lise Flottes, Bruno Rouzeyre |
An Integrated Validation Environment for Differential Power Analysis. |
DELTA |
2008 |
DBLP DOI BibTeX RDF |
Secure chips, Validation, DPA |
19 | Armin Seyfried, Andreas Schadschneider |
Fundamental Diagram and Validation of Crowd Models. |
ACRI |
2008 |
DBLP DOI BibTeX RDF |
fundamental diagram, model validation, empirical data |
19 | Kurt Jensen, Lars Michael Kristensen, Lisa Wells |
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. |
Int. J. Softw. Tools Technol. Transf. |
2007 |
DBLP DOI BibTeX RDF |
Simulation, Model checking, Verification, Performance analysis, Validation, Visualisation, Coloured Petri Nets, Discrete-event systems, State space methods, Behavioural modelling |
19 | Cristina Satizábal, Rafael Martínez-Peláez, Jordi Forné, Francisco Rico-Novella |
Reducing the Computational Cost of Certification Path Validation in Mobile Payment. |
EuroPKI |
2007 |
DBLP DOI BibTeX RDF |
certification path validation, hash chains, mobile payment, Public Key Infrastructure (PKI) |
19 | Frank Schwartzenburg, William Oates, Jennifer Park, Donald Johnson, Marcy Stutzman, Michael Bailey, Simone Youngblood |
Verification, validation, and accreditation (VV&A): one voice --- unified, common & cross-cutting. |
SCSC |
2007 |
DBLP BibTeX RDF |
accreditation (VV&A), practice(s), process(es), verification, validation, templates |
19 | Mazen Malek Shiaa, Jan Ove Fladmark |
Validation Aspects of Automatic Service Composition. |
ICSOC Workshops |
2007 |
DBLP DOI BibTeX RDF |
validation, semantic annotations, service platforms, automatic service composition |
Displaying result #301 - #400 of 28136 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|