2846 search results - page 542 / 570 » Not one click for security |
123
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
Serpentine robots are slender, multi-segmented vehicles designed to provide greater mobility than conventional mobile robots. Serpentine robots are ideally suited for urban search...
132
click to vote
IISWC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Java has become one of the predominant languages for embedded and mobile platforms due to its architecturally neutral design, portability, and security. But Java execution in t...
185
click to vote
PDP
2008
IEEE
15 years 10 months ago
2008
IEEE
System-level virtualization has been a research topic since the 70’s but regained popularity during the past few years because of the availability of efficient solution such as...
150
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
The notion of resource reservation for obtaining real-time scheduling guarantees and enforcement of resource usage has gained strong support in recent years. However, much work on...
158
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...