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

Portada
Rene Jacquart
Springer Science & Business Media, 29 jul. 2004 - 761 páginas

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).

 

Comentarios de usuarios - Escribir una reseña

No hemos encontrado ninguna reseña en los sitios habituales.

Páginas seleccionadas

Índice

Semantic Integration of Heterogeneous Data
2
THREE DECADES OF DATA INTEGRATION ALL PROBLEMS SOLVED?
3
THE PLIB ONTOLOGYBASED APPROACH TO DATA INTEGRATION
13
THE MOMIS METHODOLOGY FOR INTEGRATING HETEROGENEOUS DATA SOURCES
19
BUILDING SCALABLE MEDIATOR SYSTEMS
25
REPRESENTATION OF PROCEDURAL KNOWLEDGE AND ITS USE TO COMPUTE A FORM OF SUBSUMPTION
31
Virtual Realities and New Entertainment
37
DEVELOPING REUSABLE INTERACTIVE STORYTELLING TECHNOLOGIES
39
Emerging tools and Techniques for Avionics Certification
496
FORMAL PROOF AND TEST CASE GENERATION FOR CRITICAL EMBEDDED SYSTEMS USING SCADE
499
Lessons learnt based on two aircraft system studies
505
IMPROVING CERTIFICATION CAPABILITY THROUGH AUTOMATIC CODE GENERATION
511
A Case Study Using Formal Methods
521
PROOF OF PROPERTIES IN AVIONICS
527
The Convergence of BioInfoNanoTechnologies
536
ELearning
537

