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