A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
SIGMOD Record, 43(1):9– (OSDI 2004), San Francisco, California, USA, December 6-8, 2004, pages 137–150, 20, 2014. 2004. ... PhD thesis, Indiana SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS University, 1994. ...doi:10.1145/3055399.3055460 dblp:conf/stoc/ImMS17 fatcat:gl3i27ozxbeuxj36iofd6l5e74
Under the design, we prove that malicious leaders will not hurt the system and will be evicted. Furthermore, we conduct a series of simulations to evaluate our design. ... In order to break the performance bottlenecks, we propose a reputation mechanism for selecting leaders. The term of reputation in our design reflects each node's honest computation resources. ... , as the reference committee/root chain needs to 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA. process cross-shard transactions sequentially. ...arXiv:2112.15322v1 fatcat:uaqrt57nt5hhxm6lxl5zua4jmq
In Proceedings of the ACM SIGMOD International Conference on Management of Data, (June 1988), 109-116. 30. pinheiro, e., Weber, W. ... In Proceedings of the 22nd Annual international Symposium on Computer Architecture (s. margherita Ligure, Italy, June 22-24). acm press, new york, 1995, 392-403. 31. ungerer, t., robic, B., and Šilc ... The university has a strong commitment to the principles of diversity and inclusion, and to maintaining working and learning environments that are free of all forms of discrimination. ...doi:10.1145/1839676.1839696 fatcat:hbqpm5boabe3jcpa4jcs7czf6y
Abstract The rise of technology that can support the active human body -in contrast to the previously prevalent paradigm of interacting with computers while sitting still -such as wearables, quantified ... The goal is to address key questions around the use of sensor data to support both instrumental and experiential perspectives of the active human body and to jump-start collaborations between people from ... License of the Computer Aided Verification -27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II, Lecture Notes in Computer Science, Vol. 9207, pp ...fatcat:7srdlw7mxfhrpiwdxshf2n455y