2685 search results - page 307 / 537 » A Formal Semantics for SPKI |
178
click to vote
SEMWEB
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Design patterns are widely-used software engineering abstractions which define guidelines for modeling common application scenarios. Ontology design patterns are the ext...
158
click to vote
EDOC
2006
IEEE
16 years 20 days ago
2006
IEEE
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...
157
click to vote
CSFW
2005
IEEE
16 years 7 days ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...
184
click to vote
ICAIL
2005
ACM
16 years 5 days ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
174
Voted
ICTAC
2005
Springer
16 years 4 days ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...