1
Published 2015
Table of Contents: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Patterns -- Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... of Embedded Software – Impact of ISO DIS 26262 in the Automotive Domain -- Enforcing Applicability of Real...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... and Evolutionary Refinement -- Aesthetic Learning in an Interactive Evolutionary Art System -- Comparing Aesthetic...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Networks -- Intelligent Computing for Image Analysis (II) -- Comparative Studies of Parallel and Vertical...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Session 1: Novel Applications and Communication Protocols for Wireless Networks (Chair: Paolo...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... -- An Integrated Method for GML Application Schema Match -- Application of Classification Methods for Forecasting...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... Effector Proteins in Nicotiana benthamiana Leaves -- Proteomic Techniques for Plant-Fungal Interactions...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... and Parallelization to Improve the Application of the APH Hamiltonian in Reactive Scattering.- Multi Reference versus...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... in Embedded Systems: A Comparative Study -- Session: State/Event-Based Verification -- State/Event Software...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Application of Geometric Semantics to Static Analysis of Concurrent Programs -- Verification of Qualitative...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... Applications -- Comparing Close Destination and Route-based Similarity Metrics for the Analysis of Map User...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Coordination of Process-Oriented Composite Applications -- Integrating Process Learning and Process Evolution...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... and IPv6 Network -- An Efficient Multicast Hybrid Routing Protocol for MANETs -- Applications of Graph...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... and Presence Protocols -- An Approach towards Time Synchronization Based Secure Protocol for Wireless Sensor...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Applications -- Generated Implementation of a WLAN Protocol Stack -- A New Address Mapping Scheme for High...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Language -- Hermes: Designing Goal-Oriented Agent Interactions -- Modeling Social Aspects of Multi-Agent...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Measures: Application in Spatial OLAP -- Hybrid Index for Spatio-temporal OLAP Operations -- Managing...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...
View full text
Electronic eBook