Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
specification programming » verification programming, identification programming, specification program
interface specification » service specification
https » http
specification programming » verification programming, identification programming, specification program
interface specification » service specification
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 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Metadata Model for Domain-Specific Service Registry -- Section 7 - e-Applications -- Globalization from...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...Plenary Talk – I -- Taming the Dynamics of Disributed Data -- DISTRIBUTED COMPUTING -- Data in Your...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... -- Exploratory Analysis of the Social Network of Researchers in Inductive Logic Programming -- Information Flow...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... for Solving an NP-Complete Problem in Nondeterministic Linear Time -- Solutions to Computational Problems...”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 2005
Table of Contents:
“... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”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 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
12
13
Published 2014
Table of Contents:
“...Language and Computation.-Characterizing speech genres through the relation between prosody...”View full text
Electronic
eBook
14
Subjects:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
15
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
16
Table of Contents:
“... bands in systems structure -- Human Components -- Procedures, programs and their impact on dependability...”
View full text
View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“...Keynote Presentations -- The Importance of Both Diagrammatic Conventions and Domain-Specific...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“...Extending the Strided Communication Interface in OpenSHMEM -- Exploring OpenSHMEM Model to Program...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“...Part I Introduction -- Programming Interfaces for the TPM -- Part II Application-Use cases...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... for Whole Programs in Scratchpad Memory Allocation -- Evolution of NAND Flash Memory Interface -- FCC-SDP: A...”View full text
Electronic
eBook