476 search results - page 59 / 96 » The Complexity of Equality Constraint Languages |
PVLDB
2010
13 years 8 months ago
2010
The recent literature has provided a solid theoretical foundation for the use of schema mappings in data-exchange applications. Following this formalization, new algorithms have b...
SIGSOFT
2006
ACM
14 years 4 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
PPDP
2009
Springer
14 years 4 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
VL
1994
IEEE
14 years 2 months ago
1994
IEEE
Employing diagrams in the UI causes problems that don't exist in so called Graphical User Interfaces. We are implementing a tool for generating editors for a certain class of...
VL
2010
IEEE
13 years 8 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...