Sciweavers

5269 search results - page 393 / 1054
» Operating system resource management
Sort
View
JCIT
2007
96views more  JCIT 2007»
15 years 6 months ago
A Paper-Centred Information System: Effectiveness and Quality Implications in UK Police Intelligence Units
This paper investigates the quality of information and intelligence in the United Kingdom’s (UK) police intelligence units with a particular emphasis on the role of paper-based ...
Gabriella Spinelli, Bhavna Sharma
CADE
1998
Springer
15 years 11 months ago
System Description: card TAP: The First Theorem Prover on a Smart Card
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
Rajeev Goré, Joachim Posegga, Andrew Slater...
DAGSTUHL
2007
15 years 8 months ago
Lifetime Extension of Higher Class UHF RFID Tags using special Power Management Techniques and Energy Harvesting Devices
Abstract. Enhanced RFID tag technology especially in the UHF frequency range provides extended functionality like high operating range and sensing and monitoring capabilities. Such...
Alex Janek, Christian Steger, Josef Preishuber-Pfl...
INFOCOM
2002
IEEE
15 years 11 months ago
A Framework for Optimal Battery Management for Wireless Nodes
The focus of this paper is to extend the lifetime of a battery powered node in wireless context. The lifetime of a battery depends on both the manner of discharge and the transmis...
Maria Adamou, Saswati Sarkar
DAGSTUHL
2006
15 years 8 months ago
Managing power amongst a group of networked embedded fpgas using dynamic reconfiguration and task migration
Small unpiloted aircraft (UAVs) each have limited power budgets. If a group (swarm) of small UAVs is organised to perform a common task such as geo-location, then it is possible t...
David A. Kearney, Mark Jasiunas