1
Published 2012
Table of Contents: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Experimentation Platform V-REP: A Versatile 3D Robot Simulator -- Evaluation and Enhancement of Common Simulation...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... File System for Cluster Grids -- Cooperative Write-Behind Data Buffering for MPI I/O -- Hint Controlled...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...
View full text
Electronic eBook
6
Published 2011
Table of Contents: ... and locality in genetic programming -- Evolution of an Effective Brain-Computer Interface Mouse via Genetic...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ...Network Congestion Control and Optimization -- A Jamming Game in Wireless Networks...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...Language Aspects -- An Evaluation Framework for Controlled Natural Languages -- Rhetorical...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... for Evaluation of Learning Technologies -- An Experimental Environment for Analyzing Collaborative Learning...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Middleware -- Component-Based Access Control: Secure Software Composition through Static Analysis -- Adding...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... -- Location-Based Software Modeling and Analysis: Tropos-Based Approach -- Risk Evaluation for Personal...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Adaptivity in User Interfaces -- Architecture Migration Driven by Code Categorization -- Effective Tool...
View full text
Electronic eBook
16
Table of Contents: ... and Web Controls -- ASP.NET 2.0 Web Applications -- Understanding XML Web Services -- Programming...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Control -- Timed Shuffle Expressions -- A New Modality for Almost Everywhere Properties in Timed Automata...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Methods and Tools - Modeling, Evaluation and Compilation -- Models and Algorithms for Hyperreconfigurable...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Control Parameters in Differential Evolution Algorithm -- A Novel Genetic Algorithm with Orthogonal...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ...-based Applications -- Empirical Evaluation of UML Modeling Tools- A Controlled Experiment -- Opening...
View full text
Electronic eBook