Informatik (15 755 Artikel)

Strategies for Enhanced Food Security by Using Machine Learning and Artificial Intelligence

Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notation and theory was developed in the l...

Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes

The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage is considered in which concurrent pro...

System cars and its description language.- Software structuring: A pragmatic approach.- Development methodologies for event and message based application systems.- Software development in LDM.- Dis...

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that probl...

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that probl...

This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification ...

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futats...

Increasingly, formal specification is being used by database researchers to describe and understand the systems they are designing and implementing. Similarly, those working on formal specification...

First Workshop, WBDB 2012, San Jose, CA, USA, May 8-9, 2012 and Second Workshop, WBDB 2012, Pune, India, December 17-18, 2012, Revised Selected Papers

This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two application...

Based on a NATO Advanced Study Institute held in 1993, this book addresses recent advances in automatic speech recognition and speech coding. The book contains contributions by many of the most out...

The book collects the contributions to the NATO Advanced Study Institute on "Speech Recognition and Understanding: Recent Advances, Trends and Applications", held in Cetraro, Italy, during the firs...

21st International Conference, SPECOM 2019, Istanbul, Turkey, August 20-25, 2019, Proceedings