819 search results - page 142 / 164 » Using Assumptions to Distribute CTL Model Checking |
DAC
2006
ACM
15 years 11 months ago
2006
ACM
Existing approaches to timing analysis under uncertainty are based on restrictive assumptions. Statistical STA techniques assume that the full probabilistic distribution of parame...
100
Voted
CMS
2003
14 years 11 months ago
2003
The Border Gateway Protocol (BGP) is a critical component of the Internet routing infrastructure, used to distribute routing information between autonomous systems (ASes). It is hi...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
IPPS
2010
IEEE
14 years 8 months ago
2010
IEEE
Many high-performance tools, applications and infrastructures, such as Paradyn, STAT, TAU, Ganglia, SuperMon, Astrolabe, Borealis, and MRNet, use data aggregation to synthesize lar...
83
Voted
CCS
2005
ACM
15 years 3 months ago
2005
ACM
Indirection-based overlay networks (IONs) are a promising approach for countering distributed denial of service (DDoS) attacks. Such mechanisms are based on the assumption that at...