Angebote zu "Reliable" (18 Treffer)

Kategorien

Shops

Introduction to Reliable and Secure Distributed...
58,99 € *
ggf. zzgl. Versand

In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Failures may range from crashes to adversarial attacks by malicious processes.Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one topic, covering reliable broadcast, shared memory, consensus, and extensions of consensus. For every topic, many exercises and their solutions enhance the understanding This book represents the second edition of ´´Introduction to Reliable Distributed Programming´´. Its scope has been extended to include security against malicious actions by non-cooperating processes. This important domain has become widely known under the name ´´Byzantine fault-tolerance´´. In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Failures may range from crashes to adversarial attacks by malicious processes.Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one topic, covering reliable broadcast, shared memory, consensus, and extensions of consensus. For every topic, many exercises and their solutions enhance the understanding This book represents the second edition of ´´Introduction to Reliable Distributed Programming´´. Its scope has been extended to include security against malicious actions by non-cooperating processes. This important domain has become widely known under the name ´´Byzantine fault-tolerance´´.

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot
Production-Ready Microservices
27,99 € *
ggf. zzgl. Versand

In this practical book, author Susan Fowler presents a set of microservice standards in depth, drawing from her experience standardizing over a thousand microservices at Uber. You´ll learn how to design microservices that are stable, reliable, scalable, fault tolerant, performant, monitored, documented, and prepared for any catastrophe.

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot
Pattern Recognition and Neural Networks
47,99 € *
ggf. zzgl. Versand

This 1996 book is a reliable account of the statistical framework for pattern recognition and machine learning. Valuable advice is included on both theory and applications, while case studies based on real data sets help readers develop their understanding. All data sets are available from www.stats.ox.ac.uk/~ripley/PRbook/

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot
Concepts of Soft Computing
55,99 € *
ggf. zzgl. Versand

This book discusses soft computing, which provides an efficient platform to deal with imprecision, uncertainty, vagueness and approximation in order to attain robustness and reliable computing. It explores two major concepts of soft computing: fuzzy set theory and neural networks, which relate to uncertainty handling and machine learning techniques respectively. Generally, fuzzy sets are considered as vague or uncertain sets having membership function lying between 0 and 1, and ANN is a type of artificial intelligence that attempts to imitate the way a human brain works by configuring specific applications, for instance pattern recognition or data classification, through learning processes. The book also presents C/MATLAB programming codes related to the basics of fuzzy set, interval arithmetic and ANN in a concise, practical and adaptable manner along, with simple examples and self-validation unsolved practice questions in few cases

Anbieter: buecher.de
Stand: 19.05.2019
Zum Angebot
Principles of Program Analysis
51,99 € *
ggf. zzgl. Versand

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot
Designing Mobile Payment Experiences
21,99 € *
ggf. zzgl. Versand

Now that consumer purchases with mobile phones are on the rise, how do you design a payment app that?s safe, easy to use, and compelling? With this practical book, interaction and product designer Skip Allums provides UX best practices and recommendations to help you create familiar, friendly, and trustworthy experiences. Consumers want mobile transactions to be as fast and reliable as cash or bank cards. This book shows designers, developers, and product managers?from startups to financial institutions?how to design mobile payments that not only safeguard identity and financial data, but also provide value-added features that exceed customer expectations. * Learn about the major mobile payment frameworks: NFC, cloud, and closed loop * Examine the pros and cons of Google Wallet, Isis, Square, PayPal, and other payment apps * Provide walkthroughs, demos, and easy registration to quickly gain a new user?s trust * Design efficient point-of-sale interactions, using NFC, QR, barcodes, or geolocation * Add peripheral services such as points, coupons and offers, and money management

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot
Rigorous Software Development
28,99 € *
ggf. zzgl. Versand

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. The idea of specifying the behaviour of individual software components by attaching contracts to them is now a widely followed approach in program development, which has given rise notably to the development of a number of behavioural interface specification languages and program verification tools. A foundation for the static verification of programs based on contract-annotated routines is laid out in the book. These can be independently verified, which provides a modular approach to the verification of software. The text assumes only basic knowledge of standard mathematical concepts that should be familiar to any computer science student. It includes a self-contained introduction to propositional logic and first-order reasoning with theories, followed by a study of program verification that combines theoretical and practical aspects - from a program logic (a variant of Hoare logic for programs containing user-provided annotations) to the use of a realistic tool for the verification of C programs (annotated using the ACSL specification language), through the generation of verification conditions and the static verification of runtime errors.

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot
Designing Interfaces
34,99 € *
ggf. zzgl. Versand

Despite all of the UI toolkits available today, it´s still not easy to design good application interfaces. This bestselling book is one of the few reliable sources to help you navigate through the maze of design options. By capturing UI best practices and reusable ideas as design patterns, Designing Interfaces provides solutions to common design problems that you can tailor to the situation at hand. This updated edition includes patterns for mobile apps and social media, as well as web applications and desktop software. Each pattern contains full-color examples and practical design advice that you can use immediately. Experienced designers can use this guide as a sourcebook of ideas; novices will find a roadmap to the world of interface and interaction design. * Design engaging and usable interfaces with more confidence and less guesswork * Learn design concepts that are often misunderstood, such as affordances, visual hierarchy, navigational distance, and the use of color * Get recommendations for specific UI patterns, including alternatives and warnings on when not to use them * Mix and recombine UI ideas as you see fit * Polish the look and feel of your interfaces with graphic design principles and patterns ´´Anyone who´s serious about designing interfaces should have this book on their shelf for reference. It´s the most comprehensive cross-platform examination of common interface patterns anywhere.´´--Dan Saffer, author of Designing Gestural Interfaces (O´Reilly) and Designing for Interaction (New Riders)

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot
Poc Gtfo
36,99 € *
ggf. zzgl. Versand

This highly anticipated print collection gathers articles published in the much-loved International Journal of Proof-of-Concept or Get The Fuck Out. PoC GTFO follows in the tradition of Phrack and Uninformed by publishing on the subjects of offensive security research, reverse engineering, and file format internals. Until now, the journal has only been available online or printed and distributed for free at hacker conferences worldwide. Consistent with the journal´s quirky, biblical style, this book comes with all the trimmings: a leatherette cover, ribbon bookmark, bible paper, and gilt-edged pages. The book features more than 80 technical essays from numerous famous hackers, authors of classics like ´Reliable Code Execution on a Tamagotchi,´ ´ELFs are Dorky, Elves are Cool,´ ´Burning a Phone,´ ´Forget Not the Humble Timing Attack,´ and ´A Sermon on Hacker Privilege.´ Twenty-four full-color pages by Ange Albertini illustrate many of the clever tricks described in the text.

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot