4067 search results - page 25 / 814 » Programs for Applying Symmetries |
189
click to vote
FLOPS
2010
Springer
16 years 22 days ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
149
click to vote
ASM
2005
ASM
15 years 11 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
148
click to vote
COOPIS
2004
IEEE
15 years 9 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...
140
click to vote
AGILEDC
2003
IEEE
15 years 11 months ago
2003
IEEE
YP is an agile programming methodology that has evolved over the past 15 years. Many of its features are common to other agile methodologies; its novel features include using a hi...
182
click to vote
ICNC
2005
Springer
15 years 11 months ago
2005
Springer
The DARPA/MIT Lincoln Laboratory off-line intrusion detection evaluation data set is the most widely used public benchmark for testing intrusion detection systems. But the presence...