|
| Titre : |
Building the information society : IFIP 18th World Computer Congress ; Topical sessions 22-27 august 2004, Toulouse, France |
| Type de document : |
texte imprimé |
| Auteurs : |
René Jacquart, Directeur de publication, rédacteur en chef |
| Congrès : |
IFIP World Computer Congress (18; 2004; Toulouse, France), Auteur |
| Editeur : |
Boston ; London : Kluwer Academic |
| Année de publication : |
2004 |
| Importance : |
1 vol. (779 p.) |
| Présentation : |
ill. |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-1-4020-8156-9 |
| Langues : |
Anglais (eng) |
| Catégories : |
Informatique
|
| Mots-clés : |
Computer Embedded System Hardwarebeschreibungssprach Linux Open Source calculus computer engineering embedded systems formal method formal specification model checking optimization verification |
| Résumé : |
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).
|
| Note de contenu : |
Table of contents
1-Semantic Integration of Heterogeneous Data
2-Virtual Realities and New Entertainment
3-Fault Tolerance for Trustworthy and Dependable Information Infrastructures
4-Abstract Interpretation
5-Multimodal Interaction
6-Computer Aided Inventing
7-Emerging tools and Techniques for Avionics Certification
8-The Convergence of Bio-Info-Nano-Technologies
9-E-Learning
10-Perspectives on Ambient Intelligence
11-TRain: The Railway Domain — A Grand Challenge
12-Open-Source Software in Dependable Systems
13-Interdependencies of Critical Infrastructures
14-Social Robots: Challenges for Machine Intelligence
|
| Côte titre : |
Fs/25273 |
Building the information society : IFIP 18th World Computer Congress ; Topical sessions 22-27 august 2004, Toulouse, France [texte imprimé] / René Jacquart, Directeur de publication, rédacteur en chef / IFIP World Computer Congress (18; 2004; Toulouse, France), Auteur . - [S.l.] : Boston ; London : Kluwer Academic, 2004 . - 1 vol. (779 p.) : ill. ; 24 cm. ISBN : 978-1-4020-8156-9 Langues : Anglais ( eng)
| Catégories : |
Informatique
|
| Mots-clés : |
Computer Embedded System Hardwarebeschreibungssprach Linux Open Source calculus computer engineering embedded systems formal method formal specification model checking optimization verification |
| Résumé : |
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).
|
| Note de contenu : |
Table of contents
1-Semantic Integration of Heterogeneous Data
2-Virtual Realities and New Entertainment
3-Fault Tolerance for Trustworthy and Dependable Information Infrastructures
4-Abstract Interpretation
5-Multimodal Interaction
6-Computer Aided Inventing
7-Emerging tools and Techniques for Avionics Certification
8-The Convergence of Bio-Info-Nano-Technologies
9-E-Learning
10-Perspectives on Ambient Intelligence
11-TRain: The Railway Domain — A Grand Challenge
12-Open-Source Software in Dependable Systems
13-Interdependencies of Critical Infrastructures
14-Social Robots: Challenges for Machine Intelligence
|
| Côte titre : |
Fs/25273 |
|  |
Ajouter le résultat dans votre panier Affiner la recherche
