Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive validation » iterative validation, interactive animation, interactive evaluation
validation proceedings » variation proceedings, evaluation proceedings, radiation proceedings
proceedings programs » proceedings program, processing programs, procedures programs
programs based » programs case, programming based
based https » based http
interactive validation » iterative validation, interactive animation, interactive evaluation
validation proceedings » variation proceedings, evaluation proceedings, radiation proceedings
proceedings programs » proceedings program, processing programs, procedures programs
programs based » programs case, programming based
based https » based http
1
Published 2010
Table of Contents:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Algorithm to Rank State-Based Test Cases -- Validating Code-Level Behavior of Dynamic Adaptive Systems...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Robots -- Programming -- A Software Platform for Component Based RT-System Development: OpenRTM-Aist -- A...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Multiprocessor Robotic Systems -- Robot Programming by Demonstration -- Design Principles of the Component-Based...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... -- On Validity of Program Transformations in the Java Memory Model -- Safe Cross-Language Inheritance -- Session...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... engineering education -- Knowledge technologies for semantic web and ontology engineering -- Knowledge-based...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...: Validation tool based on meta-programming -- Hardware Implementation of Parallel SOARS using FPGA based...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... and Transactions for Partial Order Reduction of Rule Based Specifications -- Partial-Order Reduction for General...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... of Emotional Commercials -- A Proposed Theoretical Model for Dyadic Marketing -- Bases for the Formation...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“...Invited Talk -- The Embedded Systems Design Challenge -- Interactive Verification -- The Mondex...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“...Model checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... with Specifications -- Specification and Verification of Atomic Operations in GPGPU Programs -- History-based...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook