2688 search results - page 26 / 538 » A formal semantics for P3P |
ISSE
2010
13 years 6 months ago
2010
SEMWEB
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. RDF may be considered as an application of XML intended to interoperably exchange semantics between Web applications. In its current form, this objective may be hard to r...
ECOOPW
1994
Springer
13 years 11 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
CSFW
2012
IEEE
11 years 10 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
DEXA
2005
Springer
14 years 1 months ago
2005
Springer
The first step in finding an efficient way to solve any difficult problem is making a complete, possibly formal, problem specification. This paper introduces a formal specifica...