Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > General Term: Theory  
 
Options:
 
  1-10 of 10825 Reviews with General Term: Theory Date Reviewed
  Encyclopedia of applied and computational mathematics
Engquist B.,  Springer International Publishing, New York, NY, 2016. 1564 pp. Type: Book (978-3-662528-72-3)

Encyclopedia of applied and computational mathematics (EACM) is a comprehensive reference work covering the vast field of applied and computational mathematics. The emphasis on computation reflects growing trends in the area. Areas like phy...

Nov 13 2017
  Reasoning about uncertainty (2nd ed.)
Halpern J.,  The MIT Press, Cambridge, MA, 2017. 504 pp. Type: Book (978-0-262533-80-5)

Halpern’s first edition, published in 2003, was recognized as: “a fine book and a mighty piece of scholarship” [1]; “an inspiring book, multifaceted and full of fresh reflections, findings and examples” [2]; and ̶...

Oct 25 2017
  Uniform continuity of relations and nondeterministic cellular automata
Furusawa H.  Theoretical Computer Science 673 19-29, 2017. Type: Article

Cellular automata are computational structures that can be applied for modeling a wide range of systems in different areas of science. Usually they are characterized by local rules operating on individual cells and their neighborhoods. This paper ...

Oct 19 2017
  Fast rendezvous on a cycle by agents with different speeds
Feinerman O., Korman A., Kutten S., Rodeh Y.  Theoretical Computer Science 688 77-85, 2017. Type: Article

Feinerman et al. provide illustrations concerned with the usefulness of different processing speeds and asynchrony of tasks of the operating agents in distributed computing systems. To investigate the rendezvous (meeting point) problem, a cycle to...

Oct 16 2017
  An introduction to online computation: determinism, randomization, advice
Komm D.,  Springer International Publishing, New York, NY, 2016. 349 pp. Type: Book (978-3-319427-47-8)

This text is an important contribution to the field of online algorithms. In a traditional (offline) algorithm all of the data is present before the algorithm executes. While for an online algorithm the data is presented in a piecewise fashion, mo...

Oct 3 2017
  Partial evaluation of string obfuscations for Java malware detection
Chawdhary A., Singh R., King A.  Formal Aspects of Computing 29(1): 33-55, 2017. Type: Article

Cyber security has become a major concern in government, industry, and academia and in the everyday lives of individuals. How we secure our information systems and maintain the privacy and integrity of our online presence and data is a significant...

Oct 2 2017
  Basic graph theory
Rahman M.,  Springer International Publishing, New York, NY, 2017. 169 pp. Type: Book (978-3-319494-74-6)

Graph theory is fundamental to many modern algorithms in computer science (CS). Basic graph theory provides an introduction to the concepts for undergraduates. Unfortunately, the book is flawed in several respects....

Sep 29 2017
  Guide to pairing-based cryptography
El Mrabet N., Joye M.,  Chapman & Hall/CRC, Boca Raton, FL, 2016. 420 pp. Type: Book (978-1-498729-50-5)

In this context, a pairing is a bilinear map from two (not necessarily distinct) groups G1,G2 to a third. In cryptography, pairings are almost inevitably constructed from el...

Sep 27 2017
  The stuff of bits
Dourish P. (ed),  MIT Press, Cambridge, MA, 2017.Type: Book (9780262036207)

We live in the Information Age, but that does not mean everything is virtual. We use our computers, which are physical entities. These computers are connected to data centers scattered across the globe, and these are physical entities. Between us ...

Sep 26 2017
  Becoming agile: a grounded theory of agile transitions in practice
Hoda R., Noble J.  ICSE 2017 (Proceedings of the 39th International Conference on Software Engineering, Buenos Aires, Argentina,  May 20-28, 2017) 141-151, 2017. Type: Proceedings

The delusion of agility is as common among practicing software engineering teams as is the common cold during the fall season. A software development life cycle (SDLC) as sophisticated as agile can thrive if a team can express a sufficient maturit...

Sep 7 2017
 
 
 
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy