Ditemukan 4 dokumen yang sesuai dengan query
Storm, Christian, author
Data replication by employing quorum systems is an important concept to improve operation availability on data objects in distributed systems that have strong data consistency demands. These data replication schemes must be modeled and carefully evaluated with respect to different quality measures. Christian Storm addresses the former by a uniform...
Wiesbaden: Springer, 2012
e20406686
eBooks Universitas Indonesia Library
Goodloe, Alwyn E., editor
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are...
Berlin: [Springer-Verlag, ], 2012
e20410496
eBooks Universitas Indonesia Library
This book covers various aspects of security, privacy and reliability in Internet of Things (IoT) and Cyber-Physical System design, analysis and testing. In particular, various established theories and practices both from academia and industry are presented and suitably organized targeting students, engineers and researchers. Fifteen leading academicians and practitioners wrote...
Switzerland: Springer Nature, 2019
e20509832
eBooks Universitas Indonesia Library
This book covers the history and recent developments of stochastic computing. Stochastic computing (SC) was first introduced in the 1960s for logic circuit design, but its origin can be traced back to von Neumanns work on probabilistic logic. In SC, real numbers are encoded by random binary bit streams, and...
Switzerland: Springer Nature, 2019
e20509735
eBooks Universitas Indonesia Library
