Search results for "Validation and Analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Guido Wimmel, Jan Jürjens	Specification-Based Test Generation for Security-Critical Systems Using Mutations.	ICFEM	2002	DBLP DOI BibTeX RDF	E-Commerce Systems, Security-Critical Systems, Validation and Analysis, Computer-aided Software Engineering (CASE), Formal Methods, Test Case Generation, Test Specification, AutoFocus
1	Olivier Chapelle, Thorsten Joachims, Filip Radlinski, Yisong Yue	Large-scale validation and analysis of interleaved search evaluation.	ACM Trans. Inf. Syst.	2012	DBLP DOI BibTeX RDF
1	Jirka Poropudas, Kai Virtanen	Game-Theoretic Validation and Analysis of Air Combat Simulation Models.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2010	DBLP DOI BibTeX RDF
1	Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard	Variability Modeling and QoS Analysis of Web Services Orchestrations.	ICWS	2010	DBLP DOI BibTeX RDF	Intelligent Web service languages, Quality concepts, Model Validation and Analysis
1	Karthik Ganesan, Deepak Panwar, Lizy K. John	Generation, Validation and Analysis of SPEC CPU2006 Simulation Points Based on Branch, Memory and TLB Characteristics.	SPEC Benchmark Workshop	2009	DBLP DOI BibTeX RDF
1	Richard Brath, Michael Peters	Spreadsheet Validation and Analysis through Content Visualization	CoRR	2008	DBLP BibTeX RDF
1	Khim Hou Lee, Seow Pin Andy Chang	An Integral Approach To Reuse Verification Code Towards Post Silicon Test Pattern Generation Design Validation And Analysis For Effective SoC Product Development.	ESA	2008	DBLP BibTeX RDF
1	Wan-Chen Lu, Kwei-Jay Lin, Hsin-Wen Wei, Wei Kuan Shih	Efficient Exact Test for Rate-Monotonic Schedulability Using Large Period-Dependent Initial Values.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Model Validation and Analysis, Scheduling, Real-time systems
1	Raymond Wu	The validation and analysis of component-based metadata integration.	EATIS	2007	DBLP DOI BibTeX RDF	enterpise, metadata, integration, component
1	Louise K. Schaper, Graham P. Pervan	An investigation of factors affecting technology acceptance and use decisions by Australian allied health therapists.	HICSS	2007	DBLP DOI BibTeX RDF
1	Woei-Jyh Lee, Louiqa Raschid, Padmini Srinivasan, Nigam Shah, Daniel L. Rubin, Natasha Fridman Noy	Using Annotations from Controlled Vocabularies to Find Meaningful Associations.	DILS	2007	DBLP DOI BibTeX RDF	links between data objects, confidence and support scores, life science link (LSLink), annotations, LOD, associations, controlled vocabularies
1	Emmanuel Hooper	Experimental Validation and Analysis of an Intelligent Detection and Response Strategy to False Positives and Network Attacks.	ISI	2006	DBLP DOI BibTeX RDF
1	Jonatan Alava, Tariq M. King, Peter J. Clarke	Automatic Validation of Java Page Flows Using Model-Based Coverage Criteria.	COMPSAC	2006	DBLP DOI BibTeX RDF	Model Validation and Analysis, Testing and Debugging
1	Ruzhi Xu, Yunjiao Xue, Peiyao Nie, Yuan Zhang, Desheng Li	Research on CMMI-based Software Process Metrics.	IMSCCS	2006	DBLP DOI BibTeX RDF
1	Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Cesar A. L. Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim	A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net.	PATMOS	2005	DBLP DOI BibTeX RDF
1	Marcel Harkema, Dick A. C. Quartel, Bart Gijsen, Robert D. van der Mei	Performance monitoring of java applications.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	performance measurement and monitoring of java applications
1	Costas S. Iliopoulos, Jamie Simpson	On-Line Validation and Analysis of Partially Occluded Images.	Journal of Automata, Languages and Combinatorics	2001	DBLP BibTeX RDF
1	Sam Waugh, Tim Menzies, Simon Goss	Evaluating a Qualitative Reasoner.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF
1	Wullianallur Raghupathi, Peter P. Mykytyn Jr., Karan Harbison-Briggs	A blackboard model of reasoning in product liability claims evaluation.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	Blackboard model, product liability claim evaluation, legal reasoning
1	Farhad S. Etessami, Gurdeep S. Hura	Rule-Based Design Methodology for Solving Control Problems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	control problems, rule-based design methodology, abstract Petri nets, formalism tool, high-level interaction, elevator system, formal specification, Petri nets, specification, software tools, validation, knowledge engineering, dynamic behaviour
1	Jane Fedorowicz	Comments on Price/Performance Patterns of U.S. Computer Systems.	Commun. ACM	1981	DBLP DOI BibTeX RDF