Developing and Evaluating Security-Aware Software Systems, Khaled M. Khan
Автор: Khaled M. Khan Название: Security-Aware Systems Applications and Software Development Methods ISBN: 146661580X ISBN-13(EAN): 9781466615809 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 189420.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This title facilitates the promotion and understanding of the technical as well as managerial issues related to secure software systems and their development practices. This book, targeted toward researchers, software engineers, and field experts, outlines cutting-edge industry solutions in software engineering and security research to help overcome contemporary challenges.
Автор: Phan Cong Vinh; Abdur Rakib Название: Context-Aware Systems and Applications, and Nature of Computation and Communication ISBN: 3030343642 ISBN-13(EAN): 9783030343644 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed post-conference proceedings of the International Conferences ICCASA and ICTCC 2019, held in November 2019 in My Tho, Vietnam. The 20 revised full papers presented were carefully selected from 33 submissions. The papers of ICCASA cover a wide spectrum in the area of context-aware-systems. CAS is characterized by its self- facets such as self-organization, self-configuration, self-healing, self-optimization, self-protection used to dynamically control computing and networking functions. The papers of ICTCC cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication.
Автор: Progyna Khondkar Название: Low-Power Design and Power-Aware Verification ISBN: 3319666185 ISBN-13(EAN): 9783319666181 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Until now, there has been a lack of a complete knowledge base to fully comprehend Low power (LP) design and power aware (PA) verification techniques and methodologies and deploy them all together in a real design verification and implementation project. This book is a first approach to establishing a comprehensive PA knowledge base.LP design, PA verification, and Unified Power Format (UPF) or IEEE-1801 power format standards are no longer special features. These technologies and methodologies are now part of industry-standard design, verification, and implementation flows (DVIF). Almost every chip design today incorporates some kind of low power technique either through power management on chip, by dividing the design into different voltage areas and controlling the voltages, through PA dynamic and PA static verification, or their combination.The entire LP design and PA verification process involves thousands of techniques, tools, and methodologies, employed from the register transfer level (RTL) of design abstraction down to the synthesis or place-and-route levels of physical design. These techniques, tools, and methodologies are evolving everyday through the progression of design-verification complexity and more intelligent ways of handling that complexity by engineers, researchers, and corporate engineering policy makers.
Автор: Fei Long Название: Satellite Network Robust QoS-aware Routing ISBN: 3642543529 ISBN-13(EAN): 9783642543524 Издательство: Springer Рейтинг: Цена: 113190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Satellite Network Robust QoS-aware Routing presents a novel routing strategy for satellite networks.
Автор: Progyna Khondkar Название: Low-Power Design and Power-Aware Verification ISBN: 3319882864 ISBN-13(EAN): 9783319882864 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Поставка под заказ. Описание: Until now, there has been a lack of a complete knowledge base to fully comprehend Low power (LP) design and power aware (PA) verification techniques and methodologies and deploy them all together in a real design verification and implementation project. This book is a first approach to establishing a comprehensive PA knowledge base.LP design, PA verification, and Unified Power Format (UPF) or IEEE-1801 power format standards are no longer special features. These technologies and methodologies are now part of industry-standard design, verification, and implementation flows (DVIF). Almost every chip design today incorporates some kind of low power technique either through power management on chip, by dividing the design into different voltage areas and controlling the voltages, through PA dynamic and PA static verification, or their combination.The entire LP design and PA verification process involves thousands of techniques, tools, and methodologies, employed from the register transfer level (RTL) of design abstraction down to the synthesis or place-and-route levels of physical design. These techniques, tools, and methodologies are evolving everyday through the progression of design-verification complexity and more intelligent ways of handling that complexity by engineers, researchers, and corporate engineering policy makers.
Автор: Alan Dennis, Barbara Haley Wixom, Roberta M. Roth Название: Systems Analysis and Design, 6th Edition ISBN: 1118897846 ISBN-13(EAN): 9781118897843 Издательство: Wiley Рейтинг: Цена: 191130.00 T Наличие на складе: Поставка под заказ. Описание: The 6th Edition of Systems Analysis and Design continues to offer a hands-on approach to SAD while focusing on the core set of skills that all analysts must possess.
Автор: Patel Chirag Название: Developing Service-Oriented Applications Using the Windows Communication Foundation (Wcf) Framework ISBN: 1522519971 ISBN-13(EAN): 9781522519973 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 194040.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Recent advancements in technology have allowed for significant improvements to computer software design and development. By utilizing the latest available frameworks, developers can build more innovative applications.Developing Service-Oriented Applications using the Windows Communication Foundation (WCF) Framework is a pivotal source of research on the latest protocols and concepts for applying the Windows Communication Foundation (WCF) framework in the development of computer software applications. Highlighting pivotal perspectives on topics such as interoperability, programming methodologies, and security considerations, this book is ideally designed for professionals, researchers, graduate students, software developers, and practitioners interested in the optimization of service-oriented architectures.
Автор: Stefano Chessa; Stefan Knauth Название: Evaluating AAL Systems Through Competitive Benchmarking ISBN: 3642374182 ISBN-13(EAN): 9783642374180 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Organization and technical aspects of the competitions.- Technical description of the competing artefacts.- Experience lessons during the competition.
Автор: James K. Peckol Название: Embedded Systems: A Contemporary Design Tool ISBN: 1119457505 ISBN-13(EAN): 9781119457503 Издательство: Wiley Рейтинг: Цена: 108710.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Embedded Systems: A Contemporary Design Tool, Second Edition
Embedded systems are one of the foundational elements of today's evolving and growing computer technology. From operating our cars, managing our smart phones, cleaning our homes, or cooking our meals, the special computers we call embedded systems are quietly and unobtrusively making our lives easier, safer, and more connected. While working in increasingly challenging environments, embedded systems give us the ability to put increasing amounts of capability into ever-smaller and more powerful devices.
Embedded Systems: A Contemporary Design Tool, Second Edition introduces you to the theoretical hardware and software foundations of these systems and expands into the areas of signal integrity, system security, low power, and hardware-software co-design. The text builds upon earlier material to show you how to apply reliable, robust solutions to a wide range of applications operating in today's often challenging environments.
Taking the user's problem and needs as your starting point, you will explore each of the key theoretical and practical issues to consider when designing an application in today's world. Author James Peckol walks you through the formal hardware and software development process covering:
Breaking the problem down into major functional blocks;
Planning the digital and software architecture of the system;
Utilizing the hardware and software co-design process;
Designing the physical world interface to external analog and digital signals;
Addressing security issues as an integral part of the design process;
Managing signal integrity problems and reducing power demands in contemporary systems;
Debugging and testing throughout the design and development cycle;
Improving performance.
Stressing the importance of security, safety, and reliability in the design and development of embedded systems and providing a balanced treatment of both the hardware and the software aspects, Embedded Systems: A Contemporary Design Tool, Second Edition gives you the tools for creating embedded designs that solve contemporary real-world challenges.
Автор: Harchol-Balter Название: Performance Modeling and Design of Computer Systems ISBN: 1107027500 ISBN-13(EAN): 9781107027503 Издательство: Cambridge Academ Рейтинг: Цена: 80250.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Written with computer scientists and engineers in mind, this book brings queueing theory decisively back to computer science. Through a lively mix of motivation and intuition, with illustrations, examples and more than 300 exercises, readers acquire the skills needed to model, analyze and design large-scale systems with good performance and low cost.
Автор: Singh & Kaur Название: Designing, Engineering, And Analyzing Reliable And Efficient Software ISBN: 1466629584 ISBN-13(EAN): 9781466629585 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 189420.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Due to the role of software systems in safety-critical applications and in the satisfaction of customers and organisations, the development of efficient software engineering is essential.<br><br><em>Designing, Engineering, and Analyzing Reliable and Efficient Software</em> discusses and analyses various designs, systems, and advancements in software engineering. With its coverage on the integration of mathematics, computer science, and practices in engineering, this book highlights the importance of ensuring and maintaining reliable software and is an essential resource for practitioners, professors and students in these fields of study.
Автор: Simona Bernardi; Jos? Merseguer; Dorina Corina Pet Название: Model-Driven Dependability Assessment of Software Systems ISBN: 3642395112 ISBN-13(EAN): 9783642395116 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It details the state of the art on UML profile proposals for dependability specification and rigorously describes the trade-off they accomplish.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