CONNECTING THE REAL WORLD AND VIRTUAL WORLD THROUGH GAMING
45
POSITIVE EFFECTS OF ENTERTAINMENT TECHNOLOGY ON HUMAN BEHAVIOUR
51
Physical interactions with humanoid robot
59
ZENETIC COMPUTER
65
Future room that senses human mood and respond to it
71
Fault Tolerance for Trustworthy and Dependable Information Infrastructures
77
WHAT IS STILL NEEDED?
78
A TAXONOMY
91
CURRENT RESEARCH ACTIVITIES ON DEPENDABLE COMPUTING AND OTHER DEPENDABILITY ISSUES IN JAPAN
121
THE EVOLUTION OF DEPENDABLE COMPUTING AT THE UNIVERSITY OF ILLINOIS
135
WRAPPING THE FUTURE
165
50 YEARS OF COMPUTER ENGINEERING BY ALGIRDAS AVIŽIENIS
175
A TOTAL APPROACH TO DEPENDABILITY
190
UNIQUE DEPENDABILITY ISSUES FOR COMMERCIAL AIRPLANE FLY BY WIRE SYSTEMS
213
THE FAULT HYPOTHESIS FOR THE TIMETRIGGERED ARCHITECTURE
221
Between Convergence and Competition
235
INTRUSION TOLERANCE FOR INTERNET APPLICATIONS
241
STATIC PROGRAM TRANSFORMATIONS FOR EFFICIENT SOFTWARE MODEL CHECKING
257
ARCHITECTURAL CHALLENGES FOR A DEPENDABLE INFORMATION SOCIETY
282
EXPERIMENTAL RESEARCH IN DEPENDABLE COMPUTING AT CARNEGIE MELLON UNIVERSITY
305
SYSTEMS APPROACH TO COMPUTING DEPENDABILITY IN AND OUT OF HITACHI
329
Abstract Interpretation
357
BASIC CONCEPTS OF ABSTRACT INTERPRETATION
359
A SYSTEM FOR GENERATING ABSTRACT INTERPRETERS
367
WORSTCASE EXECUTION TIME PREDICTION BY STATIC PROGRAM ANALYSIS
376
VERIFICATION OF ABSENCE OF RUNTIME ERROR
385
INDUSTRIAL EXPERIENCE OF ABSTRACT INTERPRETATIONBASED STATIC ANALYZERS
393
Multimodal Interaction
401
DESIGN SPACE FOR MULTIMODAL INTERACTION
402
SOFTWARE DESIGN AND DEVELOPMENT OF MUTIMODAL INTERACTION
409
A GENERIC FORMAL SPECIFICATION OF FUSION OF MODALITIES IN A MULTIMODAL HCI
415
MULTIMOMODALITY AND MULTIPLATFORM INTERACTIVE SYSTEMS
421
MULTIMODALITY AND CONTEXTAWARE ADAPTATION
427
Web pages you can speak to and gesture at
433
Computer Aided Inventing
439
TOWARDS INVENTIVENESSORIENTED CAI TOOLS
441
EXPLORING THE INCLUSION OF DESIGN FACTORS IN COMPUTER AIDED INVENTING
453
Towards the integration within the Product Development Cycle
460
COMPUTER AIDED PERFORMANCE EXCELLENCE CAPE
471
TRIZ AND COMPUTER AIDED INVENTING
475
Towards a Computer Aided Inventing Environment
487
TECHNOLOGY EXPERTISE PEDAGOGY
538
THE ARIADNE EXPERIENCE
551
COMPUTER METHODS FOR THE COMPANIES MANAGEMENT
557
Perspectives on Ambient Intelligence
573
PERSPECTIVES ON COMPUTING FOR SERVICE PROVIDERS OF INTELLIGENT ENVIRONMENTS
575
GLOBAL GOVERNANCE OF THE TECHNOLOGICAL REVOLUTION
584
CHALLENGES AND EXPECTATIONS
593
INTELLIGENT ETHICS
597
TRain The Railway Domain A Grand Challenge
603
THE TRain TOPICAL DAY A FOREWORD
604
The Railway Domain A Grand Challenge for Computing Science Transportation Engineering
607
Domain capitalization via formalization
613
A REFINEMENT BASED APPROACH TO CALCULATING A FAULTTOLERANT RAILWAY SIGNAL DEVICE
620
a brief survey of complementary formalisations
629
INTEGRATED FORMAL METHODS FOR SAFETY ANALYSIS OF TRAIN SYSTEMS
637
STOCHASTIC TRAIN DOMAIN THEORY FRAMEWORK
643
Information Infrastructure for New Intermodal Transport Business Model
650
TOWARDS A FORMAL MODEL OF CyberRail
657
OpenSource Software in Dependable Systems
665
Motivation and challenges
666
Open Source Software and Security
679
AN INTERDISCIPLINARY PERSPECTIVE OF DEPENDABILITY IN OPEN SOURCE SOFTWARE
684
IS ACADEMIC OPEN SOURCE SOFTWARE DEPENDABLE?
693
CURRENT AND FUTURE BUSINESS MODELS
698
AN OPENSOURCE VHDL IP LIBRARY WITH PLUGPLAY CONFIGURATION
711
A MULTIPURPOSE EXECUTIVE SUPPORT FOR CIVIL AVIONICS APPLICATIONS?
719
A JOURNEY TOWARDS AN OSSAWARE ORGANIZATION
725
Interdependencies of Critical Infrastructures
734
Social Robots Challenges for Machine Intelligence
735
CHALLENGES FOR MACHINE INTELLIGENCE Domain outline main trends and issues
736
DEVELOPMENT OF HUMANOIDS AND NEW BUSINESS STRUCTURE
741
TOWARDS ROBOT COMPANIONS
743
CHALLENGES AND CASE STUDIES
744
HUMANLIKE MOTION FROM PHYSIOLOGICALLYBASED POTENTIAL FIELD
745
A DIALOG BASED INTERACTIVE ROBOT
749
TRACKING HUMANS
751
LEARNING AND COOPERATIVE MULTIMODAL HUMANOID ROBOTS
753
FROM GEOMETRIC TO COGNITIVE MAPS A KEY ELEMENT FOR PERSONAL ROBOTS
755
VERY LARGE SCALE DISTRIBUTED ROBOTIC TEAMS
760
Página de créditos

Otras ediciones - Ver todo

Términos y frases comunes

Pasajes populares

Página ii - The International Federation for Information Processing IFIP was founded in 1960 under the auspices of UNESCO, following the First World Computer Congress held in Paris the previous year. An umbrella organization for societies working in information processing...
Página ii - IFIP's aim is two-fold: to support information processing within its member countries and to encourage technology transfer to developing nations. As its mission statement clearly states, IF IP's mission is to be the leading, truly international, apolitical organization which encourages and assists in the development, exploitation and application of information technology for the benefit of all people. IFIP is a non-profitmaking organization, run almost solely by 2500 volunteers.

Información bibliográfica