Sciweavers

2276 search results - page 60 / 456
» Failure of A Mix Network
Sort
View
96
Voted
HASE
2007
IEEE
15 years 7 months ago
Scalable, Adaptive, Time-Bounded Node Failure Detection
This paper presents a scalable, adaptive and timebounded general approach to assure reliable, real-time Node-Failure Detection (NFD) for large-scale, high load networks comprised ...
Matthew Gillen, Kurt Rohloff, Prakash Manghwani, R...
87
Voted
EEE
2005
IEEE
15 years 6 months ago
Predicting the Survival or Failure of Click-and-Mortar Corporations
With the boom in e-business, several corporations have emerged in the late nineties that have primarily conducted their business through the Internet and the Web. They have come t...
Indranil Bose, Raktim Pal
IFM
2005
Springer
100views Formal Methods» more  IFM 2005»
15 years 6 months ago
Embedding the Stable Failures Model of CSP in PVS
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
Kun Wei, James Heather
119
Voted
DSN
2002
IEEE
15 years 5 months ago
Time-Constrained Failure Diagnosis in Distributed Embedded Systems
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
Nagarajan Kandasamy, John P. Hayes, Brian T. Murra...
110
Voted
ICRA
2010
IEEE
144views Robotics» more  ICRA 2010»
14 years 11 months ago
Adaptation to robot failures and shape change in decentralized construction
— Our prior work [1] presented a decentralized algorithm for coordinating the construction of a truss structure out of multiple components. In this paper, we discuss adaptation i...
Seung-kook Yun, Daniela Rus