netis system  (462 Angebote unter 17 649 445 Artikeln)

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

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

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

This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes. The underlying concepts are...

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

The primary purpose of this book is to present information about selected topics on the interactions and applications of fuzzy + neural. Most of the discussion centers around our own research in th...

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

This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014. The 1...

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17...

The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.- Application Development Assistance with the Petri Net Baukasten.- Petri Net Transformations in the ?Petri Net Baukasten?.- F...

The idea behind the series of volumes Advances in covers the 8th "European Workshop on Applications and Theory of Petri Nets" held in Zaragoza, Spain in June 1987. It also contains a survey on deci...