4731 search results - page 39 / 947 » Securing Interactive Programs |
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents the genesis of RoboX. This tour guide robot has been built from the scratch based on the experience of the Autonomous Systems Lab. The production of 11 of thos...
VISUALIZATION
2002
IEEE
14 years 1 months ago
2002
IEEE
Internet connectivity is defined by a set of routing protocols which let the routers that comprise the Internet backbone choose the best route for a packet to reach its destinati...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
HUC
2004
Springer
14 years 2 months ago
2004
Springer
CSFW
2007
IEEE
14 years 20 days ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...