1097 search results - page 27 / 220 » Revision Programming = Logic Programming Integrity Constra... |
145
Voted
ENTCS
2007
15 years 2 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, ...
159
click to vote
IFIP
2001
Springer
15 years 7 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...
117
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
88
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
100
Voted
COOPIS
2004
IEEE
15 years 6 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...