12670 search results - page 361 / 2534 » Requirements Modeling |
191
click to vote
CP
2003
Springer
16 years 14 hour ago
2003
Springer
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
179
click to vote
ICVS
2003
Springer
15 years 12 months ago
2003
Springer
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...
156
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
178
Voted
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
The research described in this paper is concerned with the application of information retrieval to software maintenance, and in particular to the problem of recovering traceabilit...
179
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Previous studies in speculative prefetching focus on building and evaluating access models for the purpose of access prediction. This paper investigates a complementary area which...