Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
compositional programs » compositional program, composition programs, compositional problems
method https » methods https
compositional programs » compositional program, composition programs, compositional problems
method https » methods https
1
Publicat 2006
Taula de continguts:
“... with Temporal Logic -- Service Composition with Directories -- Modeling Composition in Dynamic Programming...”Obtenir text complet
Electrònic
eBook
2
Publicat 2005
Taula de continguts:
“... for MPI Programs -- Ensemble-2: Dynamic Composition of MPMD Programs -- New User-Guided and ckpt-Based...”Obtenir text complet
Electrònic
eBook
3
Publicat 2007
Taula de continguts:
“... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...”Obtenir text complet
Electrònic
eBook
4
Publicat 2006
Taula de continguts:
“... Formal Methods -- Formal Modelling of Systems -- Compositional Binding in Network Domains -- Formal...”Obtenir text complet
Electrònic
eBook
5
Publicat 2005
Taula de continguts:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”Obtenir text complet
Electrònic
eBook
6
Publicat 2006
Taula de continguts:
“... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”Obtenir text complet
Electrònic
eBook
7
Publicat 2014
Taula de continguts:
“... on TSO Architectures -- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset...”Obtenir text complet
Electrònic
eBook
8
Publicat 2014
Taula de continguts:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”Obtenir text complet
Electrònic
eBook
9
Publicat 2007
Taula de continguts:
“... Method for Developing 3D User Interfaces of Information Systems -- GestAction3D: A Platform for Studying...”Obtenir text complet
Electrònic
eBook
10
Publicat 2006
Taula de continguts:
“...Invited Speakers -- Security Issues in Service Composition -- Separating Distribution from...”Obtenir text complet
Electrònic
eBook
11
Publicat 2005
Taula de continguts:
“... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...”Obtenir text complet
Electrònic
eBook
12
Publicat 2012
Taula de continguts:
“... Components, Changing Interfaces, Varying Compositions.- An Object Group-Based Component Model.- Automated...”Obtenir text complet
Electrònic
eBook
13
Publicat 2010
Taula de continguts:
“... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”Obtenir text complet
Electrònic
eBook
14
Publicat 2014
Taula de continguts:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”Obtenir text complet
Electrònic
eBook
15
Publicat 2005
Taula de continguts:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”Obtenir text complet
Electrònic
eBook
16
Publicat 2005
Taula de continguts:
“... Methodologies -- MASUP: An Agent-Oriented Modeling Process for Information Systems -- Composition of a New...”Obtenir text complet
Electrònic
eBook
17
Publicat 2008
Taula de continguts:
“... Optimization Using a Steady-State Approach -- Genetic Algorithm Based Methods for Identification of Health Risk...”Obtenir text complet
Electrònic
eBook
18
Publicat 2007
Taula de continguts:
“... Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications...”Obtenir text complet
Electrònic
eBook
19
Publicat 2013
Taula de continguts:
“...Compilation of Legacy Languages in the 21st Century -- Variation Programming with the Choice...”Obtenir text complet
Electrònic
eBook
20
Publicat 2010
Taula de continguts:
“... Description of Pitch-Based Input -- Posters -- Application Composition Driven by UI Composition -- Methods...”Obtenir text complet
Electrònic
eBook