Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interface verification » interface specification, inference verification, interactive verification
verification program » verification problems, verification process, verification proving
process computer » processes computer, processing computer, problems computer
program process » program progress, programs processes, program processing
computer https » computers https, computing https, computer arts
interface verification » interface specification, inference verification, interactive verification
verification program » verification problems, verification process, verification proving
process computer » processes computer, processing computer, problems computer
program process » program progress, programs processes, program processing
computer https » computers https, computing https, computer arts
1
Published 2007
Table of Contents:
“... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...”View full text
Electronic
eBook
5
Table of Contents:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
View full text
View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“... the Verification of Adaptable Processes.- Runtime Verification: The Application Perspective.- What Does AI Have...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“...Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Verification of Hybrid Programs -- Challenges and Issues of Supporting Task Parallelism in MPI....”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...Research Papers -- Modeling and Analysis of Mobile Service Processes by Example of the Housing...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Human Motion Reconstruction Using Video Processing -- New Interfaces -- Personal Recognition Using...”View full text
Electronic
eBook
14
Table of Contents:
“...IP Meta-Models for SoC Assembly and HW/SW Interfaces -- Functional Models -- Testbench Models...”
View full text
View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Reasoning in Memory Hierarchies -- The Complexity of Coverage -- Game Characterizations of Process...”View full text
Electronic
eBook
17
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... -- Software Verification Process Improvement Proposal Using Six Sigma -- Software Development Improvement...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Verification in Polar Frequency Domain: A Biologically Motivated Approach -- Face Alignment and Adaptive Weight...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Portable Immersive Environment -- A Fiducial-Based Tangible User Interface for White Matter Tractography...”View full text
Electronic
eBook