224 search results - page 40 / 45 » An Information Flow Verifier for Small Embedded Systems |
CHI
2008
ACM
14 years 8 months ago
2008
ACM
As services embedded into public spaces become increasingly transparent, one peripheral aspect of use continues to demand explicit user attention: payment. UbiPay is a system that...
IEEECIT
2006
IEEE
14 years 1 months ago
2006
IEEE
Runtime modification of kernel code is a difficult problem. However, the need of modifiable kernel is increasing because new requirements and services that are unanticipated at th...
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
Flash devices have been widely used in embedded systems, laptop computers, and enterprise servers. However, the poor random writes have been an obstacle to running write-intensive...
TEI
2010
ACM
14 years 2 months ago
2010
ACM
The ChainMail system is a scalable electronic sensate skin that is designed as a dense sensor network. ChainMail is built from small (1”x1”) rigid circuit boards attached to t...
TPDS
2008
13 years 7 months ago
2008
To detect and investigate self-propagating worm attacks against networked servers, the following capabilities are desirable: (1) raising timely alerts to trigger a worm investigat...