946 search results - page 138 / 190 » Process Algebra and Non-Interference |
115
Voted
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
We consider the problem of resource sharing when processing large numbers of continuous queries. We specifically address sliding-window aggregates over data streams, an important...
170
Voted
CSFW
2003
IEEE
15 years 9 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
147
Voted
SAC
2003
ACM
15 years 8 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
139
click to vote
DAGM
2003
Springer
15 years 8 months ago
2003
Springer
In this article we discuss the 2D-3D pose estimation problem of 3D free-form surface models. In our scenario we observe free-form surface models in an image of a calibrated camera....
114
Voted
ATAL
2001
Springer
15 years 8 months ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...