2089 search results - page 99 / 418 » Finding Environment Guarantees |
SRDS
2006
IEEE
14 years 4 months ago
2006
IEEE
In a recent paper, we presented proactive resilience as a new approach to proactive recovery, based on architectural hybridization. We showed that, with appropriate assumptions ab...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— In this paper we present a methodology that drives and stabilizes a robotic agent moving in a three dimensional environment, to a 2-dimensional manifold embedded in the workspa...
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
A delay-bounded service in wireless ad hoc networks is challenging, as ad hoc networks do not provide any type of guarantees. Several protocols have been proposed to support appli...
PPDP
2001
Springer
14 years 2 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
SRDS
1998
IEEE
14 years 2 months ago
1998
IEEE
The primary-backup replication model is one of the commonly adopted approaches to providing fault tolerant data services. Its extension to the real-time environment, however, impo...