Building the Information Society: IFIP 18th World Computer Congress Topical Sessions 22-27 August 2004 Toulouse, France - Softcover

Jacquart, Rene

Softcover

ISBN 10: 1475788932 ISBN 13: 9781475788938

Publisher: Springer, 2014

Synopsis

Semantic Integration of Heterogeneous Data.- Three Decades of Data Intecration - all Problems Solved?.- The PLIB Ontology-Based Approach to Data Integration.- The MOMIS Methodology for Integrating Heterogeneous Data Sources.- Building Scalable Mediator Systems.- Representation of Procedural Knowledge and its Use to Compute a Form of Subsumption.- Virtual Realities and New Entertainment.- Developing Re-Usable Interactive Storytelling Technologies.- Connecting the Real World and Virtual World through Gaming.- Positive Effects of Entertainment Technology on Human Behaviour.- Realization of Tai-Chi Motion Using a Humanoid Robot.- Storytelling for Recreating Our Selves: Zenetic Computer.- Interaction in a Sensitive House.- Fault Tolerance for Trustworthy and Dependable Information Infrastructures.- Dependable Systems of the Future: What is Still Needed?.- Dependability and Its Threats: A Taxonomy.- Current Research Activities on Dependable Computing and Other Dependability Issues in Japan.- The Evolution of Dependable Computing at the University of Illinois.- Wrapping the Future.- From the University of Illinois VIA JPL and UCLA to Vytautas Magnus University: 50 Years of Computer Engineering by Algirdas AviŽienis.- Airbus Fly-By-Wire: A Total Approach To Dependability.- Unique Dependability Issues for Commercial Airplane Fly by Wire Systems.- The Fault Hypothesis for The Time-Triggered Architecture.- Communications Dependability Evolution.- Intrusion Tolerance For Internet Applications.- Static Program Transformations for Efficient Software Model Checking.- Architectural Challenges for A Dependable Information Society.- Experimental Research in Dependable Computing at Carnegie Mellon University.- Systems Approach to Computing Dependability in and Out of Hitachi.- Abstract Interpretation.- Basic Concepts of Abstract Interpretation.- TVLA: A System for Generating Abstract Interpreters.- aiT: Worst-Case Execution Time Prediction by Static Program Analysis.- AstrÉe: 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 of Intelligent 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

Edition details

• Publisher: Springer
• Publication date: 2014
• Language: English
• ISBN 10: 1475788932
• ISBN 13: 9781475788938
• Binding: Paperback
• Number of pages: 784