Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program composition » process composition, protein composition, proximate composition
processing program » processing programs, processing programmed, proceedings program
method processing » metal processing, method process, methods preprocessing
composition https » computation https, composition haptics, cognition https
interface method » interface methods, interphase method, interval method
program composition » process composition, protein composition, proximate composition
processing program » processing programs, processing programmed, proceedings program
method processing » metal processing, method process, methods preprocessing
composition https » computation https, composition haptics, cognition https
interface method » interface methods, interphase method, interval method
1
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
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 2005
Table of Contents:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”View full text
Electronic
eBook
6
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
7
Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM...
Published 2006
Table of Contents:
“... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...”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 2006
Table of Contents:
“... and Method for Incremental Revelation of Software Interfaces for Ad Hoc Interaction -- Towards P2P-Based...”View full text
Electronic
eBook
10
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
11
Published 2006
Table of Contents:
“... Composition -- Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation -- Temporal...”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 2010
Table of Contents:
“...Multimedia Analysis and Retrieval -- Composition Based Semantic Scene Retrieval for Ancient Murals...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... for Lexical Normalization -- A Framework for Integrating Natural Language Tools -- Methods and Tools...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“..., LCBB and kp Methods -- Analysis of Silicon Dioxide Interface Transition Region in MOS Structures...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Methodologies -- MASUP: An Agent-Oriented Modeling Process for Information Systems -- Composition of a New...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... -- MADE: A Composite Visual-Based 3D Shape Descriptor -- Research of 3D Chinese Calligraphic Handwriting...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... visual interfaces -- Performance Comparison of Two Identification Methods for Analysis of Head Related...”View full text
Electronic
eBook