Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive validation » iterative validation, interactive animation, interactive evaluation
programming constructs » programming concepts, programming contest
framework programming » framework programme, network programming
validation framework » evaluation framework, application framework, allocation framework
constructs https » construction https, constructs loops, constructs arti
interactive validation » iterative validation, interactive animation, interactive evaluation
programming constructs » programming concepts, programming contest
framework programming » framework programme, network programming
validation framework » evaluation framework, application framework, allocation framework
constructs https » construction https, constructs loops, constructs arti
1
Published 2010
Table of Contents:
“... Theory -- The Isabelle Collections Framework -- Interactive Termination Proofs Using Termination Cores...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... for Metabolic Flux Analysis: Data Integration and Human Interaction -- Intelligent Document Routing as a First...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... in a Federated Data Warehouses -- Empirical Validation of Metrics for UML Statechart Diagrams -- ERP...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Framework Validation Using Domain Models -- Prototyping Visual Interpreters and Debuggers for Domain...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... of the Dynamical Behavior of Three-Wheeled Omni-directional Robots -- Intuitive Plan Construction and Adaptive Plan...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“...Invited Papers -- The Disappearing Computer: User-Centered Interaction Design for Smart Artefacts...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... to Investigate Interaction Effects Between Higher Order Branding Constructs -- TUTORIALS -- How to Write Up...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Simulation Framework -- Cooperative Validation in Distributed Control Systems Design -- A Two-Level...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Digital Libraries with the 5S Framework: An Archaeological Case Study with ETANA -- On the Effective...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... and Validation of Web Services Interaction Properties -- Using Test Cases as Contract to Ensure Service...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Optimization -- Constructing a Product Design for the Environment Process -- Dependability Considerations...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... and Implementation of Distributed Control Systems -- An Interoperability Framework and Capability Profiling...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Agents -- Using Semantic Causality Graphs to Validate MAS Models -- A Multiagent Framework to Animate...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...: Multidimensional Scaling vs. Semidefinite Programming Approach -- On the Complexity of the Greedy Construction...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... of Standard Process Models with OR-Joins -- Pattern-Based Design and Validation of Business Process Compliance...”View full text
Electronic
eBook