2639 search results - page 34 / 528 » Biological Systems as Reactive Systems |
ICRA
1994
IEEE
14 years 2 months ago
1994
IEEE
Within the field of robotics, much recent attention has been given to control techniques that have been termed reactive or behavior-based. The design of such control systems for e...
CHI
2011
ACM
13 years 1 months ago
2011
ACM
As users store and share more digital content at home, access control becomes increasingly important. One promising approach for helping non-expert users create accurate access po...
TPPP
1994
14 years 1 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
LICS
1996
IEEE
14 years 2 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
USS
2004
13 years 11 months ago
2004