129 search results - page 2 / 26 » PCAL: Language Support for Proof-Carrying Authorization Syst... |
IJKL
2006
13 years 4 months ago
2006
: Intelligent Educational Systems (IESs) need large amounts of educational content that is typically not provided by the creators of these systems. In this paper we discuss a new a...
HOST
2011
IEEE
12 years 4 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
DEXAW
2009
IEEE
13 years 11 months ago
2009
IEEE
One of the main limitations in using ontologies in modern information systems is due to the fact that the design and maintenance of ontologies is a complex activity that requires ...
SP
1997
IEEE
13 years 9 months ago
1997
IEEE
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
ACMACE
2008
ACM
13 years 6 months ago
2008
ACM
This paper describes an authoring language for specifying communicative behavior and interaction of agents in virtual worlds. We focus on the popular three-dimensional (3D) multi-...