Ebook: Building the Information Society: IFIP 18th World Computer Congress Topical Sessions 22–27 August 2004 Toulouse, France
- Tags: Performance and Reliability
- Series: IFIP International Federation for Information Processing 156
- Year: 2004
- Publisher: Springer US
- Edition: 1
- Language: English
- pdf
In the context of the 18th IFIP World Computer Congress (WCC’04), and beside the traditional organization of conferences, workshops, tutorials and student forum, it was decided to identify a range of topics of dramatic interest for the building of the Information Society. This has been featured as the "Topical day/session" track of the WCC’04. Topical Sessions have been selected in order to present syntheses, latest developments and/or challenges in different business and technical areas.
Building the Information Society provides a deep perspective on domains including: the semantic integration of heterogeneous data, virtual realities and new entertainment, fault tolerance for trustworthy and dependable information infrastructures, abstract interpretation (and its use for verification of program properties), multimodal interaction, computer aided inventing, emerging tools and techniques for avionics certification, bio-, nano-, and information technologies, E-learning, perspectives on ambient intelligence, the grand challenge of building a theory of the Railway domain, open source software in dependable systems, interdependencies of critical infrastructure, social robots, as a challenge for machine intelligence.
Building the Information Society comprises the articles produced in support of the Topical Sessions during the IFIP 18th World Computer Congress, which was held in August 2004 in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).
In the context of the 18th IFIP World Computer Congress (WCC’04), and beside the traditional organization of conferences, workshops, tutorials and student forum, it was decided to identify a range of topics of dramatic interest for the building of the Information Society. This has been featured as the "Topical day/session" track of the WCC’04. Topical Sessions have been selected in order to present syntheses, latest developments and/or challenges in different business and technical areas.
Building the Information Society provides a deep perspective on domains including: the semantic integration of heterogeneous data, virtual realities and new entertainment, fault tolerance for trustworthy and dependable information infrastructures, abstract interpretation (and its use for verification of program properties), multimodal interaction, computer aided inventing, emerging tools and techniques for avionics certification, bio-, nano-, and information technologies, E-learning, perspectives on ambient intelligence, the grand challenge of building a theory of the Railway domain, open source software in dependable systems, interdependencies of critical infrastructure, social robots, as a challenge for machine intelligence.
Building the Information Society comprises the articles produced in support of the Topical Sessions during the IFIP 18th World Computer Congress, which was held in August 2004 in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).
In the context of the 18th IFIP World Computer Congress (WCC’04), and beside the traditional organization of conferences, workshops, tutorials and student forum, it was decided to identify a range of topics of dramatic interest for the building of the Information Society. This has been featured as the "Topical day/session" track of the WCC’04. Topical Sessions have been selected in order to present syntheses, latest developments and/or challenges in different business and technical areas.
Building the Information Society provides a deep perspective on domains including: the semantic integration of heterogeneous data, virtual realities and new entertainment, fault tolerance for trustworthy and dependable information infrastructures, abstract interpretation (and its use for verification of program properties), multimodal interaction, computer aided inventing, emerging tools and techniques for avionics certification, bio-, nano-, and information technologies, E-learning, perspectives on ambient intelligence, the grand challenge of building a theory of the Railway domain, open source software in dependable systems, interdependencies of critical infrastructure, social robots, as a challenge for machine intelligence.
Building the Information Society comprises the articles produced in support of the Topical Sessions during the IFIP 18th World Computer Congress, which was held in August 2004 in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).
Content:
Front Matter....Pages i-xviii
Front Matter....Pages 1-1
Three Decades of Data Intecration — all Problems Solved?....Pages 3-12
The PLIB Ontology-Based Approach to Data Integration....Pages 13-18
The MOMIS Methodology for Integrating Heterogeneous Data Sources....Pages 19-24
Building Scalable Mediator Systems....Pages 25-30
Representation of Procedural Knowledge and its Use to Compute a Form of Subsumption....Pages 31-36
Front Matter....Pages 37-37
Developing Re-Usable Interactive Storytelling Technologies....Pages 39-44
Connecting the Real World and Virtual World through Gaming....Pages 45-50
Positive Effects of Entertainment Technology on Human Behaviour....Pages 51-58
Realization of Tai-Chi Motion Using a Humanoid Robot....Pages 59-64
Storytelling for Recreating Our Selves: Zenetic Computer....Pages 65-70
Interaction in a Sensitive House....Pages 71-76
Front Matter....Pages 77-77
Dependable Systems of the Future: What is Still Needed?....Pages 79-90
Dependability and Its Threats: A Taxonomy....Pages 91-120
Current Research Activities on Dependable Computing and Other Dependability Issues in Japan....Pages 121-134
The Evolution of Dependable Computing at the University of Illinois....Pages 135-164
Wrapping the Future....Pages 165-173
From the University of Illinois VIA JPL and UCLA to Vytautas Magnus University: 50 Years of Computer Engineering by Algirdas Avi?ienis....Pages 175-189
Airbus Fly-By-Wire: A Total Approach To Dependability....Pages 191-212
Unique Dependability Issues for Commercial Airplane Fly by Wire Systems....Pages 213-220
The Fault Hypothesis for The Time-Triggered Architecture....Pages 221-233
Front Matter....Pages 77-77
Communications Dependability Evolution....Pages 234-240
Intrusion Tolerance For Internet Applications....Pages 241-256
Static Program Transformations for Efficient Software Model Checking....Pages 257-281
Architectural Challenges for A Dependable Information Society....Pages 282-304
Experimental Research in Dependable Computing at Carnegie Mellon University....Pages 305-328
Systems Approach to Computing Dependability in and Out of Hitachi....Pages 329-356
Front Matter....Pages 357-357
Basic Concepts of Abstract Interpretation....Pages 359-366
TVLA: A System for Generating Abstract Interpreters....Pages 367-375
aiT: Worst-Case Execution Time Prediction by Static Program Analysis....Pages 377-383
Astr?e: Verification of Absence of Runtime Error....Pages 385-392
Industrial Experience of Abstract Interpretation-Based Static Analyzers....Pages 393-400
Front Matter....Pages 401-401
Design Space for Multimodal Interaction....Pages 403-408
Software Design and Development of Mutimodal Interaction....Pages 409-414
A Generic Formal Specification of Fusion of Modalities in a Multimodal Hci....Pages 415-420
Multimomodality and Multi-Platform Interactive Systems....Pages 421-426
Multimodality and Context-Aware Adaptation....Pages 427-432
Towards Multimodal Web Interaction....Pages 433-438
Front Matter....Pages 439-439
Towards “Inventiveness-Oriented” Cai Tools....Pages 441-452
Exploring the Inclusion of Design Factors in Computer Aided Inventing....Pages 453-459
State-of-the-Art and Trends of Computer-Aided Innovation Tools....Pages 461-470
Front Matter....Pages 439-439
Computer Aided Comprehensive Design for Six Sigma (DFSS) and Axiomatic Design (AD)....Pages 471-474
TRIZ and Computer Aided Inventing....Pages 475-485
Optimization VS Innovation in a Cae Environment....Pages 487-495
Front Matter....Pages 497-497
Formal Proof and Test Case Generation for Critical Embedded Systems Using Scade....Pages 499-504
Safety Assessment with Altarica....Pages 505-510
Improving Certification Capability through Automatic Code Generation....Pages 511-520
Early Validation of Requirements....Pages 521-526
Proof of Properties in Avionics....Pages 527-535
The Convergence of Bio-Info-Nano-Technologies....Pages 537-537
Front Matter....Pages 539-539
Running an E-Learning Project: Technology, Expertise, Pedagogy....Pages 541-550
Learning Objects Interoperability: The Ariagne Experience....Pages 551-556
An E-Learning Version of the French Higher Education Curriculum “Computer Methods for the Companies Management”....Pages 557-572
Front Matter....Pages 573-573
Perspectives on Computing for Service Providers of Intelligent Environments....Pages 575-583
Global Governance of the Technological Revolution....Pages 585-592
e-Health — Making Healthcare Better for European Citizens: Challenges and Expectations....Pages 593-595
Intelligent Ethics....Pages 597-602
Front Matter....Pages 603-603
The TRain Topical Day — A Foreword....Pages 605-606
TRain: The Railway Domain....Pages 607-611
Reusing Formal Models....Pages 613-619
a Refinement Based Approach to Calculating a Fault-Tolerant Railway Signal Device....Pages 621-627
Front Matter....Pages 603-603
From Railway Resource Planning to Train Operation....Pages 629-636
Integrated Formal Methods for Safety Analysis of Train Systems....Pages 637-642
Stochastic Train Domain Theory Framework....Pages 643-649
CyberRail....Pages 651-655
Towards a Formal Model of Cyberrail....Pages 657-664
Front Matter....Pages 665-665
Open Source Software in Critical Systems....Pages 667-677
Trusting Strangers....Pages 679-683
An Interdisciplinary Perspective of Dependability in Open Source Software....Pages 685-691
Is Academic Open Source Software Dependable?....Pages 693-697
Open Source in Dependable Systems: Current and Future Business Models....Pages 699-710
An Open-Source VHDL IP Library with Plug&Play Configuration....Pages 711-717
Linux: A Multi-Purpose Executive Support for Civil Avionics Applications?....Pages 719-724
A Journey Towards an OSS-Aware Organization....Pages 725-733
Interdependencies of Critical Infrastructures....Pages 735-735
Front Matter....Pages 737-737
Social Robots: Challenges for Machine Intelligence....Pages 739-740
Development of Humanoids and New Business Structure....Pages 741-742
Towards Robot Companions....Pages 743-743
Roles of Robots in Human Society: Challenges and Case Studies....Pages 745-745
Human-Like Motion from Physiologically-Based Potential Field....Pages 747-748
A Dialog Based Interactive Robot....Pages 749-750
Front Matter....Pages 737-737
Tracking Humans....Pages 751-752
Learning and Cooperative Multimodal Humanoid Robots....Pages 753-754
From Geometric to Cognitive Maps — A Key Element for Personal Robots....Pages 755-759
Centibots: Very Large Scale Distributed Robotic Teams....Pages 761-761
In the context of the 18th IFIP World Computer Congress (WCC’04), and beside the traditional organization of conferences, workshops, tutorials and student forum, it was decided to identify a range of topics of dramatic interest for the building of the Information Society. This has been featured as the "Topical day/session" track of the WCC’04. Topical Sessions have been selected in order to present syntheses, latest developments and/or challenges in different business and technical areas.
Building the Information Society provides a deep perspective on domains including: the semantic integration of heterogeneous data, virtual realities and new entertainment, fault tolerance for trustworthy and dependable information infrastructures, abstract interpretation (and its use for verification of program properties), multimodal interaction, computer aided inventing, emerging tools and techniques for avionics certification, bio-, nano-, and information technologies, E-learning, perspectives on ambient intelligence, the grand challenge of building a theory of the Railway domain, open source software in dependable systems, interdependencies of critical infrastructure, social robots, as a challenge for machine intelligence.
Building the Information Society comprises the articles produced in support of the Topical Sessions during the IFIP 18th World Computer Congress, which was held in August 2004 in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).
Content:
Front Matter....Pages i-xviii
Front Matter....Pages 1-1
Three Decades of Data Intecration — all Problems Solved?....Pages 3-12
The PLIB Ontology-Based Approach to Data Integration....Pages 13-18
The MOMIS Methodology for Integrating Heterogeneous Data Sources....Pages 19-24
Building Scalable Mediator Systems....Pages 25-30
Representation of Procedural Knowledge and its Use to Compute a Form of Subsumption....Pages 31-36
Front Matter....Pages 37-37
Developing Re-Usable Interactive Storytelling Technologies....Pages 39-44
Connecting the Real World and Virtual World through Gaming....Pages 45-50
Positive Effects of Entertainment Technology on Human Behaviour....Pages 51-58
Realization of Tai-Chi Motion Using a Humanoid Robot....Pages 59-64
Storytelling for Recreating Our Selves: Zenetic Computer....Pages 65-70
Interaction in a Sensitive House....Pages 71-76
Front Matter....Pages 77-77
Dependable Systems of the Future: What is Still Needed?....Pages 79-90
Dependability and Its Threats: A Taxonomy....Pages 91-120
Current Research Activities on Dependable Computing and Other Dependability Issues in Japan....Pages 121-134
The Evolution of Dependable Computing at the University of Illinois....Pages 135-164
Wrapping the Future....Pages 165-173
From the University of Illinois VIA JPL and UCLA to Vytautas Magnus University: 50 Years of Computer Engineering by Algirdas Avi?ienis....Pages 175-189
Airbus Fly-By-Wire: A Total Approach To Dependability....Pages 191-212
Unique Dependability Issues for Commercial Airplane Fly by Wire Systems....Pages 213-220
The Fault Hypothesis for The Time-Triggered Architecture....Pages 221-233
Front Matter....Pages 77-77
Communications Dependability Evolution....Pages 234-240
Intrusion Tolerance For Internet Applications....Pages 241-256
Static Program Transformations for Efficient Software Model Checking....Pages 257-281
Architectural Challenges for A Dependable Information Society....Pages 282-304
Experimental Research in Dependable Computing at Carnegie Mellon University....Pages 305-328
Systems Approach to Computing Dependability in and Out of Hitachi....Pages 329-356
Front Matter....Pages 357-357
Basic Concepts of Abstract Interpretation....Pages 359-366
TVLA: A System for Generating Abstract Interpreters....Pages 367-375
aiT: Worst-Case Execution Time Prediction by Static Program Analysis....Pages 377-383
Astr?e: Verification of Absence of Runtime Error....Pages 385-392
Industrial Experience of Abstract Interpretation-Based Static Analyzers....Pages 393-400
Front Matter....Pages 401-401
Design Space for Multimodal Interaction....Pages 403-408
Software Design and Development of Mutimodal Interaction....Pages 409-414
A Generic Formal Specification of Fusion of Modalities in a Multimodal Hci....Pages 415-420
Multimomodality and Multi-Platform Interactive Systems....Pages 421-426
Multimodality and Context-Aware Adaptation....Pages 427-432
Towards Multimodal Web Interaction....Pages 433-438
Front Matter....Pages 439-439
Towards “Inventiveness-Oriented” Cai Tools....Pages 441-452
Exploring the Inclusion of Design Factors in Computer Aided Inventing....Pages 453-459
State-of-the-Art and Trends of Computer-Aided Innovation Tools....Pages 461-470
Front Matter....Pages 439-439
Computer Aided Comprehensive Design for Six Sigma (DFSS) and Axiomatic Design (AD)....Pages 471-474
TRIZ and Computer Aided Inventing....Pages 475-485
Optimization VS Innovation in a Cae Environment....Pages 487-495
Front Matter....Pages 497-497
Formal Proof and Test Case Generation for Critical Embedded Systems Using Scade....Pages 499-504
Safety Assessment with Altarica....Pages 505-510
Improving Certification Capability through Automatic Code Generation....Pages 511-520
Early Validation of Requirements....Pages 521-526
Proof of Properties in Avionics....Pages 527-535
The Convergence of Bio-Info-Nano-Technologies....Pages 537-537
Front Matter....Pages 539-539
Running an E-Learning Project: Technology, Expertise, Pedagogy....Pages 541-550
Learning Objects Interoperability: The Ariagne Experience....Pages 551-556
An E-Learning Version of the French Higher Education Curriculum “Computer Methods for the Companies Management”....Pages 557-572
Front Matter....Pages 573-573
Perspectives on Computing for Service Providers of Intelligent Environments....Pages 575-583
Global Governance of the Technological Revolution....Pages 585-592
e-Health — Making Healthcare Better for European Citizens: Challenges and Expectations....Pages 593-595
Intelligent Ethics....Pages 597-602
Front Matter....Pages 603-603
The TRain Topical Day — A Foreword....Pages 605-606
TRain: The Railway Domain....Pages 607-611
Reusing Formal Models....Pages 613-619
a Refinement Based Approach to Calculating a Fault-Tolerant Railway Signal Device....Pages 621-627
Front Matter....Pages 603-603
From Railway Resource Planning to Train Operation....Pages 629-636
Integrated Formal Methods for Safety Analysis of Train Systems....Pages 637-642
Stochastic Train Domain Theory Framework....Pages 643-649
CyberRail....Pages 651-655
Towards a Formal Model of Cyberrail....Pages 657-664
Front Matter....Pages 665-665
Open Source Software in Critical Systems....Pages 667-677
Trusting Strangers....Pages 679-683
An Interdisciplinary Perspective of Dependability in Open Source Software....Pages 685-691
Is Academic Open Source Software Dependable?....Pages 693-697
Open Source in Dependable Systems: Current and Future Business Models....Pages 699-710
An Open-Source VHDL IP Library with Plug&Play Configuration....Pages 711-717
Linux: A Multi-Purpose Executive Support for Civil Avionics Applications?....Pages 719-724
A Journey Towards an OSS-Aware Organization....Pages 725-733
Interdependencies of Critical Infrastructures....Pages 735-735
Front Matter....Pages 737-737
Social Robots: Challenges for Machine Intelligence....Pages 739-740
Development of Humanoids and New Business Structure....Pages 741-742
Towards Robot Companions....Pages 743-743
Roles of Robots in Human Society: Challenges and Case Studies....Pages 745-745
Human-Like Motion from Physiologically-Based Potential Field....Pages 747-748
A Dialog Based Interactive Robot....Pages 749-750
Front Matter....Pages 737-737
Tracking Humans....Pages 751-752
Learning and Cooperative Multimodal Humanoid Robots....Pages 753-754
From Geometric to Cognitive Maps — A Key Element for Personal Robots....Pages 755-759
Centibots: Very Large Scale Distributed Robotic Teams....Pages 761-761
....