5447 search results - page 1052 / 1090 » Environment-Mediated Mobile Computing |
103
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
108
click to vote
EWSN
2010
Springer
15 years 9 months ago
2010
Springer
The proliferation of sensors in devices of frequent use, such as mobile phones, offers unprecedented opportunities for forming selfselected communities around shared sensory data ...
113
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Target tracking is an important issue in wireless sensor network applications. In this paper, we design a Coverage-Hole Trap Model (CTM) based on a system that contains one moving...
142
click to vote
EWSN
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we present SCOPES, a distributed Smart Camera Object Position Estimation sensor network System that provides maps of distribution of people in indoors environments. ...
103
Voted
STACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study the management of buffers and storages in environments with unpredictably varying prices in a competitive analysis. In the economical caching problem, there is ...