526 search results - page 83 / 106 » date 2008 |
193
Voted
POPL
2008
ACM
16 years 25 days 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...
115
click to vote
PERCOM
2008
ACM
16 years 3 days 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...
107
Voted
AIPR
2008
IEEE
15 years 7 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 ...
84
Voted
CDC
2008
IEEE
15 years 7 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...
85
Voted
HICSS
2008
IEEE
15 years 7 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...