71 search results - page 11 / 15 » Decidability Under the Well-Founded Semantics |
ESORICS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...
ESORICS
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. An enterprise privacy policy often ...
IJSWIS
2006
13 years 7 months ago
2006
In this article, an approach to semantic image analysis is presented. Under the proposed approach, ontologiesareusedtocapturegeneral,spatial,andcontextualknowledgeofadomain,andage...
CL
2002
Springer
13 years 7 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
ESOP
2001
Springer
14 years 4 days ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...