Author: Publisher:
ISBN:
Category : Automata
Languages : en
Pages : 456
Book Description
22nd Annual Symposium on Foundations of Computer Science
Author: 35th Annual Symposium on Foundations of Computer Science
Author: Shafi GoldwasserPublisher:
ISBN: 9780818665820
Category : Computer science
Languages : en
Pages : 864
Book Description
41st Annual Symposium on Foundations of Computer Science
Author: Publisher: IEEE Computer Society Press
ISBN: 9780769508504
Category : Mathematics
Languages : en
Pages : 708
Book Description
Featuring 66 papers from the November 2000 conference in Redondo Beach, California, this volume presents recent--and in some cases, continuing--research in the fields of computer science and mathematics. Contributors tackle subjects like methods for extracting randomness, fairness measures for resource allocation, approximability, graph isomorphism, orthogonal range searching, testing functions, cryptography, clustering, opportunistic data structures, topological persistence and simplification, sampling, quantum Fourier transform, randomized rumor spreading, network design, and existential second-order logic. Name index only. Annotation copyrighted by Book News, Inc., Portland, OR.
32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, October 1-4, 1991
Author: Institute of Electrical and Electronics EngineersPublisher:
ISBN: 9780818624452
Category : Adaptive control systems
Languages : en
Pages : 848
Book Description
STACS 92
Author: Alain FinkelPublisher: Springer Science & Business Media
ISBN: 9783540552109
Category : Computers
Languages : en
Pages : 644
Book Description
This volume gives the proceedings of the ninth Symposium on Theoretical Aspects of Computer Science (STACS). This annual symposium is held alternately in France and Germany and is organized jointly by the Special Interest Group for Fundamental Computer Science of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (AFCET) and the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI). The volume includes three invited lectures and sections on parallel algorithms, logic and semantics, computational geometry, automata and languages, structural complexity, computational geometry and learning theory, complexity and communication, distributed systems, complexity, algorithms, cryptography, VLSI, words and rewriting, and systems.
Software Safety and Security
Author: NATO Emerging Security Challenges DivisionPublisher: IOS Press
ISBN: 1614990271
Category : Computers
Languages : en
Pages : 400
Book Description
Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. There has also been something of a breakthrough in the area of operating system verification. This book presents the lectures from the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security; a summer school held at Bayrischzell, Germany, in 2011. This Advanced Study Institute was divided into three integrated modules: Foundations of Safety and Security, Applications of Safety Analysis and Security Analysis. Subjects covered include mechanized game-based proofs of security protocols, formal security proofs, model checking, using and building an automatic program verifier and a hands-on introduction to interactive proofs. Bringing together many leading international experts in the field, this NATO Advanced Study Institute once more proved invaluable in facilitating the connections which will influence the quality of future research and the potential to transfer research into practice. This book will be of interest to all those whose work depends on the safety and security of software systems.
Computational Support for Discrete Mathematics
Author: Nathaniel DeanPublisher: American Mathematical Soc.
ISBN: 9780821870617
Category : Mathematics
Languages : en
Pages : 416
Book Description
With recent technological advances in workstations, graphics, graphical user interfaces, and object oriented programming languages, a significant number of researchers are developing general-purpose software and integrated software systems for domains in discrete mathematics, including graph theory, combinatorics, combinatorial optimization, and sets. This software aims to provide effective computational tools for research, applications prototyping, and teaching. In March 1992, DIMACS sponsored a workshop on Computational Support for Discrete Mathematics in order to facilitate interactions between the researchers, developers, and educators who work in these areas. Containing refereed papers based on talks presented at the workshop, this volume documents current and past research in these areas and should provide impetus for new interactions.
Naval Research Reviews
Author: Theory of Cryptography
Author: Eyal KushilevitzPublisher: Springer
ISBN: 366249096X
Category : Computers
Languages : en
Pages : 623
Book Description
The two-volume set LNCS 9562 and LNCS 9563 constitutes the refereedproceedings of the 13th International Conference on Theory ofCryptography, TCC 2016, held in Tel Aviv, Israel, in January 2016. The 45 revised full papers presented were carefully reviewed andselected from 112 submissions. The papers are organized in topicalsections on obfuscation, differential privacy, LWR and LPN, public key encryption, signatures, and VRF, complexity of cryptographic primitives, multiparty computation, zero knowledge and PCP, oblivious RAM, ABE and IBE, and codes and interactive proofs. The volume also includes an invited talk on cryptographic assumptions.
Handbook of Randomized Computing
Author: Sanguthevar RajasekaranPublisher: Springer Science & Business Media
ISBN: 9780792369585
Category : Computers
Languages : en
Pages : 554
Book Description