1937 search results - page 20 / 388 » Starting B Specifications from Use Cases |
142
click to vote
AAAI
2000
15 years 3 months ago
2000
Depth-first branch-and-bound (DFBnB) is a complete algorithm that is typically used to find optimal solutions of difficult combinatorial optimization problems. It can also be adap...
132
Voted
OOPSLA
1999
Springer
15 years 6 months ago
1999
Springer
The Advanced Teaching and Learning Academic Server (Atlas) is a software system that supports web-based learning. Students can register for courses, and can navigate through perso...
118
Voted
IJCAI
1993
15 years 3 months ago
1993
In this paper we present a technique for automatically generating constraints on parameter derivatives that reduce ambiguity in the behaviour prediction. Starting with a behaviour...
107
click to vote
RE
2007
Springer
15 years 8 months ago
2007
Springer
Customer-reported field failures provide valuable information for the requirements of the next release. Without a systematic approach, the requirements of the next release may not...
119
click to vote
IICAI
2007
15 years 3 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...