13397 search results - page 43 / 2680 » From Static Distributed Systems to Dynamic Systems |
ICALP
2003
Springer
14 years 24 days ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
ICDAR
2003
IEEE
14 years 26 days ago
2003
IEEE
It is generally agreed that an on-line recognition system is always reliable than an off-line one. It is due to the availability of the dynamic information, especially the writing...
CSMR
2009
IEEE
14 years 9 days ago
2009
IEEE
Decomposing a software system into smaller, more manageable clusters is a common approach to support the comprehension of large systems. In recent years, researchers have focused ...
CONCUR
2001
Springer
14 years 3 days ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
FSTTCS
2004
Springer
14 years 29 days ago
2004
Springer
A self-stabilizing distributed protocol can recover from any state-corrupting fault. A self-stabilizing protocol is called adaptive if its recovery time is proportional to the numb...