950 search results - page 137 / 190 » Process Algebra in PVS |
195
click to vote
CSFW
2003
IEEE
15 years 10 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...
170
click to vote
SAC
2003
ACM
15 years 10 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...
162
click to vote
DAGM
2003
Springer
15 years 10 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....
131
click to vote
ATAL
2001
Springer
15 years 10 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...
133
Voted
IEAAIE
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...