430 search results - page 73 / 86 » formats 2005 |
CHI
2005
ACM
15 years 10 months ago
2005
ACM
Advances in location-enhanced technology are making it easier for us to be located by others. These new technologies present a difficult privacy tradeoff, as disclosing one's...
102
Voted
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
MOBIHOC
2005
ACM
15 years 9 months ago
2005
ACM
Wireless Sensor and Actor Networks (WSANs) are composed of a large number of heterogeneous nodes called sensors and actors. The collaborative operation of sensors enables the dist...
105
Voted
MOBIHOC
2005
ACM
15 years 9 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...
90
Voted
CODES
2005
IEEE
15 years 3 months ago
2005
IEEE
Memory is a scarce resource in many embedded systems. Increasing memory often increases packaging and cooling costs, size, and energy consumption. This paper presents CRAMES, an e...