4356 search results - page 610 / 872 » Communicating Transactions - (Extended Abstract) |
141
click to vote
ICFEM
1997
Springer
15 years 10 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
179
click to vote
DCOSS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We are interested in the problem of computing the average consensus in a distributed fashion on random geometric graphs. We describe a new algorithm called Multi-scale Go...
166
click to vote
ARC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we present a networked lightweight and partially reconfigurable platform assisted by a remote bitstreams server. We propose a software and hardware architec...
171
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The vision of Ambient Intelligence is based on the ubiquity of information technology, the presence of computation, communication, and sensorial capabilities in an unlimi...
174
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been propo...