8555 search results - page 196 / 1711 » Property Based Coordination |
155
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— We propose a compositional stability analysis methodology for verifying properties of systems that are interconnections of multiple subsystems. The proposed method assembles st...
121
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. Given the projection of a su cient numberof points it is possible to algebraically eliminate the camera parameters and obtain viewinvariant functions of image coordinates...
164
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
154
Voted
WOSS
2004
ACM
15 years 10 months ago
2004
ACM
Components in a decentralised system are faced with uncertainty as how to best adapt to a changing environment to maintain or optimise system performance. How can individual compo...
156
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we investigate the relationship between two problems, related to distributed systems, that are of particular interest in the context of Service Oriented Computing: at...