10669 search results - page 1747 / 2134 » Software - Implemented Self-healing System |
155
click to vote
ECAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we present an extension of the ShapeBugs distributed formation algorithm which enables 2D mobile agents to agree on a consensus coordinate system starting f...
150
click to vote
EPEW
2007
Springer
16 years 1 months ago
2007
Springer
In software systems, individual components interact not only through explicit function invocations, but also through implicit resource sharing. The use of shared resources signifi...
172
click to vote
FSTTCS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
156
Voted
FSTTCS
2007
Springer
16 years 29 days ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
153
Voted
HPCC
2007
Springer
16 years 29 days ago
2007
Springer
This paper introduces the One-Click Grid resource, which allows any computer with a Java enabled web browser to safely provide resources to Grid without any software installation. ...