1256 search results - page 23 / 252 » A Model of Interaction in Concurrent and Distributed Systems |
119
Voted
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
108
Voted
ACRI
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents an application of Cellular Automata in the field of dry Granular Systems modelling. While the study of granular systems is not a recent field, no efficient mo...
131
Voted
VVEIS
2007
15 years 4 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
125
click to vote
COORDINATION
2009
Springer
16 years 3 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
150
Voted
ECOOPW
1998
Springer
15 years 7 months ago
1998
Springer
Adaptability has become one of the most important research areas in concurrent object-oriented systems in recent years. It tries to cope with system evolution by adding/replacing ...