1438 search results - page 94 / 288 » An Expressive Extension of TLC |
154
click to vote
VRML
2000
ACM
15 years 10 months ago
2000
ACM
In this paper we discuss the benefits of extending VRML by constraints and present a new way based on prototypes and scripting to implement this extension. Our approach is easy-t...
135
click to vote
AGP
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present a novel extension to the constraint logic programming on Finite Domains (clp(FD)) which combines the usual clp(FD) primitive constraint X in range with a ...
169
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
177
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
Electronic Commerce is a field of application that is distributed by nature where different parties share information and work concurrently and cooperatively on objects, potential...
147
click to vote
ICLP
1994
Springer
15 years 10 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...