7557 search results - page 88 / 1512 » Modeling Timed Concurrent Systems |
115
click to vote
MSO
2003
15 years 2 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
106
click to vote
POPL
2011
ACM
14 years 4 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
120
click to vote
SAC
2002
ACM
15 years 1 months ago
2002
ACM
Distributed cooperative engineering applications require consistent and long-term sharing of large volumes of data, which may cause conflicts due to concurrent read/write operatio...
113
click to vote
TACAS
1998
Springer
15 years 5 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
101
click to vote
IJCAI
1997
15 years 2 months ago
1997
While the Belief, Desire, Intention (BDI) framework is one of the most influential and appealing approaches to rational agent architectures, a gulf often exists between the high-l...