1382 search results - page 139 / 277 » Interactive pen-and-ink illustration |
170
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
Davies and Wakerly show that Byzantine fault tolerance can be achieved by a cascade of broadcasts and middle value select functions. We present an extension of the Davies and Waker...
184
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
172
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...
163
click to vote
MABS
2000
Springer
15 years 10 months ago
2000
Springer
Multi Agent Based Simulation (MABS) has been used mostly in purely social contexts. However, compared to other approaches, e.g., traditional discrete event simulation, object-orien...
171
click to vote
CBSE
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...