386 search results - page 70 / 78 » acl 2006 |
CSFW
2006
IEEE
15 years 4 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
ACOM
2006
Springer
15 years 4 months ago
2006
Springer
Communication in multi-agent systems (MASs) is usually governed by agent communication languages (ACLs) and communication protocols carrying a clear cut semantics. With an increasi...
SAC
2006
ACM
15 years 4 months ago
2006
ACM
The heterogeneity of architectural constraint languages makes difficult the transformation of architectural constraints throughout the development process. Indeed they have signiï...
DBSEC
2006
14 years 11 months ago
2006
We demonstrate how access control models and policies can be represented by using term rewriting systems, and how rewriting may be used for evaluating access requests and for provi...
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
o abstract describes the SmartWeb Ontology-based Annotation system (SOBA). A key feature of SOBA is that all information is extracted and stored with respect to the SmartWeb Integ...