Sciweavers

8780 search results - page 396 / 1756
» On the Feasibility of Consistent Computations
Sort
View
CADE
2008
Springer
16 years 8 months ago
On Automating the Calculus of Relations
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
Georg Struth, Peter Höfner
PERCOM
2008
ACM
16 years 7 months ago
Context-aware Battery Management for Mobile Phones
In this paper, we propose a system for contextaware battery management that warns the user when it detects that the phone battery can run out before the next charging opportunity ...
Nishkam Ravi, James Scott, Lu Han, Liviu Iftode
196
Voted
PERCOM
2006
ACM
16 years 7 months ago
Omero: Ubiquitous User Interfaces in the Plan B Operating System
It is difficult to build user interfaces that must be distributed over a set of dynamic and heterogeneous I/O devices. This difficulty increases when we want to split, merge, repl...
Francisco J. Ballesteros, Gorka Guardiola Muzquiz,...
PERCOM
2005
ACM
16 years 7 months ago
A Scalable and Provably Secure Hash-Based RFID Protocol
The biggest challenge for RFID technology is to provide benefits without threatening the privacy of consumers. Many solutions have been suggested but almost as many ways have been...
Gildas Avoine, Philippe Oechslin
EWSN
2007
Springer
16 years 7 months ago
Crankshaft: An Energy-Efficient MAC-Protocol for Dense Wireless Sensor Networks
Abstract. This paper introduces Crankshaft, a MAC protocol specifically targeted at dense wireless sensor networks. Crankshaft employs node synchronisation and offset wake-up sched...
Gertjan P. Halkes, Koen Langendoen