Sciweavers

2189 search results - page 242 / 438
» A Graded Applicability of Rules
Sort
View
SP
1996
IEEE
121views Security Privacy» more  SP 1996»
14 years 1 months ago
A Security Policy Model for Clinical Information Systems
The protection of personal health information has become a live issue in a number of countries including the USA, Canada, Britain and Germany. The debate has shown that there is w...
Ross J. Anderson
WADT
1997
Springer
14 years 1 months ago
An inductive view of graph transformation
The dynamic behavior of rule-based systems (like term rewriting systems 24], process algebras 27], and so on) can be traditionally determined in two orthogonal ways. Either operati...
Fabio Gadducci, Reiko Heckel
ECHT
1994
14 years 1 months ago
An Interaction Engine for Rich Hypertexts
In semantically rich hypertexts it is attractive to enable presentation of a network of nodes and links at different levels action. It is also important that the user can interact...
Kasper Østerbye, Kurt Nørmark
ICLP
1994
Springer
14 years 1 months ago
Splitting a Logic Program
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...
Vladimir Lifschitz, Hudson Turner
RULES
1993
Springer
133views Database» more  RULES 1993»
14 years 1 months ago
Activities in Object Bases
Objects are collected into an object base because of a presumed need for cooperation among them. In classical object bases the cooperation is based on synchronous, preplanned mess...
Peter C. Lockemann, Hans-Dirk Walter