Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
specifications program » specifications property, specifications from, specifications proof
specification program » verification program, purification program, specification programming
problem computing » problems computing
https » http
specifications program » specifications property, specifications from, specifications proof
specification program » verification program, purification program, specification programming
problem computing » problems computing
https » http
1
Published 2006
Table of Contents:
“... for Migratory User Interfaces -- Solving the Mapping Problem in User Interface Design by Seamless Integration...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
5
6
Published 2007
Table of Contents:
“... Metadata Model for Domain-Specific Service Registry -- Section 7 - e-Applications -- Globalization from...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...Plenary Talk – I -- Taming the Dynamics of Disributed Data -- DISTRIBUTED COMPUTING -- Data in Your...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Surface Reconstruction -- Finite Sample Bias of Robust Scale Estimators in Computer Vision Problems...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... for Solving an NP-Complete Problem in Nondeterministic Linear Time -- Solutions to Computational Problems...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Exploratory Analysis of the Social Network of Researchers in Inductive Logic Programming -- Information Flow...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“...Extending the Strided Communication Interface in OpenSHMEM -- Exploring OpenSHMEM Model to Program...”View full text
Electronic
eBook
13
Subjects:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“...Language and Computation.-Characterizing speech genres through the relation between prosody...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
16
17
Published 2008
Table of Contents:
“... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... -- On the Use of Formal Specifications as Part of Running Programs -- Adaptive Replication of Large-Scale Multi...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Interface Specifications -- Synthesis of Distributed Systems from Knowledge-Based Specifications....”View full text
Electronic
eBook
20