9067 search results - page 1777 / 1814 » Adaptive Model Checking |
177
click to vote
GSN
2009
Springer
15 years 7 months ago
2009
Springer
A wireless sensor network deployment on a glacier in Iceland is described. The system uses power management as well as power harvesting to provide long-term environment sensing. Ad...
139
click to vote
LCPC
2009
Springer
15 years 7 months ago
2009
Springer
This paper improves our previous research effort [1] by providing an efficient method for kernel loop unrolling minimisation in the case of already scheduled loops, where circular...
101
click to vote
EUROCRYPT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We consider the question of protecting the privacy of customers buying digital goods. More specifically, our goal is to allow a buyer to purchase digital goods from a ve...
108
click to vote
IWANN
2001
Springer
15 years 7 months ago
2001
Springer
: Long-term rainfall prediction is a challenging task especially in the modern world where we are facing the major environmental problem of global warming. In general, climate and ...
128
click to vote
ICMCS
2000
IEEE
15 years 6 months ago
2000
IEEE
The coming millenium will be characterized by the availability of multiple information appliances that make ubiquitous information access an accepted fact of life. The ability to ...