46 search results - page 2 / 10 » Covering Transitions of Concurrent Systems through Queues |
REX
1993
13 years 10 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
SIGADA
1999
Springer
13 years 10 months ago
1999
Springer
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
RTAS
2000
IEEE
13 years 10 months ago
2000
IEEE
Real-time media servers are becoming increasingly important due to the rapid transition of the Internet from text and graphics based applications to multimedia-driven environments...
BROADNETS
2006
IEEE
14 years 14 days ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...
CAV
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...