6608 search results - page 1259 / 1322 » On the Completeness of Model Checking |
156
Voted
ICPADS
2010
IEEE
15 years 1 months ago
2010
IEEE
The MapReduce programming model simplifies large-scale data processing on commodity clusters by having users specify a map function that processes input key/value pairs to generate...
173
Voted
ICWS
2010
IEEE
15 years 1 months ago
2010
IEEE
Given the large amount of existing services and the diversified needs nowadays, it is time-consuming for end-users to find appropriate services. To help end-users obtain their desi...
150
Voted
P2P
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--When a host discovers that it has a software vulnerability that is susceptible to an attack, the host needs to obtain and install a patch. Because centralized distributio...
155
Voted
WAOA
2010
Springer
15 years 1 months ago
2010
Springer
The past few years have witnessed a number of interesting online algorithms for deadline scheduling in the dynamic speed scaling model (in which a processor can vary its speed to ...
138
Voted
WD
2010
15 years 1 months ago
2010
: In this paper we use an analytical model to study how two radio networks : a primary network and a secondary network can coexist within the same area. We use a very simple protoc...