We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.
Filters applied:
Computer science

Search Results

Showing 481-492 of 492 results

  1. The future of industrial formal methods

    Anthony Hall, David Parnas, ... Chris Sennett in ZUM '95: The Z Formal Specification Notation
    Conference paper 1995

  2. Analysis and Assessment of Advanced Road Transport Telematic Systems

    The hazard analysis of an Advanced road Transport Telematic system is an essential part of the safety life-cycle. A systematic methodology for...
    Keith M. Hobley, Peter H. Jesty in Safe Comp 95
    Conference paper 1995

  3. Neue Aufgabenstellungen des Bundesamtes für Sicherheit in der Informationstechnik

    Durch das im Herbst 1990 verabschiedete BSI-Gesetz wurde zum 1.1.91 das Bundesamt für Sicherheit in der Informationstechnik (BSI) gegründet. Damit...
    Heinrich Kersten in Sicherheitsrisiko Informationstechnik
    Chapter 1994

  4. Use of Imprecise Computation to Enhance Dependability of Real-Time Systems

    In a system based on the imprecise-computation technique, each time-critical task is designed in such a way that it can produce a usable, approximate...
    Jane W. S. Liu, Kwei-Jay Lin, ... Albert Yu in Foundations of Dependable Computing
    Chapter 1994

  5. Formal methods reality check: Industrial usage

    Based on a systematic survey and analysis of the use of formal methods in the development of a dozen industrial applications, we summarize the...
    Dan Craigen, Susan Gerhart, Ted Ralston in FME '93: Industrial-Strength Formal Methods
    Conference paper 1993

  6. An International Survey of Industrial Applications of Formal Methods

    At the 7th Z User Meeting, the first author gave an invited presentation on an international survey of industrial applications of formal methods. The...
    Dan Craigen, Susan Gerhart, Ted Ralston in Z User Workshop, London 1992
    Conference paper 1993

  7. Die CICS-Welt

    Bei dem Customer Information and Control System CICS handelt es sich um einen TP-Monitor der Firma IBM. Zu seinen Aufgaben zählt es, für ein...
    Thomas Kregeloh, Stefan Schönleber in CICS
    Chapter 1993

  8. Evaluating In-Vehicle Collision Avoidance Warning Systems for IVHS

    Pursuant to the recent Intermodal Surface Transportation Efficiency Act (ISTEA), there has been a considerable apportionment of resources for...
    P. A. Hancock in Concurrent Engineering: Tools and Technologies for Mechanical System Design
    Conference paper 1993

  9. Memory systems

    As we have seen from the earlier chapters the digital computer is based on the stored program concept and consequently depends for its operation on...
    Douglas Lewin, David Noaks in Theory and Design of Digital Computer Systems
    Chapter 1992

  10. A design and modeling environment to develop real-time, distributed software systems

    This paper presents the general structure of a design and modeling environment for real-time, parallel/distributed software systems. It is provided...
    Reda Ammar, ** Zhang in Advances in Computing and Information — ICCI '91
    Conference paper 1991

  11. Assumptions and Automation in Air Traffic Systems

    One of the goals of the Institute was to help the participants to question their assumptions about air traffic control (also see Hopkin, 1991)....
    John A. Wise in Automation and Systems Issues in Air Traffic Control
    Conference paper 1991

  12. Fallible Humans and Vulnerable Systems: Lessons Learned from Aviation

    In 1959, the commercial jet transport era in the United States began with the Boeing 707. Soon after, a rather serious incident occurred over...
    Earl L. Wiener in Information Systems: Failure Analysis
    Conference paper 1987
Did you find what you were looking for? Share feedback.