384 search results - page 62 / 77 » Formal Development of Reactive Fault Tolerant Systems |
119
Voted
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—In hop-by-hop networks, provision of multipath routes for all nodes can improve fault tolerance and performance. In this paper we study the multipath route calculation by constr...
143
Voted
DALT
2006
Springer
15 years 5 months ago
2006
Springer
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...
102
Voted
ISCA
2010
IEEE
15 years 5 months ago
2010
IEEE
As leakage and other charge storage limitations begin to impair the scalability of DRAM, non-volatile resistive memories are being developed as a potential replacement. Unfortunat...
240
Voted
PADL
2009
Springer
16 years 2 months ago
2009
Springer
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
104
click to vote
ERLANG
2004
ACM
15 years 5 months ago
2004
ACM
This paper introduces a new platform designed for mobile gambling services. The special characteristics of these services lead us to developed a multiservice platform that easily ...