43264 search results - page 7995 / 8653 » Comparing models of computation |
143
click to vote
MSWIM
2005
ACM
15 years 10 months ago
2005
ACM
Wi-Fi based indoor location systems have been shown to be both cost-effective and accurate, since they can attain meter-level positioning accuracy by using existing Wi-Fi infrastr...
150
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
The popularity of email has triggered researchers to look for ways to help users better organize the enormous amount of information stored in their email folders. One challenge th...
151
Voted
SENSYS
2005
ACM
15 years 10 months ago
2005
ACM
Radio duty cycling has received significant attention in sensor networking literature, particularly in the form of protocols for medium access control and topology management. Whi...
184
click to vote
SIGECOM
2005
ACM
15 years 10 months ago
2005
ACM
This paper concerns the design of mechanisms for online scheduling in which agents bid for access to a re-usable resource such as processor time or wireless network access. Each a...
141
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...