Reviewers have found these items notable and have self-selected them for review.
All Media Types
An automatic proving approach to parameterized verification
Li Y., Duan K., Jansen D., Pang J., Zhang L., Lv Y., Cai S. ACM Transactions on Computational Logic 19(4): 1-25, 2018. Type: Article
Network and security protocols occasionally require important but difficult to authenticate parameters such as the number in a communication party. The existing formal proofs of algorithms for verifying the required parameters in protocols by huma...
Feb 20 2019
Technology and the intelligence community: challenges and advances for the 21st century
Kosal M., Springer International Publishing, New York, NY, 2018. 287 pp. Type: Book (978-3-319752-31-0)
If you have no background in the US intelligence community and your interests include the history, ethics, and organizational dynamics of intelligence agencies, you will find this book interesting. Technical intelligence began as a supplement to h...
Feb 19 2019
Neighborhood semantics for modal logic
Pacuit E., Springer International Publishing, New York, NY, 2017. 154 pp. Type: Book (978-3-319671-48-2)
Reading and writing a review of this wonderful book has been a pleasure. Knowing the basics of propositional modal logic may explain why I enjoyed reading it. The author has gathered and surveyed many papers in writing this book. This is a must-re...
Feb 14 2019
Advance compression and watermarking technique for speech signals
Thanki R., Borisagar K., Borra S., Springer International Publishing, New York, NY, 2018. 69 pp. Type: Book (978-3-319690-68-1)
In a time of increased interest in security assurance, all topics related to watermarking are important. While the book’s focus is securing speech, a technologically related problem of compression is also covered. While we are mostly used to...
Feb 14 2019
Random numbers and computers
Kneusel R., Springer International Publishing, New York, NY, 2018. 260 pp. Type: Book (978-3-319776-96-5), Reviews: (3 of 3)
has previously published a review of this book (see Review CR146350). The author of the book has written a rebuttal to the review (see Review CR146432), and the reviewer has written a re-rebuttal.]...
Feb 13 2019
Distributed computing pearls
Taubenfeld G., Morgan&Claypool Publishers, San Rafael, CA, 2018. 123 pp. Type: Book (978-1-681733-48-7)
In computer science, the term “synchronization” can relate to coordination between processors or to contention. So I was expecting to find some program examples using the open message passing interface (OpenMPI) or a discussion of dist...
Feb 13 2019
Mobile payment systems: secure network architectures and protocols
Téllez J., Zeadally S., Springer International Publishing, New York, NY, 2017. 133 pp. Type: Book (978-3-319230-32-0)
These days, if you go shopping in any of China’s major cities, one thing that you will probably not see is people making purchases using cash, or for that matter credit cards. Whether buying a TV, a burger, or groceries, the majority of reta...
Feb 12 2019
Individual and collective graph mining: principles, algorithms, and applications
Koutra D., Faloutsos C., Morgan&Claypool Publishers, San Rafael, CA, 2018. 206 pp. Type: Book (978-1-681730-39-4)
Having recently finished my course on web intelligence, with topics such as knowledge graphs, social network analysis, and web mining, as well as supervising a PhD candidate on graph-based querying and pattern matching for linked open data, this b...
Feb 11 2019
Cross-dependency inference in multi-layered networks: a collaborative filtering perspective
Chen C., Tong H., Xie L., Ying L., He Q. ACM Transactions on Knowledge Discovery from Data 11(4): 1-26, 2017. Type: Article
Current and emerging networks have a duty to promote interconnections for new collaborative research and business between academia and industry. Multi-layered networks require descriptions of relations among nodes from different network nodes to e...
Feb 11 2019
Improving integrated development environment commands knowledge with recommender systems
Gasparic M., Gurbanov T., Ricci F. ICSE-SEET 2018 (Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training, Gothenburg, Sweden, May 27-Jun 3, 2018) 88-97, 2018. Type: Proceedings
Integrated development environments (IDEs) are an essential part of software developers’ toolkits, enabling them to efficiently author, manage, and test their development projects. As a developer’s familiarity with IDE commands and fun...
Feb 11 2019
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2019 ThinkLoud, Inc.