Result 1 to 20 of 109 total
Scalable data management in distributed information systems. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2011 workshops. Confederated international workshops and posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17‒21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25125-2/pbk). Lecture Notes in Computer Science 7046, 208-217 (2011).
1
A formal characterization of SI-based ROWA replication protocols. (English)
Data Knowl. Eng. 70, No. 1, 21-34 (2011).
2
A formal characterization of SI-based ROWA replication protocols (English)
Data Knowl. Eng. 70, No. 1, 21-34 (2011).
3
Scalable data management in distributed information systems (English)
OTM Workshops, 208-217 (2011).
4
Towards the next generation of model driven cloud platforms (English)
CLOSER, 494-500 (2011).
5
Revisiting and improving a result on integrity preservation by concurrent transactions. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2010 workshops. Confederated international workshops and posters: International workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25‒29, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16960-1/pbk). Lecture Notes in Computer Science 6428, 297-306 (2010).
6
The overhead of safe broadcast persistency (English)
ICSOFT (1), 111-120 (2010).
7
Revisiting and improving a result on integrity preservation by concurrent transactions (English)
OTM Workshops, 297-306 (2010).
8
Dynamic switching of total-order broadcast protocols (English)
PDPTA, 457-463 (2010).
9
Extending virtual synchrony with persistency (English)
PDPTA, 130-136 (2010).
10
A formal analysis of database replication protocols with SI replicas and crash failures. (English)
J. Supercomput. 50, No. 2, 121-161 (2009).
11
On the cost of prioritized atomic multicast protocols. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2009. Confederated international conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1‒6, 2009. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-05147-0/pbk). Lecture Notes in Computer Science 5870, 585-599 (2009).
12
Revising 1-copy equivalence in replicated databases with snapshot isolation. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2009. Confederated international conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1‒6, 2009. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-05147-0/pbk). Lecture Notes in Computer Science 5870, 467-483 (2009).
13
Parallel interconnection of broadcast systems with multiple FIFO channels. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2009. Confederated international conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1‒6, 2009. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-05147-0/pbk). Lecture Notes in Computer Science 5870, 449-466 (2009).
14
Correctness proof of a database replication protocol under the perspective of the I/O automaton model. (English)
Acta Inf. 46, No. 4, 297-330 (2009).
15
A formal analysis of database replication protocols with SI replicas and crash failures (English)
The Journal of Supercomputing 50, No. 2, 121-161 (2009).
16
On the study of dynamic and adaptive dependable distributed systems (English)
ICSOFT (2), 183-186 (2009).
17
On extending the primary-copy database replication paradigm (English)
ICSOFT (2), 99-106 (2009).
18
Parallel interconnection of broadcast systems with multiple FIFO channels (English)
OTM Conferences (1), 449-466 (2009).
19
On the cost of prioritized atomic multicast protocols (English)
OTM Conferences (1), 585-599 (2009).
20
Result 1 to 20 of 109 total
Start
Contact
Print
General Help
