5639 search results - page 900 / 1128 » Timed Abstract Non-interference |
106
click to vote
POPL
1991
ACM
15 years 6 months ago
1991
ACM
-order multiparty interaction is an abstraction mechanism that defines communication among a set of formal process roles. Actual processes participate in a first-order interactio...
137
Voted
TAPSOFT
1991
Springer
15 years 6 months ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
141
click to vote
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--Recently, classifier grids have shown to be a considerable alternative for object detection from static cameras. However, one drawback of such approaches is drifting if a...
164
click to vote
DASFAA
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract. Continuous monitoring of spatial queries has received significant research attention in the past few years. In this paper, we propose two efficient algorithms for the con...
144
click to vote
DCOSS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We consider the problem of estimating the locations of mobile agents by fusing the measurements of displacements of the agents as well as relative position measurements b...