3812 search results - page 744 / 763 » Combinations of TRAP Based Systems |
148
click to vote
CAISE
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
165
click to vote
DL
1999
Springer
15 years 10 months ago
1999
Springer
Digital libraries of music have the potential to capture popular imagination in ways that more scholarly libraries cannot. We are working towards a comprehensive digital library o...
172
click to vote
AGENTS
1998
Springer
15 years 10 months ago
1998
Springer
The New Millennium Remote Agent NMRA will be the rst AI system to control an actual spacecraft. The spacecraft domain places a strong premium on autonomy and requires dynamic reco...
157
click to vote
VLDB
1993
ACM
15 years 10 months ago
1993
ACM
Recovery activities, like logging, checkpointing and restart, are used to restore a database to a consistent state after a system crash has occurred. Recovery related overhead is ...
196
click to vote
KR
1992
Springer
15 years 10 months ago
1992
Springer
This paper studies a version of the job shop scheduling problem in which some operations have to be scheduled within non-relaxable time windows i.e. earliest latest possible start...