Result 1 to 20 of 123 total
Behavioural subtyping using invariants and constraints. (English)
Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 254-280 (2010).
1
MPSS: mobile proactive secret sharing. (English)
ACM Trans. Inf. Syst. Secur. 13, No. 4, 34 (2010).
2
The power of abstraction (invited lecture abstract). (English)
Lynch, Nancy A. (ed.) et al., Distributed computing. 24th international symposium, DISC 2010, Cambridge, MA, USA, September 13‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15762-2/pbk). Lecture Notes in Computer Science 6343, 3 (2010).
3
From viewstamped replication to Byzantine fault tolerance. (English)
Charron-Bost, Bernadette (ed.) et al., Replication. Theory and practice. Berlin: Springer (ISBN 978-3-642-11293-5/pbk). Lecture Notes in Computer Science 5959, 121-149 (2010).
4
Transactional consistency and automatic management in an application data cache (English)
OSDI, 279-292 (2010).
5
From viewstamped replication to byzantine fault tolerance (English)
Replication, 121-149 (2010).
6
The power of abstraction - (Invited lecture abstract) (English)
DISC, 3 (2010).
7
Full-information lookups for peer-to-peer overlays (English)
IEEE Trans. Parallel Distrib. Syst. 20, No. 9, 1339-1351 (2009).
8
Tolerating latency in replicated state machines through client speculation (English)
NSDI, 245-260 (2009).
9
Mobile proactive secret sharing (English)
PODC, 458 (2008).
10
Mapjax: data structure abstractions for asynchronous web applications (English)
USENIX Annual Technical Conference, 101-114 (2007).
11
Tolerating byzantine faults in transaction processing systems using commit barrier scheduling (English)
SOSP, 59-72 (2007).
12
Greedy virtual coordinates for geographic routing (English)
ICNP, 71-80 (2007).
13
Epichord: Parallelizing the chord lookup algorithm with reactive routing state management. (English)
Comput. Commun. 29, No. 9, 1243-1259 (2006).
14
Geographic routing without planarization (English)
NSDI (2006).
15
HQ replication: A hybrid quorum protocol for byzantine fault tolerance (English)
OSDI, 177-190 (2006).
16
Tolerating byzantine faulty clients in a quorum system (English)
ICDCS, 34 (2006).
17
Modular software upgrades for distributed systems (English)
ECOOP, 452-476 (2006).
18
Byzantine clients rendered harmless. (English)
Fraigniaud, Pierre (ed.), Distributed computing. 19th international conference, DISC 2005, Cracow, Poland, September 26‒29, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29163-6/pbk). Lecture Notes in Computer Science 3724, 487-489 (2005).
19
Path vector face routing: geographic routing with local face information (English)
ICNP, 147-158 (2005).
20
Result 1 to 20 of 123 total
Start
Contact
Print
General Help
