2850 search results - page 418 / 570 » On Timed Models and Full Abstraction |
156
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—In conventional static implementations for correlated streaming applications, computing resources may be inefficiently utilized since multiple stream processors may sup...
159
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—This paper presents a probabilistic algorithm for simultaneously estimating the pose of a mobile robot and the positions of nearby people in a previously mapped environm...
139
click to vote
ADAEUROPE
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...
191
click to vote
DBPL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be co...
168
click to vote
MMMACNS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. With the rise of global networks like the Internet the importance of workflow systems is growing. However, security questions in such environments often only address secu...