Building the Information Society

Verification of Absence of Runtime Error.- Industrial Experience of Abstract Interpretation-Based Static Analyzers.- Multimodal Interaction.- Design Space for Multimodal Interaction.- Software Design and Development of Mutimodal Interaction.- A Generic Formal Specification of Fusion of Modalities in a Multimodal Hci.- Multimomodality and Multi-Platform Interactive Systems.- Multimodality and Context-Aware Adaptation.- Towards Multimodal Web Interaction.- Computer Aided Inventing.- Towards "Inventiveness-Oriented" Cai Tools.- Exploring the Inclusion of Design Factors in Computer Aided Inventing.- State-of-the-Art and Trends of Computer-Aided Innovation Tools.- Computer Aided Comprehensive Design for Six Sigma (DFSS) and Axiomatic Design (AD).- TRIZ and Computer Aided Inventing.- Optimization VS Innovation in a Cae Environment.- Emerging tools and Techniques for Avionics Certification.- Formal Proof and Test Case Generation for Critical Embedded Systems Using Scade.- Safety Assessment with Altarica.- Improving Certification Capability through Automatic Code Generation.- Early Validation of Requirements.- Proof of Properties in Avionics.- The Convergence of Bio-Info-Nano-Technologies.- The Convergence of Bio-Info-Nano-Technologies.- E-Learning.- Running an E-Learning Project: Technology, Expertise, Pedagogy.- Learning Objects Interoperability: The Ariagne Experience.- An E-Learning Version of the French Higher Education Curriculum "Computer Methods for the Companies Management".- Perspectives on Ambient Intelligence.- Perspectives on Computing for Service Providers ofIntelligent Environments.- Global Governance of the Technological Revolution.- e-Health - Making Healthcare Better for European Citizens: Challenges and Expectations.- Intelligent Ethics.- TRain: The Railway Domain - A Grand Challenge.- The TRain Topical Day - A Foreword.- TRain: The Railway Domain.- Reusing Formal Models.- a Refinement Based Approach to Calculating a Fault-Tolerant Railway Signal Device.- From Railway Resource Planning to Train Operation.- Integrated Formal Methods for Safety Analysis of Train Systems.- Stochastic Train Domain Theory Framework.- CyberRail.- Towards a Formal Model of Cyberrail.- Open-Source Software in Dependable Systems.- Open Source Software in Critical Systems.- Trusting Strangers.- An Interdisciplinary Perspective of Dependability in Open Source Software.- Is Academic Open Source Software Dependable?.- Open Source in Dependable Systems: Current and Future Business Models.- An Open-Source VHDL IP Library with Plug&Play Configuration.- Linux: A Multi-Purpose Executive Support for Civil Avionics Applications?.- A Journey Towards an OSS-Aware Organization.- Interdependencies of Critical Infrastructures.- Interdependencies of Critical Infrastructures.- Social Robots: Challenges for Machine Intelligence.- Social Robots: Challenges for Machine Intelligence.- Development of Humanoids and New Business Structure.- Towards Robot Companions.- Roles of Robots in Human Society: Challenges and Case Studies.- Human-Like Motion from Physiologically-Based Potential Field.- A Dialog Based Interactive Robot.- Tracking Humans.- Learning and Cooperative Multimodal Humanoid Robots.- From Geometric to Cognitive Maps - A Key Element for Personal Robots.- Centibots: Very Large Scale Distributed Robotic Teams.