5149 search results - page 315 / 1030 » Timed Asynchronous Distributed Systems |
173
click to vote
PODC
2012
ACM
13 years 6 months ago
2012
ACM
In recent years, there have been a few proposals to add a small amount of trusted hardware at each replica in a Byzantine fault tolerant system to cut back replication factors. Th...
133
click to vote
AGILEDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Today, many software projects are being developed by collaborating programmers working across multiple locations. Whatever the reason may be, outsourcing, organizational structure...
160
click to vote
IWIA
2006
IEEE
15 years 10 months ago
2006
IEEE
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...
116
click to vote
ISPDC
2003
IEEE
15 years 9 months ago
2003
IEEE
— This paper presents a new power management technique integrated into a multithreaded microcontroller with builtin real-time scheduling schemes. Power management is done by hard...
157
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...