Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
compositional program » composition programs, computational program, compositional problems
program https » programs https, program has, program help
method https » methods https
compositional program » composition programs, computational program, compositional problems
program https » programs https, program has, program help
method https » methods https
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 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
3
Published 2007
Table of Contents:
“... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Formal Methods -- Formal Modelling of Systems -- Compositional Binding in Network Domains -- Formal...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... on TSO Architectures -- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Method for Developing 3D User Interfaces of Information Systems -- GestAction3D: A Platform for Studying...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“...Invited Speakers -- Security Issues in Service Composition -- Separating Distribution from...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... Components, Changing Interfaces, Varying Compositions.- An Object Group-Based Component Model.- Automated...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Methodologies -- MASUP: An Agent-Oriented Modeling Process for Information Systems -- Composition of a New...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Optimization Using a Steady-State Approach -- Genetic Algorithm Based Methods for Identification of Health Risk...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“...Compilation of Legacy Languages in the 21st Century -- Variation Programming with the Choice...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Description of Pitch-Based Input -- Posters -- Application Composition Driven by UI Composition -- Methods...”View full text
Electronic
eBook
20
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