Sciweavers

3643 search results - page 516 / 729
» System Architecture for Software Peripherals
Sort
View
CC
2010
Springer
179views System Software» more  CC 2010»
16 years 1 months ago
Validating Register Allocation and Spilling
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
Silvain Rideau, Xavier Leroy
PERCOM
2006
ACM
16 years 17 days ago
Sensor Networks For Smart Roads
This paper proposes the use of a wireless sensor network of “cat’s eye” augmented with embedded processing, communication, and sensing capabilities to monitor vehicle behavi...
Marcin Karpinski, Aline Senart, Vinny Cahill
PERVASIVE
2005
Springer
16 years 1 days ago
Task Partitioning in Smart Environments
This paper studies the use of a Bluetooth enabled mobile phone as a controlling device in a smart environment. Main focus for the work is partitioning of the functionality and the...
Markus Ritala, Jukka Vanhala
DEXAW
2003
IEEE
101views Database» more  DEXAW 2003»
15 years 12 months ago
The Patia Autonomic Webserver: Feasibility Experimentation
This paper introduces the Patia Autonomic webserver, which has been designed to be self-monitoring and adaptive to not only improve webserver performance but robustness in terms o...
Julie A. McCann, Gawesh Jawaheer
ACISP
1998
Springer
15 years 10 months ago
A Solution to Open Standard of PKI
PKI Public Key Infrastructure is fundamental for many security applications on the network. However, there are so many di erent kinds of PKI at current stage and they are not comp...
Qi He, Katia P. Sycara, Zhongmin Su