Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
specification programming » verification programming, identification programming, specification program
interface specification » service specification
programming programming » programming programmed, programming program
programming control » programming contract, programming contest, programming context
https » http
specification programming » verification programming, identification programming, specification program
interface specification » service specification
programming programming » programming programmed, programming program
programming control » programming contract, programming contest, programming context
https » http
1
Published 2012
Table of Contents:
“...: An Extensible Architecture for Composing Motion Controllers and Planners -- RobotML, a Domain-Specific Language...”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:
“... File System for Cluster Grids -- Cooperative Write-Behind Data Buffering for MPI I/O -- Hint Controlled...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Order Programming for Unordered Minds -- Software Engineering -- Compiling Formal Specifications to Oz...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Information Overload -- Multi-fidelity User Interface Specifications -- HOPS: A Prototypical Specification...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Interface for Semantic MediaWiki -- A Controlled Language for the Specification of Contracts -- Rabbit...”View full text
Electronic
eBook
8
by Mark, David., Mark, David., Topley, Kim., Nutting, Jack., Olsson, Fredrik., LAMARCHE, JEFF.
Published 2015
Table of Contents:
“.... More User Interface Fun -- 5. Rotation and Adaptive Layout -- 6. Multiview Applications -- 7. Tab Bars...”Published 2015
View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Interaction Specifications -- State Space Reduction Techniques for Component Interfaces -- Model Checking...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Barrier Control System -- Application of a Formal Specification Language in the Development of the “Mobile...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... -- Validating the Microsoft Hypervisor -- Formal Modelling of Systems -- Interface Input/Output Automata...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Identity Management Based on Privacy Attribute Ontology -- Process mgt and Design -- Beyond Control-Flow...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... and Petri Nets -- Specification of Role-Based Interactions Components in Multi-agent Systems -- The ANote...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... for Control Systems -- SVG Web Environment for Z Specification Language....”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Adaptivity in User Interfaces -- Architecture Migration Driven by Code Categorization -- Effective Tool...”View full text
Electronic
eBook
19
Table of Contents:
“... Providers -- Advanced User Interface -- Custom Server Controls -- Design-Time Support -- JavaScript...”
View full text
View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Interface Specifications -- Synthesis of Distributed Systems from Knowledge-Based Specifications....”View full text
Electronic
eBook