Sciweavers

378 search results - page 41 / 76
» Control Design and Task Performance in Endoscopic Tele-Opera...
Sort
View
DAC
2008
ACM
14 years 9 months ago
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
End-to-end latency of messages is an important design parameter that needs to be within specified bounds for the correct functioning of distributed real-time control systems. In t...
Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. R...
RTCSA
2005
IEEE
14 years 2 months ago
Distributed Real-Time Processing for Humanoid Robots
— In order for humanoid robots to perform skillful tasks, a reliable and scalable computing system that supports hard real-time processing is required. This paper describes a fiv...
Toshihiro Matsui, Hirohisa Hirukawa, Yutaka Ishika...
CCS
2007
ACM
14 years 3 months ago
Direct static enforcement of high-level security policies
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
Qihua Wang, Ninghui Li
SIGMETRICS
2004
ACM
108views Hardware» more  SIGMETRICS 2004»
14 years 2 months ago
Uncooperative congestion control
—Traditionally uncooperative rate control schemes have implied open loop protocols such as UDP, CBR. In this paper we show that closed loop uncooperative rate control schemes als...
Kartikeya Chandrayana, Shivkumar Kalyanaraman
ATAL
2008
Springer
13 years 10 months ago
Autonomous geocaching: navigation and goal finding in outdoor domains
This paper describes an autonomous robot system designed to solve the challenging task of geocaching. Geocaching involves locating a goal object in an outdoor environment given on...
James Neufeld, Michael Sokolsky, Jason Roberts, Ad...