5423 search results - page 1048 / 1085 » Denial-of-service in automation systems |
186
click to vote
HPDC
2008
IEEE
16 years 18 days ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
166
click to vote
ICRA
2008
IEEE
16 years 17 days ago
2008
IEEE
— In this work, we have extended the concept of constrained motion control of robots to surgical tasks that require multiple robots. We present virtual fixtures to guide the mot...
183
click to vote
LCN
2008
IEEE
16 years 16 days ago
2008
IEEE
—Networked sensors and actuators for purposes from production monitoring and control to home automation are in increasing demand. Until recently, the main focus laid on wired sys...
189
click to vote
TPHOL
2008
IEEE
16 years 15 days 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...
158
click to vote
CSFW
2007
IEEE
16 years 14 days ago
2007
IEEE
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...