4067 search results - page 25 / 814 » Programs for Applying Symmetries |
119
Voted
FLOPS
2010
Springer
15 years 6 months 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...
ASM
2005
ASM
15 years 5 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...
COOPIS
2004
IEEE
15 years 3 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...
AGILEDC
2003
IEEE
15 years 5 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...
107
Voted
ICNC
2005
Springer
15 years 5 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...