3831 search results - page 610 / 767 » Dynamic Context Logic |
104
click to vote
IJCIM
2002
15 years 19 days ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
121
Voted
DEDS
1998
15 years 16 days ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
97
Voted
TSMC
1998
15 years 15 days ago
1998
—An algorithmic solution method is presented for the problem of autonomous robot motion in completely unknown environments. Our approach is based on the alternate execution of tw...
103
Voted
TOPLAS
2002
15 years 15 days ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
109
Voted
VLDB
2002
ACM
15 years 15 days ago
2002
ACM
This paper introduces MICP, a novel multiversion integrated cache replacement and prefetching algorithm designed for efficient cache and transaction management in hybrid data deli...