Validation Methods for Fault-Tolerant Avionics and Control Systems--Working Group Meeting I
Author :
Publisher :
Page : 122 pages
File Size : 37,26 MB
Release : 1979
Category : Aids to air navigation
ISBN :
Author :
Publisher :
Page : 122 pages
File Size : 37,26 MB
Release : 1979
Category : Aids to air navigation
ISBN :
Author :
Publisher :
Page : 968 pages
File Size : 49,81 MB
Release :
Category : Government publications
ISBN :
Author :
Publisher :
Page : 770 pages
File Size : 46,16 MB
Release : 1977
Category : Astronautics
ISBN :
Author :
Publisher :
Page : 636 pages
File Size : 29,14 MB
Release : 1979
Category : Aeronautics
ISBN :
Author :
Publisher :
Page : 782 pages
File Size : 20,27 MB
Release : 1981
Category : Government publications
ISBN :
Author :
Publisher :
Page : 112 pages
File Size : 40,86 MB
Release : 1980
Category :
ISBN :
Author :
Publisher :
Page : 410 pages
File Size : 23,37 MB
Release : 1987
Category : Aeronautics
ISBN :
Author :
Publisher :
Page : 36 pages
File Size : 13,10 MB
Release : 1980
Category : Aeronautics
ISBN :
Author : Rene Jacquart
Publisher : Springer
Page : 739 pages
File Size : 23,76 MB
Release : 2008-04-08
Category : Computers
ISBN : 140208157X
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).
Author : A. Avizienis
Publisher : Springer Science & Business Media
Page : 467 pages
File Size : 33,60 MB
Release : 2012-12-06
Category : Computers
ISBN : 3709188717
For the editors of this book, as well as for many other researchers in the area of fault-tolerant computing, Dr. William Caswell Carter is one of the key figures in the formation and development of this important field. We felt that the IFIP Working Group 10.4 at Baden, Austria, in June 1986, which coincided with an important step in Bill's career, was an appropriate occasion to honor Bill's contributions and achievements by organizing a one day "Symposium on the Evolution of Fault-Tolerant Computing" in the honor of William C. Carter. The Symposium, held on June 30, 1986, brought together a group of eminent scientists from all over the world to discuss the evolu tion, the state of the art, and the future perspectives of the field of fault-tolerant computing. Historic developments in academia and industry were presented by individuals who themselves have actively been involved in bringing them about. The Symposium proved to be a unique historic event and these Proceedings, which contain the final versions of the papers presented at Baden, are an authentic reference document.