119 search results - page 16 / 24 » Predicate Control for Active Debugging of Distributed Progra... |
HPDC
1996
IEEE
13 years 11 months ago
1996
IEEE
A universal spatial automaton, called WAVE, for highly parallel processing in arbitrary distributed systems is described. The automaton is based on a virus principle where recursi...
TAP
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
HICSS
2000
IEEE
13 years 12 months ago
2000
IEEE
Distributed energy resources (DER) are in transition from the lab to the marketplace. The defining characteristic of DER is that they are active devices installed at the distribut...
TCS
2008
13 years 7 months ago
2008
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...
EDOC
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper discusses a novel implementation of a workflow engine that supports service-based applications. The applications are defined according to the GAT model, which is an eve...