Search results for "validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	B. Kouninef, M. K. Abdi, Maher K. Rahmouni	Towards an Effective and Integrated Design for Information Systems.	ITCC	2000	DBLP DOI BibTeX RDF	Statical Aspect, JSD, Validation, Rewrite Logic, Conceptual Schema, Information System design, Dynamical Aspect, NIAM
13	Tosiyasu L. Kunii, Masayuki Hisada	Overcoming Software Complexity by Constructing Abstraction Hierarchies - The Principles and Applications.	ICECCS	2000	DBLP DOI BibTeX RDF	sustainable social infrastructure, incrementally modular hierarchies, rapid prototyping tool, validation tool, abstracted Java program structures, Java, test case, software complexity, Java language, abstraction hierarchies, program construct, cellular modeling
13	Ramesh Chandra, Michel Cukier, Ryan M. Lefever, William H. Sanders	Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector.	SRDS	2000	DBLP DOI BibTeX RDF	Measure language, Statistical measure estimation, Validation, Fault injection, Dependable distributed systems
13	Thomas Martini Jørgensen, Christian Linneberg	Theoretical Analysis and Improved Decision Criteria for the n-Tuple Classifier.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	n-tuple classifier, RAM-net, maximum likelihood, cross-validation, Bayes
13	Ann Q. Gates, Patricia J. Teller	DynaMICs: An Automated and Independent Software-FaultDetection Approach.	HASE	1999	DBLP DOI BibTeX RDF	software-fault detection, software-fault monitoring, hardware-assisted monitoring, constraints, tracing, integrity constraints, verification and validation
13	Michelangelo Interesse, Roberto Dabbicco	Experience Paper: Beyond Year 2000 Remediation: The Compliance Verification: A Case Study.	ICSM	1999	DBLP DOI BibTeX RDF	y2k, verification, validation, compliance, independence, year 2000
13	Shamik Sural, P. K. Das	A Two-state Markov Chain Model of Degraded Document Images.	ICDAR	1999	DBLP DOI BibTeX RDF	Image degradation model, Genetic algorithm, Markov chain, Parameter estimation, Model validation
13	Torben Amtoft, Hanne Riis Nielson, Flemming Nielson	Behavior Analysis for Validating Communication Patterns.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Validation of safety conditions, Process algebras, Type and effect systems, Concurrent ML
13	Lars Michael Kristensen, Søren Christensen, Kurt Jensen	The Practitioner's Guide to Coloured Petri Nets.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Practical use, Modelling, Verification, Validation, Visualisation, Tool support, Coloured Petri nets, High-level Petri nets
13	Steve M. Easterbrook, Robyn R. Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton	Experiences Using Lightweight Formal Methods for Requirements Modeling.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	fault protection software, formal methods, verification and validation, Software requirements, NASA
13	Paul S. Coe, Fred W. Howell, Roland N. Ibbett, Laurence M. Williams	Technical Note: A Hierarchical Computer Architecture Design and Simulation Environment.	ACM Trans. Model. Comput. Simul.	1998	DBLP DOI BibTeX RDF	HASE, hierarchical simulation, simulation, modeling, visualization, architecture, discrete-event simulation, model validation, scalable systems
13	Fabrizio Fioravanti, Paolo Nesi, Sandro Perlini	A Tool for Process and Product Assessment of C++ Applications.	CSMR	1998	DBLP DOI BibTeX RDF	profiles and histograms, validation, tuning, object-oriented metrics, effort prediction, assessment tool
13	Matthew B. Dwyer, Corina S. Pasareanu	Filter-Based Model Checking of Partial Systems.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	filter-based analysis, model checking, assume-guarantee reasoning, software verification and validation
13	Ralph D. Jeffords, Constance L. Heitmeyer	Automatic Generation of State Invariants from Requirements Specifications.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	verification, formal methods, specification, software tools, validation, requirements, invariants
13	David Rowe, John Leaney	Evaluating evolvability of computer based systems architectures-an ontological approach.	ECBS	1997	DBLP DOI BibTeX RDF	computer based systems architectures, ontological approach, concept validation, systems architecture, systems engineering, evolvability, computer based system
13	F. Maurice, Abdelmalek Benzekri, Yves Raynaud	Introducing Rigorous Metrics Specification and Verification into a Measurement Program.	IEEE METRICS	1997	DBLP DOI BibTeX RDF	metrics specification, Software measurement, verification and validation
13	Norman F. Schneidewind	Software Metrics Model For Quality Control.	IEEE METRICS	1997	DBLP DOI BibTeX RDF	software metrics model, Space Shuttle flight software, metrics validation methodology, Boolean discriminant functions, quality control process, critical values, nonparametric statistical methods, candidate metrics, optimal function, marginal analysis, concordance, software quality, software metrics, quality control, dominance, quality factor, threshold values
13	Jacques Kouloumdjian, Farouk Toumani	Relational Database Engineering and Terminological Reasoning.	DEXA	1997	DBLP DOI BibTeX RDF	data semantics elicitation, terminological logics, relational databases, validation, conceptual models, Database reverse engineering
13	Stephen Wang-Cheung Lam, Keith C. C. Chan, Hareton K. N. Leung, Lawrence Chung	A visual programming environment for Z specifications.	APSEC	1997	DBLP DOI BibTeX RDF	syntax checking, VZ, Visual Z, specification validation, logic proving, software tools, visual programming, icons, editing, glyphs, Z specifications, visual programming environment
13	Iliano Cervesato, Massimo Franceschet, Angelo Montanari	Modal Event Calculi with Preconditions.	TIME	1997	DBLP DOI BibTeX RDF	modal event calculi, event occurrences, maximal validity intervals, semantic formalization, MVI validation, complexity, temporal logic, temporal logic, preconditions, event calculus
13	John R. Samson Jr., Wilfrido Alejandro Moreno, Fernando J. Falquez	Validating fault tolerant designs using laser fault injection (LFI).	DFT	1997	DBLP DOI BibTeX RDF	fault tolerant designs validation, laser fault injection, VHSIC technology, in situ testing, transient error conditions, VLSI, faults, automated testing, transient, VLSI technology
13	Vincenzo Ambriola, Vincenzo Gervasi	Processing Natural Language Requirements.	ASE	1997	DBLP DOI BibTeX RDF	natural language requirements processing, natural language requirements, Circe, Web-based environment, natural language texts, functional metric reports, natural language recognition, validation, natural languages, selection, requirement analysis, software project
13	Savi Maharaj, Juan Bicarregui	On the Verification of VDM Specification and Refinement with PVS.	ASE	1997	DBLP DOI BibTeX RDF	VDM specification, VDM formal method, PVS theorem prover, VDM-SL specification translation, PVS specification language, transparent translation methods, specification type-checking, nontrivial validation conditions, abstract specification, shallow embedding technique, verification, formal specification, proof rules
13	Martin Hitz, Behzad Montazeri	Chidamber and Kemerer's Metrics Suite: A Measurement Theory Perspective.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	cohesion metrics, object-orientation, validation, Software measurement, coupling metrics
13	J. R. Carnes, Amit Misra, Janos Sztipanovits	Model-integrated toolset for fault detection, isolation and recovery (FDIR).	ECBS	1996	DBLP DOI BibTeX RDF	space vehicles, model-integrated toolset, complex engineering systems, system deployment, information intensive tests, in-depth knowledge, large complex spacecraft system development, engineering design phase, fault diagnosis, software maintenance, software tools, system design, fault detection, system recovery, system monitoring, special purpose computers, systems software, fault recovery, aerospace computing, system implementation, fault isolation, system validation, system maintenance
13	D. Sinclair, Ludo Cuypers, Kurt Verschaeve, E. Holz, Alexios N. Birbas, V. Mariatos, N. Kyrloglou, J.-L. Roux	A formal approach to HW/SW co-design: the INSYDE project.	ECBS	1996	DBLP DOI BibTeX RDF	INSYDE project, hybrid system co-design, formal description languages, requirements capture, formal verification, software tools, validation, VHDL, object-oriented design, object-oriented methods, SDL, hardware description languages, object-oriented analysis, hardware/software co-design, formal approach
13	Ridha Djemal, Guy Mazaré, Gérard Michel	Toward reconfigurable associative architecture for high speed communication operators.	ECBS	1996	DBLP DOI BibTeX RDF	reconfigurable associative architecture, high speed communication operators, associative organization, complex data structures, structured addressable associative memory, high speed communication protocols, CAM architectures, SYMOPSYS tool, architecture validation, FPGA, real-time systems, real-time, asynchronous transfer mode, asynchronous transfer mode, local area networks, local area network, reconfigurable architectures, memory architecture, LAN, content-addressable storage
13	Alan Su 0002, Ta-Yung Liu, Yu-Chin Hsu, Mike Tien-Chien Lee	Eliminating False Loops Caused by Sharing in Control Path.	ISSS	1996	DBLP DOI BibTeX RDF	false loops, control path sharing, timing validation, design sign-off phase, data path sharing, control logic sharing, removal algorithm, computation complexity, high level synthesis, high level synthesis, filter, resource sharing, logic minimization
13	Kentaro Go, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori	Automatic modification of a protocol specification based on changes of a service specification.	ICPADS	1996	DBLP DOI BibTeX RDF	verification, formal specification, protocols, validation, Labelled Transition System, service specification, protocol specification
13	Xiaoping Jia	An approach to animating Z specifications.	COMPSAC	1995	DBLP DOI BibTeX RDF	ZANS approach, animation approaches, imperative intermediate language, formal specification, computer science education, specification languages, visual programming, computer aided software engineering, requirements validation, Z specifications, code synthesis, Z specification languages
13	J. Artur Serrano	The Use of Semantic Constraints on Diagram Editors.	VL	1995	DBLP DOI BibTeX RDF	diagram editors, state transition networks, entity-relationship data model, unfriendly system, automatic diagram validation, Petri nets, graphical user interfaces, software tools, software tools, visual programming, visual programming, diagrams, graphical interface, semantic constraints, user guidance
13	C. V. Ramamoorthy	Distributed techniques in software systems integration.	FTDCS	1995	DBLP DOI BibTeX RDF	software systems integration, distributed computing techniques, traditional software development, waterfall model, basic conceptual model, generic integration lifecycle, design, formal specification, testing, specification, software development, software tools, validation, requirements, implementation, program verification, software development management, consumer electronics, iterative testing, automation support
13	Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan	An object-oriented modeling of real-time robotic assembly system.	ICECCS	1995	DBLP DOI BibTeX RDF	maintenance engineering, industrial manipulators, real-time robotic assembly system, object-oriented-formal modeling, independent components, modular components, real-time systems, formal verification, formal verification, validation, system design, object-oriented methods, system model, manipulators, assembling, reusable components, system requirements, system maintenance, control system CAD, control engineering
13	Laurence Likforman-Sulem, Anahid Hanimyan, Claudie Faure	A Hough based algorithm for extracting text lines in handwritten documents.	ICDAR	1995	DBLP DOI BibTeX RDF	Hough based algorithm, handwritten documents, hypothesis-validation strategy, text-line hypothesis, proximity criteria, Hough transforms, text lines extraction
13	Norman E. Fenton	Software Measurement: A Necessary Scientific Basis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	scientific basis, software metrics work, metrics validation, complexity attributes, software metrics, programming theory, software measurement, measurement theory, measurement theory, software complexity measures
13	Karama Kanoun, Jean-Claude Laprie	Software Reliability Trend Analyses from Theoretical to Practical Considerations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	software reliability trend analyses, software reliability growth characterization, reliability trend analyses, software testing, project management, project manager, software reliability, software validation
13	Malek Adjouadi, Frank M. Candocia	A Stereo Matching Paradigm Based on the Walsh Transformation.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	feature-based stereo matching technique, feature point location, potential match searching, match validation, global consistency check, disparity determination, stereo image representation, Walsh-based attributes, accurate disparity extraction, matching primitives, image complexity, feature extraction, transforms, image matching, stereo vision, soundness, stereo image processing, derivatives, Walsh functions, processing time, Walsh transformation, decision-making process, feature point detection
13	Mark Berman 0002	Automated Smoothing of Image and Other Regularly Spaced Data.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	high dimensional remote sensing imagery, generalized cross validation, thin plate smoothing spline, space domain approximations, image processing, remote sensing, Fourier transforms, Fourier transform, filtering and prediction theory, noise reduction, approximation theory, splines (mathematics), image smoothing
13	Stephen J. Andriole	Fast, Cheap Requirements: Prototype, or Else!	IEEE Softw.	1994	DBLP DOI BibTeX RDF	cheap requirements prototype, requirements modeling management, prototyping process, throwaway prototyping, exploratory prototyping, initial requirements, formal specification, specification, constraints, systems analysis, software prototyping, requirements modeling, requirements validation, interactive prototyping
13	Mei-Hsing Chen, Roland T. Chin	Partial Smoothing Splines for Noisy +Boundaries with Corners.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	partial smoothing splines, noisy boundaries, 2D boundary function estimation, sampled data sets, parametric function, cross-validation method, image processing, edge detection, smoothness, corner detection, discontinuities, splines (mathematics), boundary-value problems
13	Dolors Costal, Antoni Olivé	A Method for Reasoning About Deductive Conceptual Models of Information Systems.	CAiSE	1992	DBLP DOI BibTeX RDF	Deductive Conceptual Models, Plan Formation, Requirements Validation
13	Farhad S. Etessami, Gurdeep S. Hura 0001	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
13	Angelo Morzenti	Validating Real-Time Systems by Executing Logic Specifications.	REX Workshop	1991	DBLP DOI BibTeX RDF	real-time, formal specifications, temporal logic, first-order logic, software requirements, requirements validation, model-theoretic semantics
13	William E. Howden	Comments Analysis and Programming Errors.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	comments analysis, decomposition errors, data-processing program, avionics real-time program, event sequence analysis, software engineering, fault detection, software development process, software validation, programming errors
13	Raif O. Onvural, Harry G. Perros	Approximate Throughput Analysis of Cyclic Queueing Networks with Finite Buffers.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	approximate throughput analysis, cyclic queueing networks, blocking mechanisms, central server model, performance evaluation, computer networks, queueing theory, customers, finite buffers, approximation method, validation tests
13	Eric Schoen, Reid G. Smith, Bruce G. Buchanan	Design of Knowledge-Based Systems with a Knowledge-Based Assistant.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	knowledge-based assistant, problem domain, inference knowledge, encoded knowledge, initial domain model, user-interface, user interfaces, testing, object-oriented programming, knowledge-based systems, knowledge based systems, validation, programming environments, knowledge acquisition, knowledge acquisition, program verification, inference mechanisms, high level languages, intelligent assistant, object-oriented programming language
13	Lem O. Ejiogu	A unified theory of software metrics.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	classification of software complexity, feedback effects, ground space, software characteristics, well-structured, validation, size, tree structure, measure theory, structural complexity
13	Bernd E. Wolfinger, Max Mühlhäuser	Construction of a validated simulator for performance prediction of DECnet-based computer networks.	SIGMETRICS	1983	DBLP DOI BibTeX RDF	Computer network architectures, Protocol hierarchies, DECnet, Simulation, Performance evaluation, Validation, Communication protocols, Modeling systems
13	Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf	Validating The Utility Of Abstraction Techniques.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Abstraction and representation, Verification, Formal specification, Validation, Programming languages, Correctness, Types, Abstract data types, Encapsulation, Programming methodology, Proofs of correctness, Modular decomposition
11	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
11	Francesco Camastra, Maurizio Filippone	A comparative evaluation of nonlinear dynamics methods for time series prediction.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF
11	Jan-Helge Deutscher, Carsten Felden	Model Concept to Determine the Optimal Maturity of IT Service Management Processes.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
11	Mahesh Ketkar, Eli Chiprout	A microarchitecture-based framework for pre- and post-silicon power delivery analysis.	MICRO	2009	DBLP DOI BibTeX RDF
11	P. Subramanian, Jagonda Patil, Manish Kumar Saxena	FPGA prototyping of a multi-million gate System-on-Chip (SoC) design for wireless USB applications.	IWCMC	2009	DBLP DOI BibTeX RDF	ECMA-368, FPGA-physical implementation, FPGA-synthesis, SoC (system-on-chip), synthesis constraints, FPGA, ASIC (application specific integrated circuits), functional verification, clock gating
11	Giorgio Brajnik, Yeliz Yesilada, Simon Harper	Guideline aggregation: web accessibility evaluation for older users.	W4A	2009	DBLP DOI BibTeX RDF	web accessibility guideline, evaluation, older users
11	Yosr Naïja, Kaouthar Blibech Sinaoui	A novel measure for validating clustering results applied to road traffic.	KDD Workshop on Knowledge Discovery from Sensor Data	2009	DBLP DOI BibTeX RDF	external criteria, supervised measure, clustering, validity
11	Olivier Dubuisson, Jens Gustedt, Emmanuel Jeannot	Validating Wrekavoc: A tool for heterogeneity emulation.	IPDPS	2009	DBLP DOI BibTeX RDF
11	Jose L. Muñoz, Oscar Esparza, Carlos Gañán, Javier Parra-Arnau	PKIX Certificate Status in Hybrid MANETs.	WISTP	2009	DBLP DOI BibTeX RDF	Hybrid MANET, Certification, Risk, Public Key Infrastructure, Revocation
11	Pierrick Coupé, José V. Manjón, Elias Gedamu, Douglas L. Arnold, Montserrat Robles, D. Louis Collins	An Object-Based Method for Rician Noise Estimation in MR Images.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
11	Léon J. M. Rothkrantz, Pascal Wiggers	Multimodal Labeling.	TSD	2009	DBLP DOI BibTeX RDF
11	Idir Aït-Sadoune, Yamine Aït Ameur	A Proof Based Approach for Modelling and VerifyingWeb Services Compositions.	ICECCS	2009	DBLP DOI BibTeX RDF
11	Ana S. Fernandes, Ian H. Jarman, Terence A. Etchells, José Manuel Fonseca, Elia Biganzoli, Chris Bajdik, Paulo J. G. Lisboa	Missing Data Imputation in Longitudinal Cohort Studies: Application of PLANN-ARD in Breast Cancer Survival.	ICMLA	2008	DBLP DOI BibTeX RDF
11	Abdellah-Medjadji Kouadri-Mostefaoui, Benaoumeur Senouci, Frédéric Pétrot	Large Scale On-Chip Networks : An Accurate Multi-FPGA Emulation Platform.	DSD	2008	DBLP DOI BibTeX RDF
11	D. J. Kaup, Thomas L. Clarke, Rex Oleson, Linda C. Malone, Florian G. Jentsch	Introducing age-based parameters into simulations of crowd dymanics.	WSC	2008	DBLP DOI BibTeX RDF
11	Prawee Sriplakich, Guillaume Waignier, Anne-Françoise Le Meur	Enabling Dynamic Co-evolution of Models and Runtime Applications.	COMPSAC	2008	DBLP DOI BibTeX RDF
11	Francisco J. Mesa-Martinez, Michael Brown, Joseph Nayfach-Battilana, Jose Renau	Measuring power and temperature from real processors.	IPDPS	2008	DBLP DOI BibTeX RDF
11	Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, Jacob N. Smith	Property models: from incidental algorithms to reusable components.	GPCE	2008	DBLP DOI BibTeX RDF	user interfaces, software reuse, component software, declarative specifications, constraint systems
11	Ingo Glöckner	RAVE: A Fast Logic-Based Answer Validator.	CLEF	2008	DBLP DOI BibTeX RDF
11	Mingsong Chen, Prabhat Mishra 0001, Dhrubajyoti Kalita	Coverage-driven automatic test generation for uml activity diagrams.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	uml activity diagrams, test generation
11	Maud Marchal, Jérémie Allard, Christian Duriez, Stephane Cotin	Towards a Framework for Assessing Deformable Models in Medical Simulation.	ISBMS	2008	DBLP DOI BibTeX RDF
11	Gianluca Bontempi, Patrick E. Meyer 0001	A Model-Based Relevance Estimation Approach for Feature Selection in Microarray Datasets.	ICANN (2)	2008	DBLP DOI BibTeX RDF
11	Gianluca Bontempi	A Blocking Strategy to Improve Gene Selection for Classification of Gene Expression Data.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	data mining, machine learning, feature evaluation and selection, Bioinformatics (genome or protein) databases
11	Morris Matsa, Eric Perkins, Abraham Heifets, Margaret Gaitatzes Kostoulas, Daniel Silva 0001, Noah Mendelsohn, Michelle Leger	A high-performance interpretive approach to schema-directed parsing.	WWW	2007	DBLP DOI BibTeX RDF	XML, performance, compiler, interpreter, parsing, schema
11	Jun Gao 0003, Tengjiao Wang 0003, Dongqing Yang	MQTree Based Query Rewriting over Multiple XML Views.	DEXA	2007	DBLP DOI BibTeX RDF
11	Valentina Casola, Nicola Mazzocca, Jesus Luna, Oscar Manso, Manel Medina	Static evaluation of Certificate Policies for GRID PKIs interoperability.	ARES	2007	DBLP DOI BibTeX RDF
11	Terry Windeatt, Matthew Prior	Stopping Criteria for Ensemble-Based Feature Selection.	MCS	2007	DBLP DOI BibTeX RDF	RFE, feature selection, Multiple Classifiers, ECOC
11	Pierre Parrend, Stéphane Frénot	Supporting the Secure Deployment of OSGi Bundles.	WOWMOM	2007	DBLP DOI BibTeX RDF
11	Francesco Camastra, Maurizio Filippone	SVM-Based Time Series Prediction with Nonlinear Dynamics Methods.	KES (3)	2007	DBLP DOI BibTeX RDF
11	Paul F. Reynolds Jr., Michael Spiegel, Xinyu Liu, Ross Gore	Validating Evolving Simulations in COERCE.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF
11	Dimple Kaul, Arundhati Kogekar, Aniruddha S. Gokhale, Jeffrey G. Gray, Swapna S. Gokhale	POSAML: A Visual Modeling Framework for Middleware Provisioning.	HICSS	2007	DBLP DOI BibTeX RDF
11	Francisco J. Mesa-Martinez, Michael Brown, Joseph Nayfach-Battilana, Jose Renau	Measuring performance, power, and temperature from real processors.	Experimental Computer Science	2007	DBLP DOI BibTeX RDF	power and thermal measurements
11	Paulo J. G. Lisboa, Elia Biganzoli, Azzam F. Taktak, Terence A. Etchells, Ian H. Jarman, M. S. Hane Aung, Federico Ambrogi	Assessing flexible models and rule extraction from censored survival data.	IJCNN	2007	DBLP DOI BibTeX RDF
11	Moshe Y. Vardi	Formal Techniques for SystemC Verification; Position Paper.	DAC	2007	DBLP DOI BibTeX RDF
11	Marko Smiljanic, Maurice van Keulen, Willem Jonker	Effectiveness Bounds for Non-Exhaustive Schema Matching Systems.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
11	Cristina Satizábal, Rafael Páez, Jordi Forné	PKI Trust Relationships: from a Hybrid Architecture to a Hierarchical Model.	ARES	2006	DBLP DOI BibTeX RDF
11	Yui-Liang Chen, Yen-Yu Chen, Monica Shao	2005 accessibility diagnosis on the government web sites in Taiwan, R.O.C.	W4A	2006	DBLP DOI BibTeX RDF	accessible checkpoint, accessible examination, accessible examining system, accessible website, accessibility
11	Wei Zhang 0020, Robert A. van Engelen	TDX: a high-performance table-driven XML parser.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	LL(1) grammars, schema-specific parsing, web services, XML, high-performance computing
11	Yuan-Ting Zhang, X. Y. Xiang, Carmen C. Y. Poon	The Evaluation of Nodes of Body Sensor Networks: Wearable Blood Pressure Measuring Devices.	BSN	2006	DBLP DOI BibTeX RDF
11	Ralf H. Mayer	Estimating operational benefits of aircraft navigation and air traffic control procedures using an integrated aviation modeling and evaluation platform.	WSC	2006	DBLP DOI BibTeX RDF
11	Joseph Sifakis	WPDRTS keynote: component-based construction of embedded systems.	IPDPS	2006	DBLP DOI BibTeX RDF
11	Jong-Hoon Oh, Key-Sun Choi, Hitoshi Isahara	Improving Machine Transliteration Performance by Using Multiple Transliteration Models.	ICCPOL	2006	DBLP DOI BibTeX RDF
11	Gergely Mezei, Tihamer Levendovszky, Hassan Charaf	An optimizing OCL Compiler for Metamodeling and Model Transformation Environments.	SET	2006	DBLP DOI BibTeX RDF
11	Milen Kouylekov, Matteo Negri, Bernardo Magnini, Bonaventura Coppola	Towards Entailment-Based Question Answering: ITC-irst at CLEF 2006.	CLEF	2006	DBLP DOI BibTeX RDF
11	Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb	Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
11	Kristin P. Bennett, Jing Hu, Xiaoyun Ji, Gautam Kunapuli, Jong-Shi Pang	Model Selection via Bilevel Optimization.	IJCNN	2006	DBLP DOI BibTeX RDF
11	Paulo Vinicius Wolski Radtke, Tony Wong, Robert Sabourin	An Evaluation of Over-Fit Control Strategies for Multi-Objective Evolutionary Optimization.	IJCNN	2006	DBLP DOI BibTeX RDF
11	Alessandro Fantechi, Stefania Gnesi, Laura Semini	Achieving Fault Tolerance by a Formally Validated Interaction Policy.	RODIN Book	2006	DBLP DOI BibTeX RDF	Integrity policies, fault tolerance, model checking, process algebras
11	Sriram K. Rajamani	Automatic Property Checking for Software: Past, Present and Future.	SEFM	2006	DBLP DOI BibTeX RDF
11	Fola Soares, John J. Burken, Tshilidzi Marwala	Neural Network Applications in Advanced Aircraft Flight Control System, a Hybrid System, a Flight Test Demonstration.	ICONIP (3)	2006	DBLP DOI BibTeX RDF
11	Alban Rasse, Jean-Marc Perronne, Pierre-Alain Muller, Bernard Thirion	Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF