1
Published 2008
Table of Contents: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ... for Robotics -- A Reuse-Oriented Development Process for Component-Based Robotic Systems -- UAV Simulation...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Care -- System Analysis and Methodologies for Design and Development -- Nurses’ Working Practices: What...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Usability Evaluation during Model-Based Interactive System Development -- Integrating Groupware Notations...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ...Speech, Natural Language and Auditory Interfaces -- Controlling Interaction in Multilingual...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... -- Figure of Merit Based Fitness Functions in Genetic Programming for Edge Detection -- An Evolutionary...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... Interaction Communication Requirements -- An Emotional Framework for a Real-Life Worker Simulation: Emotional...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... and Design -- Extending the MaSE Methodology for the Development of Embedded Real-Time Systems -- Measuring...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... for Improving the Learning of Computer Programming -- Technologies -- Modeling and Simulation of Continuous Time...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... in the Development and Evaluation of Immersive Digital Educational Games -- Evaluating the Motivational Value...
View full text
Electronic eBook
14
by Giese, Holger., Giese, Holger.
Published 2008
Table of Contents: ... Ways to Define Domain Specific Languages -- Model Driven Development of Advanced User Interfaces...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...
View full text
Electronic eBook
16
Published 2012
Table of Contents: ...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... for Aggregation Semantics of Relational Conditionals -- Developing of a Multimodal Interactive Training System...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ...-Based Software Development -- Software for Automotive Systems: Model-Integrated Computing -- Simulink...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ... -- Message-passing applications -- IMUDI, improving MPI user and developer interaction....
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... of Cultural sciences students in Florence -- Mathematical literacy as a condition for sustainable development...
View full text
Electronic eBook