9210 search results - page 1378 / 1842 » Analyzing Real-Time Systems |
195
click to vote
CC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
119
click to vote
EUC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Pyroelectric sensors can detect changes of infrared rays. Usually, typical pyroelectric sensors are the digital output type, used for lighting switches and security syste...
166
click to vote
EUROPAR
2005
Springer
16 years 10 days ago
2005
Springer
Mobile devices increasingly offer functionality beyond the one provided by traditional resources – processor, memory and applications. This includes, for example, integrated mul...
172
click to vote
FC
2005
Springer
16 years 10 days ago
2005
Springer
We consider defenses against confidentiality and integrity attacks on data following break-ins, or so-called intrusion resistant storage technologies. We investigate the problem o...
145
click to vote
HUC
2005
Springer
16 years 10 days ago
2005
Springer
The paper reports the results of the first stage of our work on an automatic dietary monitoring system. The work is part of a large European project on using ubiquitous systems to...