1295 search results - page 118 / 259 » informs 1998 |
130
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
138
click to vote
FTCS
1998
15 years 5 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
102
click to vote
ICMAS
1998
15 years 5 months ago
1998
We investigate coordination issues in a distributed jobshop scheduling system in which agents schedulepotentially contentious activities asynchronously in parallel. Agents in such...
156
click to vote
VDB
1998
15 years 5 months ago
1998
In this paper we discuss how metaphors for supporting user interaction with multimedia databases can be automatically generated. The work presented is a further step in the develo...
100
click to vote
MANSCI
2008
15 years 4 months ago
2008
Abstract Consumers are increasingly demanding products that closely match their individual preferences, and advances in manufacturing and information technologies have made it poss...