3305 search results - page 333 / 661 » Models and Modeling Infrastructures for Global Computational... |
178
click to vote
BDA
2003
15 years 8 months ago
2003
Pervasive computing introduces data management requirements that must be tackled in a growingvariety of lightweight computing devices. Personal folders on chip, networks of sensor...
190
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
222
click to vote
IBPRIA
2009
Springer
15 years 4 months ago
2009
Springer
We propose a novel statistical method for motion detection and background maintenance for a mobile observer. Our method is based on global motion estimation and statistical backgro...
165
click to vote
IJSR
2010
15 years 5 months ago
2010
Abstract— People in densely populated environments typically form groups that split and merge. In this paper we track groups of people so as to reflect this formation process an...
160
click to vote
HPCC
2009
Springer
15 years 11 months ago
2009
Springer
Using virtual machines as a resource provisioning mechanism offers multiple benefits, most recently exploited by “infrastructure-as-a-service” clouds, but also poses several...