1897 search results - page 252 / 380 » eg 2007 |
TACAS
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
UCS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Sensor networks using mobile robots have recently been proposed to deal with data communication in disruption tolerant networks (DTNs) where an instantaneous end-to-end p...
UCS
2007
Springer
14 years 3 months ago
2007
Springer
In many Ubicomp scenarios tiny wireless embedded sensor devices are used, and devices often collaborate to accomplish a common goal. This paper presents a group formation method de...
VLDB
2007
ACM
14 years 3 months ago
2007
ACM
Privacy is an important issue in data publishing. Many organizations distribute non-aggregate personal data for research, and they must take steps to ensure that an adversary cann...
VLDB
2007
ACM
14 years 3 months ago
2007
ACM
As the Web has evolved into a data-rich repository, with the standard “page view,” current search engines are becoming increasingly inadequate for a wide range of query tasks....