4987 search results - page 147 / 998 » Support Ordered Resolution |
127
click to vote
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
119
click to vote
ICFEM
2000
Springer
15 years 6 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
122
click to vote
UIST
1997
ACM
15 years 6 months ago
1997
ACM
This paper presents a comprehensive model for dealing with semantic conflicts in applications, and the implementation of this model in a toolkit for collaborative systems. Conflic...
102
click to vote
DC
2001
15 years 4 months ago
2001
This paper focuses on metadata standards for networked information discovery and retrieval of educational resources. Such standards, if they achieve a high degree of interoperabil...
129
click to vote
ENTCS
2008
15 years 3 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...