|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria, pp. 697-706, 2007, IEEE Computer Society, 0-7695-2775-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Mark Melia, Claus Pahl |
Pedagogical Validation of Courseware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-TEL ![In: Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings, pp. 499-504, 2007, Springer, 978-3-540-75194-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Robert G. Sargent |
Verification and validation of simulation models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference, WSC 2007, Washington, DC, USA, December 9-12, 2007, pp. 124-137, 2007, WSC, 1-4244-1306-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCIA ![In: Image Analysis, 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007, Proceedings, pp. 553-561, 2007, Springer, 978-3-540-73039-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Jason Beckett, Jill Slay |
Digital Forensics: Validation and Verification in a Dynamic Work Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA, pp. 266, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], pp. 298-325, 2007, Springer, 978-3-540-85570-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 313-322, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Jane Huffman Hayes, Jeff Offutt |
Input validation analysis and testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 11(4), pp. 493-522, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28 - September 1, 2006, Proceedings, pp. 65-77, 2006, Springer, 3-540-37783-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 19th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2006), 22-23 June 2006, Salt Lake City, Utah, USA, pp. 539-543, 2006, IEEE Computer Society, 978-0-7695-2517-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Derek Greene, Padraig Cunningham |
Efficient Prediction-Based Validation for Document Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2006, 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings, pp. 663-670, 2006, Springer, 3-540-45375-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Simeon Warner |
The OAI Data-Provider Registration and Validation Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005, Proceedings, pp. 491-492, 2005, Springer, 3-540-28767-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Robert G. Sargent |
Verification and validation of simulation models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, pp. 130-143, 2005, IEEE Computer Society, 0-7803-9519-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Giovanni Lapenta, Stefano Markidis |
Plug and Play Approach to Validation of Particle-Based Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III, pp. 88-95, 2005, Springer, 3-540-26044-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | William H. Sanders |
Probabilistic Validation of Computer System Survivability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings, pp. 1, 2005, Springer, 3-540-29572-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Wei Lu, Kenneth Chiu, Aleksander Slominski, Dennis Gannon |
A streaming validation model for SOAP digital signature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 14th IEEE International Symposium on High Performance Distributed Computing, HPDC-14, Research Triangle Park, North Carolina, USA, 24-27 July 2005, pp. 243-252, 2005, IEEE Computer Society, 0-7803-9037-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design, Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004, Proceedings, pp. 332-341, 2004, Springer, 3-540-23095-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Hans-Joachim Mucha, Edgar Haimerl |
Automatic Validation of Hierarchical Cluster Analysis with Application in Dialectometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GfKl ![In: Classification - the Ubiquitous Challenge, Proceedings of the 28th Annual Conference of the Gesellschaft für Klassifikation e.V., University of Dortmund, March 9-11, 2004, pp. 513-520, 2004, Springer, 978-3-540-25677-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings, pp. 98-108, 2003, Springer, 3-540-40806-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Liang Zhang 0012, Michael S. Hsiao, Indradeep Ghosh |
Automatic Design Validation Framework for HDL Descriptions via RTL ATPG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, pp. 148-153, 2003, IEEE Computer Society, 0-7695-1951-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September - 3 October 2003, Charlotte, NC, USA, pp. 339-348, 2003, IEEE Computer Society, 0-7803-8106-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Béatrice Bouchou, Mirian Halfeld Ferrari Alves |
Updates and Incremental Validation of XML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages, 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers, pp. 216-232, 2003, Springer, 3-540-20896-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Jörg Desel |
Model Validation - A Theoretical Issue? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings, pp. 23-43, 2002, Springer, 3-540-43787-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC/VLSI Design ![In: Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), and the 15th International Conference on VLSI Design (VLSI Design 2002), Bangalore, India, January 7-11, 2002, pp. 458-, 2002, IEEE Computer Society, 0-7695-1299-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 882-892, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands, pp. 1235-, 2000, IEEE Computer Society, 0-7695-0780-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | David A. Langan, James W. Modestino, Jun Zhang 0006 |
Cluster validation for unsupervised stochastic model-based image segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 7(2), pp. 180-195, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Amir Pnueli, Ofer Strichman, Michael Siegel |
Translation Validation: From DC+ to C*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM-Trends ![In: Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings, pp. 137-150, 1998, Springer, 3-540-66462-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Amir Pnueli, Ofer Strichman, Michael Siegel |
Translation Validation for Synchronous Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 235-246, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 1998, Washington, DC, USA, October 18-22, 1998, pp. 990-999, 1998, IEEE Computer Society, 0-7803-5093-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1996 International Symposium on Software Testing and Analysis, ISSTA 1996, San Diego, CA, USA, January 8-10, 1996, pp. 261-269, 1996, ACM, 0-89791-787-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 59-78, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Marnix C. M. Weusten |
Validation: The Key Concept in Maintenance of Legal KBS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Fourth International Conference on Artificial intelligence and Law, ICAIL '93, Amsterdam, The Netherlands, June 15-18, 1993, pp. 82-89, 1993, ACM, 0-89791-606-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Henrikas Pranevitchius |
Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Baltic Computer Science ![In: Baltic Computer Science, Selected Papers, pp. 433-477, 1991, Springer, 3-540-54131-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 93-107, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | John S. Carson II |
Verification validation: model verification and validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 52-58, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Tingxin Yan, Vikas Kumar, Deepak Ganesan |
CrowdSearch: exploiting crowds for accurate real-time image search on mobile phones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiSys ![In: Proceedings of the 8th International Conference on Mobile Systems, Applications, and Services (MobiSys 2010), San Francisco, California, USA, June 15-18, 2010, pp. 77-90, 2010, ACM, 978-1-60558-985-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 8(4), pp. 32:1-32:33, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 327-337, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (3) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III, pp. 381-388, 2008, Springer, 978-3-540-69388-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 373-378, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NBiS ![In: Network-Based Information Systems, First International Conference, NBiS 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 98-107, 2007, Springer, 978-3-540-74572-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 404-408, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Twelfth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Philadelphia, PA, USA, August 20-23, 2006, pp. 147-156, 2006, ACM, 1-59593-339-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 4(4), pp. 386-398, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Internet Techn. ![In: ACM Trans. Internet Techn. 5(4), pp. 660-704, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, pp. 468-482, 2004, Springer, 3-540-23664-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 52(3), pp. 239-281, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 7(1), pp. 34-45, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 1st International Symposium on Quality of Electronic Design (ISQED 2000), 20-22 March 2000, San Jose, CA, USA, pp. 337-340, 2000, IEEE Computer Society, 0-7695-0525-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 14(2), pp. 66-74, 1984. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cheminformatics ![In: J. Cheminformatics 2(S-1), pp. 5, 2010. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
19 | Vincent Chapurlat |
Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008, pp. 5-6, 2008, INSTICC PRESS, 978-989-8111-43-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, June 2007, pp. 163-168, 2007, INSTICC PRESS, 978-972-8865-95-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
19 | Nasreddine Aoumeur, Gunter Saake |
UML-driven Information Systems and their Formal Integration Validation and Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, June 2007, pp. 63-73, 2007, INSTICC PRESS, 978-972-8865-95-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
19 | José Diego De la Cruz, Lam-Son Lê, Alain Wegmann |
Validation of Visual Contracts for Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006, pp. 147-165, 2006, INSTICC Press, 978-972-8865-49-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, In conjunction with ICEIS 2005, Miami, FL, USA, May 2005, pp. 49-57, 2005, INSTICC Press, 972-8865-22-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
19 | Mieczyslaw L. Owoc, Malgorzata Ochmanska, Tomasz Gladysz |
On Principles of Knowledge Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 25-35, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
19 | Anca I. Vermesan, Jarle Sjøvag, Per Martinsen, Keith Bell |
Verification and Validation in Support for Software Certification Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 277-293, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
19 | Francisco Loforte Ribeiro |
Verification and Validation of a Multistrategy Knowledge-Based System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 207-220, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
19 | Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau |
Constraints for Validation of Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 79-90, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
19 | Florence Dupin de Saint-Cyr, Stéphane Loiseau |
Validation and Refinement versus Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 163-176, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
19 | Nayyer Masood, Barry Eaglestone |
Ontology-based Verification and Validation of Federated Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 327-341, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 221-235, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
19 | Frans Coenen, Barry Eaglestone, Mick J. Ridley |
Verification, Validation and Integrity in Knowledge and Database Systems: Future Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 297-312, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
19 | Éric Grégoire |
Progressive Instantiation for the Logical Validation of Nonmonotonic KBs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 37-51, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 343-357, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
19 | Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam |
A platform for implantable medical device validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 9th International Conference on Information Processing in Sensor Networks, IPSN 2010, April 12-16, 2010, Stockholm, Sweden, pp. 418-419, 2010, ACM, 978-1-60558-988-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 94-95, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Process. Lett. ![In: Neural Process. Lett. 30(2), pp. 113-132, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Digital Human Modeling, Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 727-736, 2009, Springer, 978-3-642-02808-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 377-381, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS-EUD ![In: End-User Development, 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings, pp. 242-261, 2009, Springer, 978-3-642-00425-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government, 8th International Conference, EGOV 2009, Linz, Austria, August 31 - September 3, 2009. Proceedings, pp. 139-150, 2009, Springer, 978-3-642-03515-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings, pp. 243-256, 2009, Springer, 978-3-642-04467-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, SBCCI 2009, Natal, Brazil, August 31 - September 3, 2009, 2009, ACM, 978-1-60558-705-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2009 International Symposium on Low Power Electronics and Design, 2009, San Fancisco, CA, USA, August 19-21, 2009, pp. 383-388, 2009, ACM, 978-1-60558-684-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering, 9th International Conference, ICWE 2009, San Sebastián, Spain, June 24-26, 2009, Proceedings, pp. 477-480, 2009, Springer, 978-3-642-02817-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2009, 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part II, pp. 235-244, 2009, Springer, 978-3-642-04276-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 352-357, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Measurement Conference ![In: Proceedings of the 9th ACM SIGCOMM Internet Measurement Conference, IMC 2009, Chicago, Illinois, USA, November 4-6, 2009, pp. 356-369, 2009, ACM, 978-1-60558-771-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ip spoofing, source address validation, filtering |
19 | Petr Kroha, Manuela Rink |
Text Generation for Requirements Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: Enterprise Information Systems, 11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009. Proceedings, pp. 467-478, 2009, Springer, 978-3-642-01346-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(11), pp. 1681-1691, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(2), pp. 161-168, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 13th International Conference on Intelligent User Interfaces, IUI 2008, Gran Canaria, Canary Islands, Spain, January 13-16, 2008, pp. 257-266, 2008, ACM, 978-1-59593-987-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICHL ![In: Hybrid Learning and Education, First International Conference, ICHL 2008, Hong Kong, China, August 13-15, 2008, Proceedings, pp. 316-327, 2008, Springer, 978-3-540-85169-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 17-21 March 2008, Hong Kong, pp. 560-565, 2008, IEEE Computer Society, 978-0-7695-3113-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II, pp. 994-1001, 2008, Springer, 978-3-540-85564-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF ![In: Evaluating Systems for Multilingual and Multimodal Information Access, 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers, pp. 724-727, 2008, Springer, 978-3-642-04446-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMEI (1) ![In: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, BMEI 2008, May 28-30, 2008, Sanya, Hainan, China - Volume 1, pp. 274-278, 2008, IEEE Computer Society, 978-0-7695-3118-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSEC ![In: Advances in Information and Computer Security, Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings, pp. 136-151, 2008, Springer, 978-3-540-89597-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I, pp. 459-467, 2008, Springer, 978-3-540-85987-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, pp. 411-427, 2008, Springer, 978-3-540-88312-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: 4th IEEE International Symposium on Electronic Design, Test and Applications, DELTA 2008, Hong Kong, January 23-25, 2008, pp. 527-532, 2008, IEEE Computer Society, 978-0-7695-3110-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Secure chips, Validation, DPA |
19 | Armin Seyfried, Andreas Schadschneider |
Fundamental Diagram and Validation of Crowd Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings, pp. 563-566, 2008, Springer, 978-3-540-79991-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(3-4), pp. 213-254, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPKI ![In: Public Key Infrastructure, 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007, Proceedings, pp. 280-296, 2007, Springer, 978-3-540-73407-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 429-436, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC Workshops ![In: Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers, pp. 258-267, 2007, Springer, 978-3-540-93850-7. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|