Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interface specifications » interface specification, service specifications, interface applications
specifications program » specification program, specifications property, specifications from
program programs » program program, programs program, program progress
computers https » computing https, computers gtt, computers help
computer https » computing https, computer arts, computer hosts
interface specifications » interface specification, service specifications, interface applications
specifications program » specification program, specifications property, specifications from
program programs » program program, programs program, program progress
computers https » computing https, computers gtt, computers help
computer https » computing https, computer arts, computer hosts
1
Published 2014
Table of Contents:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”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:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... -- From Authorization Logics to Types for Authorization -- Interface Types for Haskell -- Exception...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... User -- Programs and Predicates -- Validity Invariants and Effects -- Non-null References by Default...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... Programs -- Formal Specification as High-Level Programming: The ASSL Approach -- Atomicity in Real-time...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Probes -- Computer and Communications Networks -- Natural Language Specification of Performance Trees...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Revisited -- Navigation and Tracking -- Specification and Verification of Complex Location Events...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Features -- The Drawing Carousel: A Pair Programming Experience -- Agile Development with Domain Specific...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Approach to Regular Sets -- Models, Deduction, and Computation -- Elementary Algebraic Specifications...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“...Invited Talks -- Formal Specifications on Industrial-Strength Code—From Myth to Reality -- I Think...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Metadata Model for Domain-Specific Service Registry -- Section 7 - e-Applications -- Globalization from...”View full text
Electronic
eBook