1052 search results - page 94 / 211 » Foundations for Virtual Types |
CIMCA
2005
IEEE
14 years 2 months ago
2005
IEEE
Access control for shared resources is a complex and challenging task, in particular if the access control policy should be able to cope with different kind of sharing and collabo...
FMCO
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
ICCS
2003
Springer
14 years 2 months ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
We suggest that planning for automated earthmoving operations such as digging a foundation or leveling a mound of soil, be treated at multiple levels. In a system that we have dev...
LICS
1990
IEEE
14 years 28 days ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...