5090 search results - page 541 / 1018 » Constructing Strategies for Programming |
172
click to vote
CAISE
2000
Springer
15 years 11 months ago
2000
Springer
: Reuse of already existing resources and solutions has always been a strategy for reducing the costs in the information systems development process. Construction and organization ...
184
click to vote
HYBRID
1999
Springer
15 years 11 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
146
click to vote
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
We discuss several problems of analogy-driven proof plan construction which prevent a solution for more diæcult target problems or make a solution very expensive. Some of these pr...
165
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
We developed a new hierarchical modular approach for synthesis of area-minimal core-based data-intensive systems. The optimization approach employs a novel global least-constraini...
200
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
To understand how people search for a known target item in an unordered pull-down menu, this research presents cognitive models that vary serial versus parallel processing of menu...