979 search results - page 182 / 196 » Footprints in Local Reasoning |
IFIP
2004
Springer
14 years 26 days ago
2004
Springer
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...
KR
2004
Springer
14 years 25 days ago
2004
Springer
One of the major advances in classical planning has been the development of Graphplan. Graphplan builds a layered structure called the planning graph, and then searches this struc...
FTDCS
2003
IEEE
14 years 23 days ago
2003
IEEE
Mobile clients retrieve and update databases at servers. They use transactions in order to ensure the consistency of shared data in the presence of concurrent accesses. Transactio...
PLDI
2003
ACM
14 years 22 days ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
SENSYS
2003
ACM
14 years 22 days ago
2003
ACM
Sensor networks often involve the monitoring of mobile phenomena. We believe this task can be facilitated by a spatiotemporal multicast protocol which we call “mobicast”. Mobi...