2468 search results - page 406 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
174
click to vote
UIC
2009
Springer
16 years 1 months 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...
211
Voted
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...
174
click to vote
MSWIM
2005
ACM
16 years 7 days 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...
178
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...
220
click to vote
PDPTA
2004
15 years 8 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...