A Constraint-Based Formalism for Consistency in Replicated Systems (English)
- New search for: Shapiro, M.
- New search for: Bhargavan, K.
- New search for: Krishna, N.
- New search for: Shapiro, M.
- New search for: Bhargavan, K.
- New search for: Krishna, N.
- New search for: Higashino, Teruo
In:
Principles of distributed systems; OPODIS 2004
3544
;
331-345
;
2005
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:A Constraint-Based Formalism for Consistency in Replicated Systems
-
Contributors:
-
Conference:International conference; 8th, Principles of distributed systems; OPODIS 2004 ; 2004 ; Grenoble, France
-
Published in:Principles of distributed systems; OPODIS 2004 , 3544 ; 331-345LECTURE NOTES IN COMPUTER SCIENCE , 3544 ; 331-345
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin , [London]
-
Publication date:2005-01-01
-
Size:15 pages
-
Remarks:Conference proceedings. Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Protocol System Integration, Interface and InteroperabilityLee, D. / Liu, C. / Yannakakis, M. et al. | 2005
- 20
-
DART: Distributed Automated Regression Testing for Large-Scale Network ApplicationsChun, B. N. et al. | 2005
- 37
-
Testing Mobile and Distributed Systems: Method and ExperimentationLaurencot, P. / Salva, S. et al. | 2005
- 52
-
A UNITY-Based Framework Towards Component Based SystemsPrasetya, I. S. W. B. / Vos, T. E. J. / Azurat, A. / Swierstra, S. D. et al. | 2005
- 67
-
Searching for a Black Hole in Tree NetworksCzyzowicz, J. / Kowalski, D. / Markou, E. / Pelc, A. et al. | 2005
- 81
-
Fast Localized Delaunay TriangulationAraujo, F. / Rodrigues, L. et al. | 2005
- 94
-
Robust Topology Control ProtocolsGhosh, S. / Lillis, K. / Pandit, S. / Pemmaraju, S. et al. | 2005
- 110
-
A Scheme Encouraging Mobile Nodes to Forward Packets via Multiple Wireless Links Aggregating System Between the Internet and Mobile Ad Hoc NetworksIto, Y. / Mineno, H. / Ishihara, S. et al. | 2005
- 124
-
A Protocol for Recording Provenance in Service-Oriented GridsGroth, P. / Luck, M. / Moreau, L. et al. | 2005
- 140
-
Self-optimizing DHTs Using Request ProfilingBejan, A. / Ghosh, S. et al. | 2005
- 154
-
Computing All the Best Swap Edges DistributivelyFlocchini, P. / Pagli, L. / Prencipe, G. / Santoro, N. / Widmayer, P. / Zuva, T. et al. | 2005
- 169
-
SRF TCP: A TCP-Friendly and Fair Congestion Control Method for High-Speed NetworksFukuhara, M. / Hirose, F. / Hatano, T. / Shigeno, H. / Okada, K.-i. et al. | 2005
- 184
-
Embedded Systems - Challenges and Work DirectionsSifakis, J. et al. | 2005
- 186
-
Comparison of Failures and Attacks on Random and Scale-Free NetworksGuillaume, J.-L. / Latapy, M. / Magnien, C. et al. | 2005
- 197
-
Firewall QueriesLiu, A. X. / Gouda, M. G. / Ma, H. H. / Ngu, A. H. et al. | 2005
- 213
-
Self-tuning Reactive Distributed Trees for Counting and BalancingHa, P. H. / Papatriantafilou, M. / Tsigas, P. et al. | 2005
- 229
-
Optimal Resilience Asynchronous Approximate AgreementAbraham, I. / Amit, Y. / Dolev, D. et al. | 2005
- 240
-
Lock-Free and Practical Doubly Linked List-Based Deques Using Single-Word Compare-and-SwapSundell, H. / Tsigas, P. et al. | 2005
- 256
-
A Dynamic Reconfiguration Tolerant Self-stabilizing Token Circulation Algorithm in Ad-Hoc NetworksKakugawa, H. / Yamashita, M. et al. | 2005
- 267
-
Snap-Stabilizing Depth-First Search on Arbitrary NetworksCournier, A. / Devismes, S. / Petit, F. / Villain, V. et al. | 2005
- 283
-
A Self-stabilizing Link-Coloring Protocol Resilient to Byzantine Faults in Tree NetworksSakurai, Y. / Ooshita, F. / Masuzawa, T. et al. | 2005
- 299
-
A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor NetworksDemirbas, M. / Arora, A. / Nolte, T. / Lynch, N. et al. | 2005
- 316
-
The Quorum Deployment ProblemGilbert, S. / Malewicz, G. et al. | 2005
- 331
-
A Constraint-Based Formalism for Consistency in Replicated SystemsShapiro, M. / Bhargavan, K. / Krishna, N. et al. | 2005
- 346
-
Analyzing Convergence in Consistency Models for Distributed ObjectsTorres-Rojas, F. J. / Meneses, E. et al. | 2005
- 357
-
Directional Versus Omnidirectional Antennas for Energy Consumption and k-Connectivity of Networks of SensorsKranakis, E. / Krizanc, D. / Williams, E. et al. | 2005
- 369
-
Secure Location Verification Using Radio BroadcastVora, A. / Nesterenko, M. et al. | 2005
- 384
-
Sentries and Sleepers in Sensor NetworksGouda, M. G. / Choi, Y.-r. / Arora, A. et al. | 2005
- 400
-
Clock Synchronization for Wireless NetworksFan, R. / Chakraborty, I. / Lynch, N. et al. | 2005
- 415
-
Task Assignment Based on Prioritising Traffic FlowsBroberg, J. / Tari, Z. / Zeephongsekul, P. et al. | 2005
- 431
-
A Novel Distributed Scheduling Algorithm for Resource Sharing Under Near-Heavy LoadCarvalho, D. / Protti, F. / De Gregorio, M. / Franca, F. M. G. et al. | 2005
- 443
-
Internet Computing of Tasks with Dependencies Using Unreliable WorkersGao, L. / Malewicz, G. et al. | 2005