1054 search results - page 80 / 211 » From a Verified Kernel towards Verified Systems |
147
click to vote
SSD
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. We consider a setting with numerous location-aware moving objects that communicate with a central server. Assuming a set of focal points of interest, we aim at continuous...
167
click to vote
AINA
2008
IEEE
16 years 20 days ago
2008
IEEE
Wireless sensor networks are expected to be deployed in harsh environments characterised by extremely poor and fluctuating channel conditions. With the commonly adopted single-si...
173
click to vote
PROVSEC
2007
Springer
16 years 9 days ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
155
click to vote
ICDM
2006
IEEE
16 years 7 days ago
2006
IEEE
The entity resolution (ER) problem, which identifies duplicate entities that refer to the same real world entity, is essential in many applications. In this paper, in particular,...
155
click to vote
GRIDNETS
2008
15 years 7 months ago
2008
Most of the work on grid technology in the video area has been generally restricted to aspects of resource scheduling and replica management. The traffic of such a service has a lo...