5599 search results - page 429 / 1120 » Abstract State Services |
168
click to vote
GG
2004
Springer
16 years 5 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
177
click to vote
RAID
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper proposes a new approach to detecting aggregated anomalous events by correlating host file system changes across space and time. Our approach is based on a key...
160
click to vote
ISQED
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract- This paper presents a detailed empirical study and analytical derivation of voltage wave-form and energy dissipation of global lines driven by CMOS drivers. It is shown t...
184
click to vote
EDCC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...
150
click to vote
IWDC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. IP multicast suffers from scalability problem with the number of concurrently active multicast groups, while scalability of QoS multicast is even further from being solve...