6608 search results - page 1158 / 1322 » On the Completeness of Model Checking |
156
click to vote
ASIACRYPT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A two-argument function is computed privately by two parties if after the computation, no party should know anything about the other inputs except for what he is able to ...
128
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Cooperation among autonomous agents involves an inherent degree of uncertainty. Agents determine for themselves when to initiate cooperation or to assist others, when to rescind c...
145
click to vote
EMMCVPR
2005
Springer
15 years 10 months ago
2005
Springer
We present a novel approach to the matching of subgraphs for object recognition in computer vision. Feature similarities between object model and scene graph are complemented with ...
153
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
107
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...