2082 search results - page 227 / 417 » Change Paths in Reasoning! |
153
click to vote
MOBICOM
2000
ACM
15 years 10 months ago
2000
ACM
We present the design and implementation of an end-to-end architecture for Internet host mobility using dynamic updates to the Domain Name System (DNS) to track host location. Exi...
189
click to vote
AGENTS
1998
Springer
15 years 10 months ago
1998
Springer
Physical domains are notoriously hard to model completely and correctly, especially to capture the dynamics of the environment. Moreover, since environments change, it is even mor...
151
click to vote
ADHOC
2007
15 years 6 months ago
2007
Wireless sensor networks are expected to be used in a wide range of applications from environment monitoring to event detection. The key challenge is to provide energy efficient ...
270
Voted
POPL
2008
ACM
16 years 6 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
162
click to vote
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...