2468 search results - page 406 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
166
click to vote
UIC
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. Portable computers are used to store and access sensitive information. They are frequently used in insecure locations with little or no physical protection, and are there...
206
click to vote
ECSA
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...
164
click to vote
MSWIM
2005
ACM
15 years 11 months ago
2005
ACM
A number of analytical models have been proposed to describe the priority schemes of the Enhanced Distributed Channel Access (EDCA) mechanism of the IEEE 802.11e standard. EDCA pr...
169
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We present a framework that retains ambiguity in feature matching to increase the performance of 3D object recognition systems. Whereas previous systems removed ambiguous correspo...
200
click to vote
PDPTA
2004
15 years 7 months ago
2004
Grid computing and cluster computing platforms are becoming the primary development platforms for pervasive computing. The primary problem associated with both computational grids...