2766 search results - page 190 / 554 » Hybridizing a Logical Framework |
172
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
143
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
125
Voted
ITRUST
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Logic languages establish a formal framework to solve authorization and delegation conflicts. However, we consider that a visual representation is necessary since graphs...
144
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
123
click to vote
DEXA
2000
Springer
15 years 9 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...