3885 search results - page 750 / 777 » Clarifying Goal Models |
154
click to vote
SOFSEM
2000
Springer
15 years 7 months ago
2000
Springer
For half a century since computers came into existence, the goal of finding elegant and efficient algorithms to solve "simple" (welldefined and well-structured) problems ...
155
click to vote
ICCV
1995
IEEE
15 years 7 months ago
1995
IEEE
A new approach to tracking weakly modeled objects in a semantically rich domain is presented. We define a closed-world as a space-time region of an image sequence in which the co...
165
click to vote
DASFAA
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. Fine-grained lock protocols with lock modes and lock granules adjusted to the various XML processing models, allow for highly concurrent transaction processing on XML tre...
153
click to vote
CP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
179
click to vote
GPCE
2009
Springer
15 years 7 months ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...