Описание: In this practical and comprehensive guide, author Martin Kleppmann helps you navigate this diverse landscape by examining the pros and cons of various technologies for processing and storing data.
Описание: 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.
Описание: Many techniques have been developed to control the variety of dynamic systems. To develop those control techniques, it is fundamental to know the mathematical relations between the system inputs and outputs.Incorporating Nature-Inspired Paradigms in Computational Applications is a critical scholarly resource that examines the application of nature-inspired paradigms on system identification. Featuring coverage on a broad range of topics such as biogeographic computation, evolutionary control systems, and natural computing, this book is geared towards IT professionals, engineers, computer scientists, academicians, researchers, and graduate-level students seeking current research on the application of nature-inspired paradigms.
Описание: The operational theme permeating most definitions of the IoT concept, is the wireless communication of networked objects, in particular, smart sensing devices and machines, exchanging data a la Internet. In this book, a detailed look is taken at the fundamental principles of devices and techniques whose exploitation will facilitate the development of compact, power-efficient, autonomous, smart, networked sensing nodes underlying and encompassing the emerging IoT era.
The book provides an understanding of nanoelectromechanical quantum circuits and systems (NEMX), as exemplified by firstly the uncovering of their origins, impetus and motivation, and secondly by developing an understanding of their device physics, including, the topics of actuation, mechanical vibration and sensing. Next the fundamentals of key devices, namely, MEMS/NEMS switches, varactors and resonators are covered, including a wide range of implementations. The book then looks at their energy supply via energy harvesting, as derived from wireless energy and mechanical vibrations. Finally, after an introduction to the fundamentals of IoT networks and nodes, the book concludes with an exploration of how the NEMX components are encroaching in a variety of emerging IoT applications.
Название: Smart Card Security And Applications ISBN: 0890069530 ISBN-13(EAN): 9780890069530 Издательство: Artech House Рейтинг: Цена: 16447.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This work aims to offer the reader with an understanding of the benefits and limitations of smart cards for secure applications, and shows how to make smart cards effective in protecting data and information.
Автор: Chiara Bodei; Gianluigi Ferrari; Corrado Priami Название: Programming Languages with Applications to Biology and Security ISBN: 3319255266 ISBN-13(EAN): 9783319255262 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Pierpaolo Degano.- Pierpaolo, a great friend.- Distributed Authorization with Distributed Grammars.- Causal Trees, fi nally.- Limited Disclosure and Locality in Graphs.- Hoare Logic for Disjunctive Information Flow.- Alice and Bob: Reconciling Formal Models and Implementation.- Asynchronous Traces and Open Petri Nets.- Compliance in Behavioural Contracts: A Brief Survey.- Safe Adaptation Through Implicit Effect Coercion.- Validation of Decentralised Smart Contracts through Game Theory and Formal Methods.- Static Evidences for Attack Reconstruction.- A Declarative View of Signaling Pathways.- Securing Android with Local Policies.- Global Protocol Implementations via Attribute-Based Communication.- Symbolic Protocol Analysis with Disequality Constraints modulo Equational Theories.- Language Representability of Finite P/T Nets.- Soulmate Algorithms.- Active Knowledge, LuNA and Literacy for Oncoming Centuries.- There Are Two Sides to Every Question: Controller vs Attacker.- From Safety Critical Java Programs to Timed Process Models.- When to Move to Transfer Nets.- L: An Imperative DSL to Stochastically Simulate Biological Systems.
Описание: Networking capabilities have been significantly enhanced in recent years. With emerging advancements in technology, wireless communication has increased exponentially. Routing Protocols and Architectural Solutions for Optimal Wireless Networks and Security is a comprehensive resource on the latest technological advancements in designing secure wireless networks and secure transmission of data, voice and video over wireless networks and other innovations. Featuring comprehensive coverage across a range of relevant topics such as green consumption, organic food products, supply chain performance, and ecological marketing, this publication is an ideal reference source for network designers, industries, researchers, educators, and governments who are involved in designing and implementing security and wireless networks and applications.
Автор: Nemai Chandra Karmakar Название: Advanced RFID Systems, Security, and Applications ISBN: 1466620803 ISBN-13(EAN): 9781466620803 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 27720.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Features a comprehensive collection of research provided by leading experts in both academia and industries. This leading reference source provides state-of-the- art development on RFID and its contents will be of the upmost use to students and researchers at all levels as well as technologists, planners, and policy makers. RFID technology is progressing into a new phase of development.
Автор: Jabraeil Jamali Mohammad Ali, Bahrami Bahareh, Heidari Arash Название: Towards the Internet of Things: Architectures, Security, and Applications ISBN: 3030184676 ISBN-13(EAN): 9783030184674 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a comprehensive framework for IoT, including its architectures, security, privacy, network communications, and protocols. The book starts by providing an overview of the aforementioned research topics, future directions and open challenges that face the IoT development. The authors then discuss the main architectures in the field, which include Three- and Five-Layer Architectures, Cloud and Fog Based Architectures, a Social IoT Application Architecture. In the security chapter, the authors outline threats and attacks, privacy preservation, trust and authentication, IoT data security, and social awareness. The final chapter presents case studies including smart home, wearables, connected cars, industrial Internet, smart cities, IoT in agriculture, smart retail, energy engagement, IoT in healthcare, and IoT in poultry and farming.
Discusses ongoing research into the connection of the physical and virtual worlds;Includes the architecture, security, privacy, communications, and protocols of IoT;Presents a variety of case studies in IoT including wearables, smart cities, and energy management.
Автор: Auhood Alfaries; Hanan Mengash; Ansar Yasar; Elhad Название: Advances in Data Science, Cyber Security and IT Applications ISBN: 3030363678 ISBN-13(EAN): 9783030363673 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the First International Conference on Intelligent Cloud Computing, ICC 2019, held in Riyadh, Saudi Arabia, in December 2019.
The two-volume set presents 53 full papers, which were carefully reviewed and selected from 174 submissions. The papers are organized in topical sections on Cyber Security; Data Science; Information Technology and Applications; Network and IoT.
Описание: 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.
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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
