2838 search results - page 308 / 568 » Verifying Controlled Components |
100
click to vote
ISSS
1995
IEEE
15 years 6 months ago
1995
IEEE
Designers of embedded systems are facing ever tighter constraintson design time, but computer aided design tools for embedded systems have not kept pace with these trends. The Chi...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract-- Detecting and isolating multiple faults is a computationally intense task which typically consists of computing a set of tests, and then computing the diagnoses based on...
107
click to vote
CAINE
2007
15 years 4 months ago
2007
Realism has always been a goal in computer graphics. However, the algorithms involved in mimicking ical world are often complex, abstract, and sensitive to changes in experimental...
107
Voted
RBAC
1998
15 years 3 months ago
1998
In role-based access control RBAC permissions are associated with roles, and users are made members of appropriate roles thereby acquiring the roles' permissions. Using RBAC ...
117
click to vote
AAAI
1990
15 years 3 months ago
1990
We describe a robot control architecture which combines a stimulus-response subsystem for rapid reaction, with a search-based planner for handling unanticipated situations. The ro...