A formal method for rule analysis and validation in distributed data aggregation service
-
Published:2015-03-10
Issue:6
Volume:18
Page:1717-1736
-
ISSN:1386-145X
-
Container-title:World Wide Web
-
language:en
-
Short-container-title:World Wide Web
Author:
Serbanescu Vlad, Pop FlorinORCID, Cristea Valentin, Antoniu Gabriel
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Software
Reference24 articles.
1. Aamodt, K., et al.: The ALICE experiment at the CERN LHC. JINST 3, S08002 (2008) 2. Bessani, A., Correia, M., Quaresma, B., André, F., Sousa, P.: Depsky: dependable and secure storage in a cloud-of-clouds. In: Proceedings of the sixth conference on Computer systems, EuroSys ’11, pp 31–46. ACM, New York, NY, USA (2011) 3. Brampton, A., MacQuire, A., Rai, I.A., Race, N.J.P., Mathy, L.: Stealth distributed hash table: a robust and flexible super-peered dht. In: Proceedings of the 2006 ACM CoNEXT conference, CoNEXT ’06, pp 19:1–19:12. ACM, New York, NY, USA (2006) 4. Cappello, F., Caron, E., Dayde, M., Desprez, F., Jegou, Y., Primet, P., Jeannot, E., Lanteri, S., Leduc, J., Melab, N., Mornet, G., Namyst, R., Quetier, B., Richard, O.: Grid’5000: A large scale and highly reconfigurable grid experimental testbed. In: Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing, GRID ’05, pp 99–106. IEEE Computer Society, Washington, DC, USA (2005) 5. Chang, F., Dean, J., Ghemawat, S., Hsieh, W.C., Wallach, D.A., Burrows, M., Chandra, T., Fikes, A., Gruber, R.E.: Bigtable: A distributed storage system for structured data. ACM Trans. Comput. Syst. 26, 4:1–4:26 (2008)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
|
|