E-Book, Englisch, Band 156, 761 Seiten, eBook
Reihe: IFIP International Federation for Information Processing
Jacquart Building the Information Society
Erscheinungsjahr 2008
ISBN: 978-1-4020-8157-6
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
IFIP 18th World Computer Congress Topical Sessions 22–27 August 2004 Toulouse, France
E-Book, Englisch, Band 156, 761 Seiten, eBook
Reihe: IFIP International Federation for Information Processing
ISBN: 978-1-4020-8157-6
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.- AbstractInterpretation.- 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 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.