Sciweavers

10995 search results - page 283 / 2199
» Positioning
Sort
View
SIGOPSE
1992
ACM
15 years 10 months ago
System support for shared objects
This position paper supports the view that a model based on shared objects is an attractive alternative to message passing for structuring distributed applications and that a distr...
Pierre-Yves Chevalier, Daniel Hagimont, Sacha Krak...
CAIP
2005
Springer
15 years 9 months ago
Automatic Human Model Generation
Abstract. The contribution presents an integrated system for automatic acquisition of a human torso model, using different input images. The output model consists of two free-form ...
Bodo Rosenhahn, Lei He, Reinhard Klette
CONEXT
2008
ACM
15 years 9 months ago
Overlay routing using coordinate systems
We address the problem of finding indirect overlay paths that reduce the latency between pairs of nodes in an overlay. To this end we propose to rely on an Internet Coordinate Sys...
François Cantin, Bamba Gueye, Dali Kaafar, ...
DEON
2008
Springer
15 years 9 months ago
Trust and Norms in the Context of Computer Security: A Logical Formalization
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
Emiliano Lorini, Robert Demolombe
AIML
2008
15 years 8 months ago
Proof systems for the coalgebraic cover modality
abstract. We investigate an alternative presentation of classical and positive modal logic where the coalgebraic cover modality is taken as primitive. For each logic, we present a ...
Marta Bílková, Alessandra Palmigiano...