netis system  (475 Angebote unter 30.936.890 Artikeln)

Invited Talks.- The Next 700 BFT Protocols.- On Replication of Software Transactional Memories.- Regular Papers.- Write Markers for Probabilistic Quorum Systems.- Byzantine Consensus with Unknown P...

There are many good AI books. Usually they consecrate at most one or two chapters to the imprecision knowledge processing. To our knowledge this is among the few books to be entirely dedicated to t...

There are many good AI books. Usually they consecrate at most one or two chapters to the imprecision knowledge processing. To our knowledge this is among the few books to be entirely dedicated to t...

This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.The 50 ...

10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Algebraic Specifications.- The Common Framework Initiative for Algebraic Specification and Development of Software.- A Logical Approach to Specification of Hybrid Systems.- Specifications with Stat...

Carl Adam Petri: Ideas, Personality, Impact

The papers on rough set theory and its applications placed in this volume present a wide spectrum of problems representative to the present. stage of this theory. Researchers from many countries re...

Invited Talk.- Pattern Matching over a Dynamic Network of Tuple Spaces.- Models and Calculi.- A Dynamic Class Construct for Asynchronous Concurrent Objects.- An Abstract Machine for the Kell Calcul...

The papers on rough set theory and its applications placed in this volume present a wide spectrum of problems representative to the present. stage of this theory. Researchers from many countries re...

The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encoura...

This volume contains the proceedings of the 14th International Conference onApplication and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress i...

Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as para...

Keynote Address.- Responsive Systems: A Marriage Between Real Time and Fault Tolerance.- Reconfiguration and Recovery.- Self-Diagnosis, Reconfiguration and Recovery in the Dynamical Reconfigurable ...

Invited Papers.- Data Warehouse Scenarios for Model Management.- Reflections on Computer Science and Information Systems Research.- From Entities and Relationships to Social Actors and Dependencies...