71 search results - page 11 / 15 » Decidability Under the Well-Founded Semantics |
ESORICS
2004
Springer
15 years 5 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...
112
click to vote
ESORICS
2003
Springer
15 years 5 months 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
14 years 11 months ago
2006
In this article, an approach to semantic image analysis is presented. Under the proposed approach, ontologiesareusedtocapturegeneral,spatial,andcontextualknowledgeofadomain,andage...
100
click to vote
CL
2002
Springer
14 years 11 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
15 years 4 months 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...