5831 search results - page 967 / 1167 » Distributed Dynamic Backtracking |
HT
1998
ACM
15 years 4 months ago
1998
ACM
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
130
click to vote
KI
1998
Springer
15 years 4 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
116
click to vote
HOTOS
1997
IEEE
15 years 4 months ago
1997
IEEE
We are building an operating system in which an integral run-time code generator constantly strives to improve the quality of already executing code. Our system is based on a plat...
VLDB
1998
ACM
15 years 4 months ago
1998
ACM
The design of secure buffer managers for database systems supporting real-time applications with firm deadlines is studied here. We first identify the design challenges and then p...
116
click to vote
SIGMOD
1997
ACM
15 years 4 months ago
1997
ACM
Infomaster is an information integration system that provides integrated access tomultiple distributed heterogeneous information sources on the Internet, thus giving the illusion ...