2230 search results - page 354 / 446 » Reformulating Constraint Models Using Input Data |
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
110
click to vote
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In a large-scale language detection task, performance variation found between different component systems and different target languages has an adverse effect to the pooled error ...
CCS
2007
ACM
15 years 4 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
GPCE
2007
Springer
15 years 3 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...