7557 search results - page 45 / 1512 » Modeling Timed Concurrent Systems |
134
click to vote
WETICE
1996
IEEE
15 years 5 months ago
1996
IEEE
Communication and coordination play an important role in achieving concurrency in the design of large complex artifacts. It is also widely accepted that design is constraint orien...
132
click to vote
IS
2002
15 years 1 months ago
2002
Previous research in real-time concurrency control mainly focuses on the schedulability guarantee of hard real-time transactions and the reducing of the miss rate of soft real-tim...
105
click to vote
CODES
2010
IEEE
14 years 11 months ago
2010
IEEE
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
DEXAW
2003
IEEE
15 years 6 months ago
2003
IEEE
Bi-lateral negotiations represent an important class of encounter in agent-based systems. To this end, this paper develops and evaluates a heuristic model that enables an agent to...
125
click to vote
FM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...