4266 search results - page 439 / 854 » The container loading problem |
151
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
144
click to vote
DAC
1998
ACM
15 years 10 months ago
1998
ACM
The di culty of embedded system co-design is increasing rapidly due to the increasing complexity of individual parts, the variety of parts available and pressure to use multiple p...
166
click to vote
DEXA
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we examine the problem of indexing time sequences in order to answer inverse queries. An inverse query computes all the time points at which the sequence co...
178
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
The design of a class hierarchy may be imperfect. For example, a class C may contain a member m not accessed in any C-instance, an indication that m could be eliminated, or moved ...
157
click to vote
PLILP
1998
Springer
15 years 10 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...