Описание: The projects tackled by the software development industry have grown in scale and complexity. Costs are increasing along with the number of developers. Power bills for distributed projects have reached the point where optimisations pay literal dividends. Over the last 10 years, a software development movement has gained traction, a movement founded in games development. The limited resources and complexity of the software and hardware needed to ship modern game titles demanded a different approach.Data-oriented design is inspired by high-performance computing techniques, database design, and functional programming values. It provides a practical methodology that reduces complexity while improving performance of both your development team and your product. Understand the goal, understand the data, understand the hardware, develop the solution.This book presents foundations and principles helping to build a deeper understanding of data-oriented design. It provides instruction on the thought processes involved when considering data as the primary detail of any project.
Автор: Gallina Название: Computer Safety, Reliability, and Security ISBN: 3319991299 ISBN-13(EAN): 9783319991290 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in V ster s, Sweden, in September 2018.
The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk.
Автор: Larsen Per, Sadeghi Ahmad-Reza Название: The Continuing Arms Race: Code-Reuse Attacks and Defenses ISBN: 1970001801 ISBN-13(EAN): 9781970001808 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 10352.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: As human activities moved to the digital domain, so did all the well-known malicious behaviors including fraud, theft, and other trickery. There is no silver bullet, and each security threat calls for a specific answer. One specific threat is that applications accept malformed inputs, and in many cases it is possible to craft inputs that let an intruder take full control over the target computer system.The nature of systems programming languages lies at the heart of the problem. Rather than rewriting decades of well-tested functionality, this book examines ways to live with the (programming) sins of the past while shoring up security in the most efficient manner possible. We explore a range of different options, each making significant progress towards securing legacy programs from malicious inputs.The solutions explored include enforcement-type defenses, which excludes certain program executions because they never arise during normal operation. Another strand explores the idea of presenting adversaries with a moving target that unpredictably changes its attack surface thanks to randomization. We also cover tandem execution ideas where the compromise of one executing clone causes it to diverge from another thus revealing adversarial activities. The main purpose of this book is to provide readers with some of the most influential works on run-time exploits and defenses. We hope that the material in this book will inspire readers and generate new ideas and paradigms.
Автор: Marcus Handte, Pedro Jose Marron, Gregor Schiele, Manuel Serrano Matoses Название: Adaptive Middleware for the Internet of Things: The GAMBAS Approach ISBN: 8793519788 ISBN-13(EAN): 9788793519787 Издательство: Taylor&Francis Рейтинг: Цена: 14086.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Over the past years, a considerable amount of effort has been devoted, both in industry and academia, towards the development of basic technology as well as innovative applications for the Internet of Things. Adaptive Middleware for the Internet of Things introduces a scalable, interoperable and privacy-preserving approach to realize IoT applications and discusses abstractions and mechanisms at the middleware level that simplify the realization of services that can adapt autonomously to the behavior of their users. Technical topics discussed in the book include: Behavior-driven Autonomous Services GAMBAS Middleware Architecture Generic and Efficient Data Acquisition Interoperable and Scalable Data Processing Automated Privacy Preservation Adaptive Middleware for the Internet of Things summarizes the results of the GAMBAS research project funded by the European Commission under Framework Programme 7. It provides an in-depth description of the middleware system developed by the project consortium. In addition, the book describes several innovative mobility and monitoring applications that have been built, deployed and operated to evaluate the middleware under realistic conditions with a large number of users. Adaptive Middleware for the Internet of Things is ideal for personnel in the computer and communication industries as well as academic staff and research students in computer science interested in the development of systems and applications for the Internet of Things.
Описание: Based on their experience at Google, software engineers Titus Winters and Hyrum Wright, along with technical writer Tom Manshreck, present a candid and insightful look at how some of the world`s leading practitioners construct and maintain software.
Автор: Alexander Romanovsky; Elena Troubitsyna; Friedeman Название: Computer Safety, Reliability, and Security ISBN: 3030266001 ISBN-13(EAN): 9783030266004 Издательство: Springer Рейтинг: Цена: 8104.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions.
Описание: Enterprise resource planning (ERP) is a class of integrated software that uses software technologies to implement real-time management of business processes in an organization. ERPs normally cut across organizations, making them large and complex. Software researchers have for many years established that complexity affects software quality negatively and must therefore be controlled with novel metrics and models of evaluation that can determine when the software is at acceptable levels of quality and when not. Metrics and Models for Evaluating the Quality and Effectiveness of ERP Software is a critical scholarly publication that examines ERP development, performance, and challenges in business settings to help improve decision making in organizations that have embraced ERPs, improve the efficiency and effectiveness of their activities, and improve their return on investments (ROI). Highlighting a wide range of topics such as data mining, higher education, and security, this book is essential for professionals, software developers, researchers, academicians, and security professionals.
Автор: Brahim Hamid; Barbara Gallina; Asaf Shabtai; Yuval Название: Security and Safety Interplay of Intelligent Software Systems ISBN: 3030168735 ISBN-13(EAN): 9783030168735 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Interplay of Security, Safety and System/Software Architecture, CSITS 2018, and the International Workshop on Cyber Security for Intelligent Transportation Systems, ISSA 2018, held in Barcelona, Spain, in September 2018, in conjunction with the 23rd European Symposium on Research in Computer Security, ESORICS 2018.The ISSA 2018 workshop received 10 submissions from which 3 full papers and 1 short paper were accepted. They cover topics such as software security engineering, domain-specific security and privacy architectures, and automative security. In addition, an invited paper on safety and security co-engineering intertwining is included. The CSITS 2018 workshop received 9 submissions from which 5 full papers and 1 short paper were accepted. The selected papers deal with car security and aviation security.
This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems. Symbolic execution is a systematic program analysis technique which explores multiple program behaviors all at once by collecting and solving symbolic constraints collected from the branching conditions in the program. The obtained solutions can be used as test inputs that execute feasible program paths. Symbolic execution has found many applications in various domains, such as security, smartphone applications, operating systems, databases, and more recently deep neural networks, uncovering subtle errors and unknown vulnerabilities. We review here the technique has also been extended to reason about algorithmic complexity and resource consumption.
Furthermore, symbolic execution has been recently extended with probabilistic reasoning, allowing one to reason about quantitative properties of software systems. The approach computes the conditions to reach target program events of interest and uses model counting to quantify the fraction of the input domain satisfying these conditions thus computing the probability of event occurrence. This probabilistic information can be used for example to compute the reliability of an aircraft controller under different wind conditions (modeled probabilistically) or to quantify the leakage of sensitive data in a software system, using information theory metrics such as Shannon entropy.
This book is intended for students and software engineers who are interested in advanced techniques for testing and verifying software systems.
Автор: Huang, Dijiang Chowdhary, Ankur Pisharody, Sandeep Название: Software-defined networking and security ISBN: 036778064X ISBN-13(EAN): 9780367780647 Издательство: Taylor&Francis Рейтинг: Цена: 7501.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book seeks to educate the reader regarding Cyber Maneuver or Adaptive Cyber Defense.
Автор: Das Название: The Science of Biometrics ISBN: 1138594423 ISBN-13(EAN): 9781138594425 Издательство: Taylor&Francis Рейтинг: Цена: 26796.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Science of Biometrics covers technical aspects of iris and facial recognition, focusing primarily on mathematical and statistical algorithms that run the verification and identification processes in these modalities.
Автор: Juan Caballero; Eric Bodden; Elias Athanasopoulos Название: Engineering Secure Software and Systems ISBN: 331930805X ISBN-13(EAN): 9783319308050 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Symposium on Engineering Secure Software and Systems, ESSoS 2016, held in London, UK, in April 2016.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
