Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
proceedings program » proceedings from
methods proceedings » metabolism proceedings
interface methods » internal methods, interval methods, interference methods
program section » program execution, program collection, program security
section https » sedation https, fiction https, infection https
proceedings program » proceedings from
methods proceedings » metabolism proceedings
interface methods » internal methods, interval methods, interference methods
program section » program execution, program collection, program security
section https » sedation https, fiction https, infection https
1
Published 2008
Table of Contents:
“... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...Session 1. Invited Talks -- Aspects and Formal Methods -- Getting Formal Verification into Design...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...”View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“...Simulation -- Modeling -- Programming -- Architectures -- Methods and Tools -- Systems...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface -- Analysis of Real-Time...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... Protocol in the Timed OTS/CafeOBJ Method.- Formal Specification and Verification of Task Time Constraints...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Epistemic Interface Design -- Enhancing State-Space Tree Diagrams for Collaborative Problem Solving...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Programs -- Just-in-Time Knowledge for Effective Hybrid Learning -- Hybrid Education -- Critical Review...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“...On The Move Academy -- Industry Case Studies Program -- Adaptive Case Management and other non...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... -- Computer-Aided Method Engineering: An Analysis of Existing Environments -- Adapting Secure Tropos...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... -- Recommendation Based Process Modeling Support: Method and User Experience -- On the Formal Semantics of Change...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Method for Datalog Knowledge Bases -- LAREDAM – Considerations on System of Local Analytical Reports from...”View full text
Electronic
eBook
19
Published 2012
Table of Contents:
“... -- Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms -- Learning...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Influential News Items -- Methods for Automated High-Throughput Toxicity Testing Using Zebrafish Embryos...”View full text
Electronic
eBook