6907 search results - page 951 / 1382 » Securing distributed adaptation |
142
Voted
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
126
Voted
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
137
Voted
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—While many attacks are distributed across botnets, investigators and network operators have recently targeted malicious networks through high profile autonomous system (AS) de-...
131
Voted
ICICS
2009
Springer
15 years 1 months ago
2009
Springer
The Trusted Computing Group (TCG) proposed remote attestation as a solution for establishing trust among distributed applications. However, current TCG attestation architecture req...
121
Voted
CCR
2010
15 years 28 days ago
2010
In this paper we propose a system that will allow people to communicate their status with friends and family when they find themselves caught up in a large disaster (e.g., sending...