438 search results - page 52 / 88 » constraints 1998 |
CAV
1998
Springer
14 years 1 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
DEXA
1998
Springer
14 years 1 months ago
1998
Springer
Prototype databases are needed in any information system development process to support data-intensive applications development. It is common practice to populate these databases u...
ESORICS
1998
Springer
14 years 1 months ago
1998
Springer
When implementing a multilevel security policy for Object-Oriented Databases (OODBs), several aspects have to be investigated. One of these aspect is the design of multilevel OODB...
FPL
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Pebble is a simple language designed to improve the productivity and effectiveness of hardware design. It improves productivity by adopting reusable word-level and bit-le...
SEAL
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. This paper deals with the problem of nurse rostering in Belgian hospitals. This is a highly constrained real world problem that was (until the results of this research we...