12301 search results - page 2268 / 2461 » Distributed Computation in Dynamic Networks |
152
Voted
NOSSDAV
2009
Springer
15 years 10 months ago
2009
Springer
Hard-disk drive power consumption reduction methods focus mainly on increasing the amount of time the disk is in standby mode (disk spun down) by implementing aggressive data read...
120
Voted
FCT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
130
Voted
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
The electric power grid is a vital network for every aspect of our life. The lack of buffer between generation and consumption makes the power grid unstable and fragile. While larg...
136
click to vote
RAID
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
152
Voted
WIOPT
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider the problem of transmission scheduling of data over a wireless fading channel with hard deadline constraints. Our system consists of N users, each with a fixed amount...