1097 search results - page 27 / 220 » Revision Programming = Logic Programming Integrity Constra... |
168
click to vote
ENTCS
2007
15 years 4 months ago
2007
We suggest a formal model to represent and solve the multicast routing problem in multicast networks. To attain this, we model the network adapting it to a weighted and-or graph, ...
192
Voted
IFIP
2001
Springer
15 years 9 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
127
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we present an implementation of a constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms with flexible arity function symb...