983 search results - page 147 / 197 » Object-oriented Abstractions for Distributed Programming |
109
click to vote
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We introduce a new theoretical model of ad hoc mobile computing in which agents have severely restricted memory, highly unpredictable movement and no initial knowledge of...
148
click to vote
GLOBECOM
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—The barrier coverage model was proposed for applications in which sensors are deployed for intrusion detection. In this paper, we study a strong barrier coverage problem...
127
click to vote
SEFM
2009
IEEE
15 years 9 months ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
116
Voted
CIE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...
104
click to vote
DBPL
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We propose a framework in which query sizes can be estimated from arbitrary statistical assertions on the data. In its most general form, a statistical assertion states t...