Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
compositive programming » copositive programming, comparative programming, cooperative programming
interface compositive » interface composition, interface cognitive, interface composing
programming control » programming contract, programming contest, programming context
https » http
programming programming » programming programmed, programming program
compositive programming » copositive programming, comparative programming, cooperative programming
interface compositive » interface composition, interface cognitive, interface composing
programming control » programming contract, programming contest, programming context
https » http
1
Published 2006
Table of Contents:
“... with Temporal Logic -- Service Composition with Directories -- Modeling Composition in Dynamic Programming...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Middleware -- Component-Based Access Control: Secure Software Composition through Static Analysis -- Adding...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...A Bibliography of Willem-Paul de Roever -- Playing Savitch and Cooking Games -- Compositionality...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... for MPI Programs -- Ensemble-2: Dynamic Composition of MPMD Programs -- New User-Guided and ckpt-Based...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”View full text
Electronic
eBook
6
Table of Contents:
“..., Aggregation and Composition -- Inheritance, Polymorphism and Interfaces -- Exception handling -- Unit Testing...”
View full text
View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Compositions for Controlled Natural Languages -- Anaphora Resolution Involving Interactive Knowledge...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Approach for Composition of Real-Time Embedded Software Stacks -- Bridging the Semantic Gap between...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Control from Data: User Interfaces of MIDP Applications -- Extending Operational Semantics of the Java...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... -- Validating the Microsoft Hypervisor -- Formal Modelling of Systems -- Interface Input/Output Automata...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... and Optimizing Graphical User Interfaces for Semantic Service Compositions -- REMM-Studio?+?: Modeling...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Methodologies -- MASUP: An Agent-Oriented Modeling Process for Information Systems -- Composition of a New...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”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 2005
Table of Contents:
“... of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Control Parameters in Differential Evolution Algorithm -- A Novel Genetic Algorithm with Orthogonal...”View full text
Electronic
eBook
20
Table of Contents:
“... Approach for Automatic Model Composition -- MATA: A Tool for Aspect-Oriented Modeling Based on Graph...”
View full text
View full text
Electronic
eBook