526 search results - page 83 / 106 » date 2008 |
238
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
144
click to vote
PERCOM
2008
ACM
16 years 4 months ago
2008
ACM
In this paper we present CoWSAMI, a middleware infrastructure that enables context awareness in open ambient intelligence environments, consisting of mobile users and context sour...
149
click to vote
AIPR
2008
IEEE
15 years 11 months ago
2008
IEEE
– This paper addresses the exploitation of massive numbers of image-derived change detections. We use the term “change analysis” to emphasize the intelligence value obtained ...
112
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
—We consider distributed iterative algorithms for the averaging problem over time-varying topologies. Our focus is on the convergence time of such algorithms when complete (unqua...
118
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Designing web sites that are responsive to customer needs is a critical prerequisite for the success of online services. Recently, a usability evaluation procedure, based on the M...