4814 search results - page 219 / 963 » Combining abstract interpreters |
197
click to vote
DBSEC
2001
15 years 8 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...
174
click to vote
AAAI
1996
15 years 7 months ago
1996
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
187
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Assisted living means providing the assisted with custom services, specific to their needs and capabilities. Computer monitoring can supply some of these services, be it ...
180
click to vote
PAA
2008
15 years 6 months ago
2008
Abstract This paper focuses on human behavior recognition where the main problem is to bridge the semantic gap between the analogue observations of the real world and the symbolic ...
165
click to vote
JOLLI
2007
15 years 6 months ago
2007
Abstract This paper presents a framework for the generation of coherent elementary conversational sequences at the speech act level. We will embrace the notion of a cooperative dia...