4520 search results - page 818 / 904 » Algebraic Techniques for Timed Systems |
119
click to vote
ICANN
2011
Springer
14 years 4 months ago
2011
Springer
Currently the most accurate WLAN positioning systems are based on the fingerprinting approach, where a “radio map” is constructed by modeling how the signal strength measureme...
135
Voted
CCS
2011
ACM
14 years 24 days ago
2011
ACM
This paper presents a new challenge—verifying that a remote server is storing a file in a fault-tolerant manner, i.e., such that it can survive hard-drive failures. We describe...
134
Voted
SIGCOMM
2012
ACM
13 years 3 months ago
2012
ACM
Contact interval between moving vehicles is one of the key metrics in vehicular ad hoc networks (VANETs), which is important to routing schemes and network capacity. In this work,...
123
click to vote
SIGMOD
2012
ACM
13 years 3 months ago
2012
ACM
The rise of smartphones equipped with various sensors has enabled personalization of various applications based on user contexts extracted from sensor readings. At the same time i...
147
click to vote
ICDE
2012
IEEE
13 years 3 months ago
2012
IEEE
—Many companies now routinely run massive data analysis jobs – expressed in some scripting language – on large clusters of low-end servers. Many analysis scripts are complex ...