1
出版 2005
書本目錄: ... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...
獲取全文
電子 電子書
2
出版 2005
書本目錄: ... for MPI Programs -- Ensemble-2: Dynamic Composition of MPMD Programs -- New User-Guided and ckpt-Based...
獲取全文
電子 電子書
3
出版 2007
書本目錄: ... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...
獲取全文
電子 電子書
4
出版 2005
書本目錄: ...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...
獲取全文
電子 電子書
5
出版 2006
書本目錄: ... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...
獲取全文
電子 電子書
6
出版 2014
書本目錄: ... on TSO Architectures -- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset...
獲取全文
電子 電子書
7
出版 2014
書本目錄: ... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...
獲取全文
電子 電子書
8
出版 2006
書本目錄: ... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...
獲取全文
電子 電子書
9
出版 2006
書本目錄: ... and Method for Incremental Revelation of Software Interfaces for Ad Hoc Interaction -- Towards P2P-Based...
獲取全文
電子 電子書
10
出版 2005
書本目錄: ... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...
獲取全文
電子 電子書
11
出版 2006
書本目錄: ... Composition -- Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation -- Temporal...
獲取全文
電子 電子書
12
出版 2012
書本目錄: ... Components, Changing Interfaces, Varying Compositions.- An Object Group-Based Component Model.- Automated...
獲取全文
電子 電子書
13
出版 2010
書本目錄: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
獲取全文
電子 電子書
14
出版 2010
書本目錄: ...Multimedia Analysis and Retrieval -- Composition Based Semantic Scene Retrieval for Ancient Murals...
獲取全文
電子 電子書
15
出版 2006
書本目錄: ... for Lexical Normalization -- A Framework for Integrating Natural Language Tools -- Methods and Tools...
獲取全文
電子 電子書
16
出版 2007
書本目錄: ..., LCBB and kp Methods -- Analysis of Silicon Dioxide Interface Transition Region in MOS Structures...
獲取全文
電子 電子書
17
出版 2006
書本目錄: ... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...
獲取全文
電子 電子書
18
出版 2005
書本目錄: ... Methodologies -- MASUP: An Agent-Oriented Modeling Process for Information Systems -- Composition of a New...
獲取全文
電子 電子書
19
出版 2007
書本目錄: ... -- MADE: A Composite Visual-Based 3D Shape Descriptor -- Research of 3D Chinese Calligraphic Handwriting...
獲取全文
電子 電子書
20
出版 2006
書本目錄: ... visual interfaces -- Performance Comparison of Two Identification Methods for Analysis of Head Related...
獲取全文
電子 電子書