268 search results - page 32 / 54 » Concurrent Systems Analysis Using ECATNets |
GPC
2008
Springer
13 years 8 months ago
2008
Springer
Nowadays workflow systems are widely deployed around the world, especially within large international corporations. Thus the performance evaluation of these workflow systems becom...
HYBRID
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
TASE
2010
IEEE
13 years 2 months ago
2010
IEEE
This paper presents a novel multiagent approach to automating taxi dispatch that services current bookings in a distributed fashion. The existing system in use by a taxi operator i...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
Consistency is an important issue in Distributed Shared Memory (DSM) systems. These systems share a set of objects or virtual memory pages. The data sharing enables the applicatio...
EMSOFT
2009
Springer
14 years 2 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...