2468 search results - page 406 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
132
Voted
UIC
2009
Springer
15 years 10 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...
166
Voted
ECSA
2011
Springer
14 years 3 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...
133
Voted
MSWIM
2005
ACM
15 years 9 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...
132
Voted
CVPR
2010
IEEE
15 years 11 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...
164
Voted
PDPTA
2004
15 years 4 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...