7557 search results - page 75 / 1512 » Modeling Timed Concurrent Systems |
126
click to vote
CBSE
2005
Springer
15 years 7 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
102
click to vote
CAV
1998
Springer
15 years 5 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
122
click to vote
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
SAC
2009
ACM
15 years 8 months ago
2009
ACM
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...
108
click to vote
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
Website capacity determination is crucial to measurement-based access control, because it determines when to turn away excessive client requests to guarantee consistent service qu...