4987 search results - page 147 / 998 » Support Ordered Resolution |
163
click to vote
ERSHOV
2006
Springer
15 years 10 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...
155
click to vote
ICFEM
2000
Springer
15 years 10 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...
157
click to vote
UIST
1997
ACM
15 years 10 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...
143
click to vote
DC
2001
15 years 7 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...
174
click to vote
ENTCS
2008
15 years 6 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...