21108 search results - page 3933 / 4222 » A General Class of Models of |
114
click to vote
STORAGESS
2006
ACM
15 years 7 months ago
2006
ACM
Archival storage systems are designed for a write-once, read-maybe usage model which places an emphasis on the long-term preservation of their data contents. In contrast to tradit...
137
click to vote
ECCB
2005
IEEE
15 years 6 months ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
124
click to vote
INFOCOM
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— Motivated by applications to sensor, peer-topeer and ad hoc networks, we study distributed asynchronous algorithms, also known as gossip algorithms, for computation and...
119
click to vote
INFOCOM
2005
IEEE
15 years 6 months ago
2005
IEEE
Data dissemination in sensor networks requires four components: resource discovery, route establishment, packet forwarding, and route maintenance. Resource discovery can be the mos...
132
click to vote
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...