3233 search results - page 280 / 647 » Rule Modeling and Markup |
163
click to vote
CONCUR
2005
Springer
16 years 6 days ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
176
Voted
DBPL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a simple Data Mining Logic (DML) that can express common data mining tasks, like “Find Boolean association rules” or “Find inclusion dependencies.” At ...
157
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, inte...
175
click to vote
RIDE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents the distributed architecture of the WIDE workflow management system. We show how distribution and scalability are obtained by the use of a distributed object m...
169
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...