273 search results - page 39 / 55 » A Compositional Semantics for Conditional Term Rewriting Sys... |
182
Voted
ICDE
1998
IEEE
16 years 1 months ago
1998
IEEE
Traditional Event-Condition-Action triggers (active database rules) include a Boolean predicate as a trigger condition. We propose fuzzy triggers whereby fuzzy inference is utiliz...
CADE
2003
Springer
15 years 12 months ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
109
click to vote
WWW
2005
ACM
16 years 10 days ago
2005
ACM
The semantic web is expected to have an impact at least as big as that of the existing HTML based web, if not greater. However, the challenge lays in creating this semantic web an...
122
click to vote
ACMICEC
2006
ACM
15 years 5 months ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...
97
Voted
PLDI
2005
ACM
15 years 5 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...