779 search results - page 39 / 156 » An Asynchronous Distributed Component Model and Its Semantic... |
149
click to vote
PODC
2012
ACM
13 years 4 months ago
2012
ACM
In recent years, there have been a few proposals to add a small amount of trusted hardware at each replica in a Byzantine fault tolerant system to cut back replication factors. Th...
129
Voted
FUIN
2008
15 years 2 months ago
2008
Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredic...
127
Voted
IJVR
2008
15 years 1 months ago
2008
One of the key functions to popularize 3D content services on virtual environments is on the extensibility of the underlying system. In our previous work, we had implemented an ext...
EPEW
2005
Springer
15 years 7 months ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
131
click to vote
FAST
2009
14 years 11 months ago
2009
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...