2850 search results - page 508 / 570 » On Timed Models and Full Abstraction |
MASCOTS
2001
14 years 11 days ago
2001
Abstract--Long-range dependence has been observed in many recent Internet traffic measurements. In addition, some recent studies have shown that under certain network conditions, T...
AAAI
2000
14 years 10 days ago
2000
Given a model of a physical process and a sequence of commands and observations received over time, the task of an autonomous controller is to determine the likely states of the p...
DATE
2010
IEEE
14 years 2 days ago
2010
IEEE
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
DBSEC
2009
14 years 2 days ago
2009
Abstract. We present a new access control mechanism for P2P networks with distributed enforcement, called P2P Access Control System (PACS). PACS enforces powerful access control mo...
HAPTICS
2008
IEEE
14 years 1 days ago
2008
IEEE
Abstract. In this paper, a study on the role of force feedback for teleoperation of industrial overhead crane is presented. Teleoperation of industrial crane was described and anal...