94 search results - page 16 / 19 » A formal semantics for Gaia liveness rules and expressions |
CSFW
2004
IEEE
13 years 11 months ago
2004
IEEE
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...
LPNMR
2001
Springer
13 years 12 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
AI
2004
Springer
13 years 7 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
ADC
2003
Springer
14 years 23 days ago
2003
Springer
Much work on XML data was around storage and querying and did not consider constraints of XML, especially keys. Since constraints have been proposed in many papers for XML, much r...