13383 search results - page 2478 / 2677 » Abstractions from proofs |
MOBISYS
2007
ACM
14 years 10 months ago
2007
ACM
Abstract-- Wireless sensor networks represent a key technology enabler for enhanced health care and assisted living systems. Recent standardization efforts to ensure compatibility ...
MOBIHOC
2005
ACM
14 years 10 months ago
2005
ACM
Abstract-We present a novel framework for the provision of deterministic end-to-end bandwidth guarantees in wireless ad hoc networks. Guided by a set of local feasibility condition...
EWSN
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. We propose a model for communication in single-hop wireless sensor networks and define and evaluate the performance of a robust, energy balanced protocol for a powerful a...
DCC
2006
IEEE
14 years 10 months ago
2006
IEEE
Abstract. We propose measures for compressed data structures, in which space usage is measured in a data-aware manner. In particular, we consider the fundamental dictionary problem...
POPL
2010
ACM
14 years 8 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...