5 search results - page 1 / 1 » Automatic Derivation of Petri Net Based Distributed Specific... |
KBSE
2000
IEEE
13 years 9 months ago
2000
IEEE
NOSSDAV
2005
Springer
13 years 10 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
ENTCS
2006
13 years 4 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
ICAC
2008
IEEE
13 years 11 months ago
2008
IEEE
—Large scale production grids are an important case for autonomic computing. They follow a mutualization paradigm: decision-making (human or automatic) is distributed and largely...
CIKM
1994
Springer
13 years 8 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...