Informatik (14.427 Artikel)

Spatio-Temporal Graph Data Analytics

Spatio-Temporal Graph Data Analytics

Fundamentals, Features, and Methods

Selected Papers

This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programmin...

This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programmin...

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

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

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