5599 search results - page 882 / 1120 » Abstract State Services |
178
Voted
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper introduces an efficient way of representing textures using connected regions which are formed by coherent multi-scale over-segmentations. We show that the rece...
227
Voted
GPC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
159
click to vote
HIPEAC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Publish-subscribe systems present the state of the art in information dissemination to multiple users. Such systems have evolved from simple topic-based to the current XM...
164
click to vote
ICDCN
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We re-visit the problem of perfectly secure message transmission (PSMT) in a directed network under the presence of a threshold adaptive Byzantine adversary, having unbou...
240
Voted
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...