Systems analysis and design Books

Book SynopsisUsing standards like OpenAPI, you can provide reliable, easy-to-use interfaces that allow other developers safe, controlled access to your software. Designing APIs withSwagger and OpenAPI is a hands-on primer to properly designing and describing your APIs using the most widely-adopted standard. Designing APIswith Swagger and OpenAPI introduces you to a design-first paradigm that will teach you the best practices for describing and designing RESTful APIs using OpenAPI and Swagger. You'll build upon progressively-enhanced examples as you learn to describe an API andthen extend it in the kind of scenarios you'd encounter in the real world. As you go, you'll use the popular Open Source tools to define APIs, generate documentation, and build other developer-friendly components like mocks, server stubs, and client SDKs. Modern web applications are made of multiple components, services, and servers connected through APIs, often using HTTP and REST as their primary interfaces. These architectures rely on APIs that allow access to the functionality of a component without requiring developers to understand the details of how it was implemented. The OpenAPI specification standardizes how you describe RESTful APIs. OpenAPI is vendor-neutral and has been adopted bybig tech companies such as Google, Microsoft, and Amazon.Trade Review“A great introduction to the design process of APIs by helping youto understand OpenAPI and Swagger.” Ben McNamara “The book's instructional design was very well thought out.Instructions are clear and the topics flow quite smoothly.” Ted Hagos “I would recommend this book to anyone interested in learningabout API design!” Travis Wisnasky

Read more less

Book SynopsisBuild powerful, production-ready search applications using the incredible features of Elasticsearch. In ElasticSearch in Action, Second Edition you will discover: Architecture, concepts, and fundamentals of Elasticsearch Installing, configuring and running Elasticsearch and Kibana Creating an index with custom settings Data types, mapping fundamentals, and templates Fundamentals of text analysis and working with text analyzers Indexing, deleting, and updating documents Indexing data in bulk and reindexing and aliasing operations Learning search concepts, relevancy scores and similarity algorithms Elasticsearch in Action, Second Edition teaches you to build scalable search applications using Elasticsearch. This completely new edition explores Elasticsearch fundamentals from the ground up. You'll deep dive into design principles, search architectures, and Elasticsearch's essential APIs. Every chapter is clearly illustrated with diagrams and hands-on examples. You'll even explore real-world use cases for full text search, data visualisations, and machine-learning. about the technology Modern search seems like magic. You type a few words and the search engine appears to know what you want. With the Elasticsearch near-real-time search and analytics engine, you can give your users this magical experience without having to do complex low-level programming or understand advanced data science algorithms. You just install it, tweak it, and get on with your work. about the book Elasticsearch in Action, Second Edition is a hands-on guide to developing fully functional search engines with Elasticsearch and Kibana. Rewritten for the latest version of Elasticsearch, this completely new second edition explores Elasticsearch's high-level architecture, reveals infrastructure patterns, and walks through the search and analytics capabilities of numerous Elasticsearch APIs. It covers dozens of awesome techniques, such as: Developing a multitude of search queries Working with various query types Enabling search results with sorting and pagination functionality Writing and working with advanced search queries Working analytics and aggregations Developing high level visualizations in Kibana Configuring and scaling the clusters, and tuning performance You'll quickly progress from the basics of installation and configuring clusters, to indexing documents, advanced aggregations, and putting your servers into production. By the time you're done, you'll be ready to build amazing search engines for your clients that take advantage of Elasticsearch's modern features. about the author Madhusudhan Konda is a full-stack lead engineer, architect, mentor, and conference speaker. He delivers live online training on Elasticsearch and the Elastic Stack. Trade Review'Elasticsearch is a complicated topic to master, but the author introduces all of Elasticsearch's tenets in a very relatable way, piece by piece, with lots of examples that can be executed in seconds.' Sergio Fernandez 'The author explains the content very well, with proper and accurate illustrations to assist.' Adam Wan 'A gentle introduction to the technology.' Giovanni CostagliolaTable of Contentstable of contents READ IN LIVEBOOK 1OVERVIEW READ IN LIVEBOOK 2GETTING STARTED READ IN LIVEBOOK 3ARCHITECTURE READ IN LIVEBOOK 4MAPPING READ IN LIVEBOOK 5WORKING WITH DOCUMENTS READ IN LIVEBOOK 6INDEXING OPERATIONS READ IN LIVEBOOK 7TEXT ANALYSIS 8 TERM LEVEL SEARCH 9 FULL TEXT SEARCH 10 ADVANCED SEARCH 11 AGGREGATIONS 12 KIBANA VISUALISATIONS 13 MACHINE LEARNING 14 TIME SERIES ANALYTICS 15 PERFORMANCE TUNING 16 ADMINISTRATION APPENDIXES READ IN LIVEBOOK APPENDIX A: INSTALLATION APPENDIX B: NATIVE CLIENTS APPENDIX C: HOSTING APPENDIX D: ELASTICSEARCH VS SOLR

Read more less

Book SynopsisUsing Active Integrated Antenna (AIA) instead of the conventional sub-system designs of individual components will provide a system designer with more features and enhance performance. This book explains how active integration and co-design between the active components (amplifier, oscillator, mixer, diodes) and the antenna can provide better power transfer, higher gains, increased efficiencies, switched beam patterns and smaller design footprints. As new antenna designs will require closer integration with other radio electronics, AIA are expected to be used in future wireless terminals. The book introduces the fundamental aspects of AIA and discusses in detail the various types of AIA, such as oscillator, amplifier, mixer, transceiver, frequency reconfigurable, on-chip and on package, as well as non-foster AIA covering various frequency bands and wireless standards. It presents co-design procedures for AIA applied to multiple-input-multiple-output (MIMO) front ends as well as examples of narrowband and wideband designs. This is the first book to elaborate on AIA design with detailed step-by-step tutorials and the use of software packages (provided in an accompanying CD). It contains real world cases and illustrations, and is a must-have title for practicing and research engineers.Trade ReviewAn excellent new references is a recommended pick for college-level collections strong in electrical engineering and antenna design, offering engineers solid discussions of theory, applications, and different systems and their management. Mohammad S. Sharawi and Oualid Hammi's Design and Applications of Active Integrated Antennas offers professionals the latest methods in designing active integrated antennas for wireless devices, considering design protocol, interfaces between active components, increasing efficiency, and working between the active and passive parts of AIA. Design examples for such systems cover both narrowband and wideband applications and incorporate the latest design methods and applications. Both are solid references college-level electrical engineers will find essential. * Midwest Book Review *Table of ContentsIntroduction; Impedance Matching Methods; Amplifier Design; Antenna Fundamentals; Active Integrated Antennas; A Co-Design Approach for Designing AIA.

Read more less

Book SynopsisWritten for those who want to develop their knowledge of requirements engineering process, whether practitioners or students.Using the latest research and driven by practical experience from industry, Requirements Engineering gives useful hints to practitioners on how to write and structure requirements. It explains the importance of Systems Engineering and the creation of effective solutions to problems. It describes the underlying representations used in system modeling and introduces the UML2, and considers the relationship between requirements and modeling. Covering a generic multi-layer requirements process, the book discusses the key elements of effective requirements management. The latest version of DOORS (Version 7) - a software tool which serves as an enabler of a requirements management process - is also introduced to the reader here.Additional material and links are available at: http://www.requirementsengineering.infoTable of ContentsIntroduction.- A Generic Process for Requirements Engineering.- System Modelling for Requirements Engineering.- Writing and Reviewing Requirements.- Requirements Engineering in the Problem Domain.- Requirements Engineering in the Solution Domain.- Advanced Traceability.- DOORS: A Tool to Manage Requirements.- Management Aspects of Requirements Engineering.-

Read more less

Book SynopsisThis book comprehensively introduces data deduplication technologies for storage systems. It first presents the overview of data deduplication including its theoretical basis, basic workflow, application scenarios and its key technologies, and then the book focuses on each key technology of the deduplication to provide an insight into the evolution of the technology over the years including chunking algorithms, indexing schemes, fragmentation reduced schemes, rewriting algorithm and security solution. In particular, the state-of-the-art solutions and the newly proposed solutions are both elaborated. At the end of the book, the author discusses the fundamental trade-offs in each of deduplication design choices and propose an open-source deduplication prototype. The book with its fundamental theories and complete survey can guide the beginners, students and practitioners working on data deduplication in storage system. It also provides a compact reference in the perspective of key data deduplication technologies for those researchers in developing high performance storage solutions.Table of ContentsPreface.- Deduplication: Beginning from Data Backup System.- Overview of Data Deduplication.- Chunking Algorithms.- Indexing Schemes.- Rewriting Algorithms.- Secure Deduplication.- Post-deduplication Delta Compression Schemes.- The Framework of Data Deduplication.- References.

Read more less

Book SynopsisSalary surveys worldwide regularly place software architect in the top 10 best jobs, yet no real guide exists to help developers become architects. Until now. This book provides the first comprehensive overview of software architecture’s many aspects.

Read more less

Book SynopsisRequirements engineering tasks have become increasingly complex. In order to ensure a high level of knowledge and competency among requirements engineers, the International Requirements Engineering Board (IREB) developed a standardized qualification called the Certified Professional for Requirements Engineering (CPRE). The certification defines the practical skills of a requirements engineer on various training levels. This book is designed for self-study and covers the curriculum for the Certified Professional for Requirements Engineering Foundation Level exam as defined by the IREB. The 2nd edition has been thoroughly revised and is aligned with the curriculum Version 2.2 of the IREB. In addition, some minor corrections to the 1st edition have been included. About IREB: The mission of the IREB is to contribute to the standardization of further education in the fields of business analysis and requirements engineering by providing syllabi and examinations, thereby achieving a higher level of applied requirements engineering. The IRE Board is comprised of a balanced mix of independent, internationally recognized experts in the fields of economy, consulting, research, and science.The IREB is a non-profit corporation.

Read more less

Book SynopsisINDUSTRIAL AUTOMATED SYSTEMS: INSTRUMENTATION AND MOTION CONTROL, is the ideal book to provide readers with state-of-the art coverage of the full spectrum of industrial maintenance and control, from servomechanisms to instrumentation. Readers will learn about components, circuits, instruments, control techniques, calibration, tuning and programming associated with industrial automated systems. INDUSTRIAL AUTOMATED SYSTEMS: INSTRUMENTATION AND MOTION CONTROL, focuses on operation, rather than mathematical design concepts. It is formatted into sections so that it can be used for a variety of courses, such as electrical motors, sensors, variable speed drives, programmable logic controllers, servomechanisms, and various instrumentation and process classes. This book also offers readers a broader coverage of industrial maintenance and automation information than other books and provides them with a more extensive collection of supplements, including a lab manual and two hundred animated multimedia lessons on a CD.

Read more less

Book SynopsisIn the first chapter, Dr Christian Hugo Hoffmann presents a study that adds to the current knowledge on financial risk and complexity while drawing on the concept of organized complexity, coined by Weaver. He finishes by explaining the correlation between the ideas of complexity, randomness, and systemic risks. In the second chapter, Peter A. Stubberud, Stephen C Stubberud, and Allen R. Stubberud present a signal processing technique, which is a simplification of the dynamic element matching technique, or DEMT and is referred to as the dynamic system matching technique, or DSMT, for controlling the noise signal in the output of a system due to manufacturing errors. In the third and final chapter, Yu Zhou, Weigang Wu, and Huaguan Li define new system models to describe the dynamicity of clusters and then, based on those models, they design and present an algorithm that is able to elect an eventual leader.

Read more less

Book Synopsis

Read more less

Book SynopsisKickstart a career in cyber security by learning how to adapt your existing technical and non-technical skills with Cyber Defenders' CareerGuide. Cyber Defenders' Career Guide unlocks your pathway to becoming a great security practitioner. You'll learn how toreliably enter the security field and quickly grow into your new career, following clear, practical advice that's based on research and interviews with hundreds of hiring managers. Author Alyssa Miller has spent over adecade in cyber security leadership and talent development, and she shares her unique perspective in this revealing industry guide. By some estimates, there are over 4 million unfilled jobs in cybersecurity. This important field is growing fast, with a huge demand for skilled recruits. But where do you start? How can you know you're ready? This book isyour invaluable guide to starting and navigating a rewarding security career.Trade Review“Alyssa Miller brilliantly explains the intricacies of cybersecurity and helps the reader navigate this complex moving landscape.” MarcRoulleau “A comprehensive guide on getting started in the field of Cybersecurity.” Dipen N. Kumar “Recommended for anyone wanting to work in security, no matter what part of security that is.” Jan Vinterberg “A highly recommended book for those looking to start their career in Cybersecurity, as well as those who are already part of the industry.” HarshRaval “An interesting guide to introduce yourself to the cybersecurity world.” Emanuele Origgi “A tremendous work in terms of the number of real-world examples.More than once I found myself smiling and nodding because the things the author described mirrored my experiences in being a mentor to a cybersecurity-focused community.” Rob Goelz “Very smart and definitely worth reading. I particularly loved thepart about mentoring.” Rafik Naccache “It's the most complete written introduction to a successful career approach I know.” Joerg Discher “Even if you decide that cyber security is not the right career path for you, it's full of good advice for taking charge of your career intech.” Amanda Debler

Read more less

Book Synopsis

Read more less

Book SynopsisThis work covers two distinct areas: performance tuning, or the art of increasing performance for a specific application, and capacity planning, or deciding what hardware best fulfils a given role. This book focuses on the operating system, the underlying hardware, and their interactions.Table of ContentsPreface 1. An Introduction to Performance Tuning An Introduction to Computer Architecture Principles of Performance Tuning Static Performance Tuning Concluding Thoughts 2. Workflow Management Workflow Characterization Workload Control Benchmarking Concluding Thoughts 3. Processors Microprocessor Architecture Caching Process Scheduling Multiprocessing Peripheral Interconnects Processor Performance Tools Concluding Thoughts 4. Memory Implementations of Physical Memory Virtual Memory Architecture Paging and Swapping Consumers of Memory Tools for Memory Performance Analysis Concluding Thoughts 5. Disks Disk Architecture Interfaces Common Performance Problems Filesystems Tools for Analysis Concluding Thoughts 6. Disk Arrays Terminology RAID Levels Software Versus Hardware A Summary of Disk Array Design Software RAID Implementations RAID Recipes Concluding Thoughts 7. Networks Network Principles Physical Media Network Interfaces Network Protocols NFS CIFS via Unix Concluding Thoughts 8. Code Tuning The Two Critical Approaches Techniques for Code Analysis Optimization Patterns Interacting with Compilers Concluding Thoughts 9. Instant Tuning Top Five Tuning Tips Instant Tuning Recipes

Read more less

Book SynopsisTopics covered in this text include: component-based and role-based development; the architecture of EJB, distributed programming with RMI; developing and deploying an EJB application; the client view of a session and entity bean; and the session bean lifecycle and component contract.Table of ContentsIntroduction 1 Welcome to EJB: an introduction 2 EJB Architecture: architectural overview 3 Exposing Yourself: the client view 4 Being a Session Bean: session bean lifecycle 5 Entities are Persistent: entity bean intro 6 Being an Entity Bean: bean/entity synchronization 7 When Beans Relate: entity bean relationships 8 Getting the Message: message-driven beans 9 The Atomic Age: EJB transactions 10 When Beans Go Bad: exceptions in EJB 11 Protect Your Secrets: security in EJB 12 The Joy of Deployment: a bean's environment A Appendix A: Final Mock Exam

Read more less

Book SynopsisCollects 34 essays from leading security and human-computer interaction (HCI) researchers on authentication, privacy and anonymity, secure systems, commercialization, and more.Table of Contents1. Preface Part. Realigning Usability and Security 1. Psychological Acceptability Revisited Matt Bishop 2. Usable Security M. Angela Sasse and Ivan Flechais 3. Design for Usability Bruce Tognazzini 4. Usability Design and Evaluation for Privacy and Security Solutions Clare-Marie Karat, Carolyn Brodie, and John Karat 5. Designing Systems That People Will Trust Andrew S. Patrick, Pamela Briggs, and Stephen Marsh Part. Authentication Mechanisms 6. Evaluating Authentication Mechanisms Karen Renaud 7. The Memorability and Security of Passwords Jeff Yan, Alan Blackwell, Ross Anderson, and Alasdair Grant 8. Designing Authentication Systemswith Challenge Questions Mike Just 9. Graphical Passwords Fabian Monrose and Michael K. Reiter 10. Usable Biometrics Lynne Coventry 11. Identifying Users from Their Typing Patterns Alen Peacock, Xian Ke, and Matt Wilkerson 12. The Usability of Security Devices Ugo Piazzalunga, Paolo Salvaneschi, and Paolo Coffetti Part. Secure Systems 13. Guidelines and Strategies for Secure Interaction Design Ka-Ping Yee 14. Fighting Phishing at the User Interface Robert C. Miller and Min Wu 15. Sanitization and Usability Simson Garfinkel 16. Making the Impossible Easy: Usable PKI Dirk Balfanz, Glenn Durfee, and D.K. Smetters 17. Simple Desktop Security with Chameleon A. Chris Long and Courtney Moskowitz 18. Security Administration Tools and Practices Eser Kandogan and Eben M. Haber Part. Privacy and Anonymity Systems 19. Privacy Issues and Human-Computer Interaction Mark S. Ackerman and Scott D. Mainwaring 20. A User-Centric Privacy Space Framework Benjamin Brunk 21. Five Pitfalls in the Design for Privacy Scott Lederer, Jason I. Hong, Anind K. Dey, and James A. Landay 22. Privacy Policies and Privacy Preferences Lorrie Faith Cranor 23. Privacy Analysis for the Casual User with Bugnosis David Martin 24. Informed Consent by Design Batya Friedman, Peyina Lin, and Jessica K. Miller 25. Social Approaches to End-User Privacy Management Jeremy Goecks and Elizabeth D. Mynatt 26. Anonymity Loves Company: Usability and the Network Effect Roger Dingledine and Nick Mathewson Part. Commercializing Usability: The Ventor Perspective 27. ZoneAlarm: Creating Usable Security Products for Consumers Jordy Berson 28. Firefox and the Worry-Free Web Blake Ross 29. Users and Trust: A Microsoft Case Study Chris Nodder 30. IBM Lotus Notes/Domino: Embedding Security in Collaborative Applications Mary Ellen Zurko 31. Achieving Usable Security in Groove Virtual Office George Moromisato, Paul Boyd, and Nimisha Asthagiri Part. The Classics 32. Users Are Not the Enemy Anne Adams and M. Angela Sasse 33. Usability and Privacy:A Study of KaZaA P2P File Sharing Nathaniel S. Good and Aaron Krekelberg 34. Why Johnny Can't Encrypt Alma Whitten and J. D. Tygar Index

Read more less

Book SynopsisDespite the growing mainstream importance and unique advantages of autonomic networking-on-chip (ANoC) technology, Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification is among the first books to evaluate research results on formalizing this emerging NoC paradigm, which was inspired by the human nervous system.The FIRST Book to Assess Research Results, Opportunities, & Trends in BioChipNetsThe third book in the Embedded Multi-Core Systems series from CRC Press, this is an advanced technical guide and reference composed of contributions from prominent researchers in industry and academia around the world. A response to the critical need for a global information exchange and dialogue, it is written for engineers, scientists, practitioners, and other researchers who have a basic understanding of NoC and are now ready to learn how to specify, develop, and verify ANoC using riTable of ContentsA Bio-Inspired Architecture for Autonomic Network-on-Chip. Bio-Inspired NoC Architecture Optimization. An Autonomic NoC Architecture Using Heuristic Technique for Virtual-Channel Sharing. Evolutionary Design of Collective Communications on Wormhole NoCs. Formal Aspects of Parallel Processing on Bio-Inspired on-Chip Networks. HAMSoC: A Monitoring-Centric Design Approach for Adaptive Parallel Computing. Toward Self-Placing Applications on 2D and 3D NoCs. Self-Adaption in SoCs. Bibliography. Index.

Read more less

Book SynopsisWith this practical book, architects, CTOs, and CIOs will learn a set of patterns for the practice of architecture, including analysis, documentation, and communication. Author Eben Hewitt shows you how to create holistic and thoughtful technology plans, communicate them clearly and lead people toward the vision.

Read more less

Book SynopsisYour customers want rock-solid, bug-free software that does exactly what they expect it to do. Yet they can't always articulate their ideas clearly enough for you to turn them into code. You need Cucumber: a testing, communication, and requirements tool-all rolled into one. All the code in this book is updated for Cucumber 2.4, Rails 5, and RSpec 3.5. Express your customers' wild ideas as a set of clear, executable specifications that everyone on the team can read. Feed those examples into Cucumber and let it guide your development. Build just the right code to keep your customers happy. You can use Cucumber to test almost any system or any platform. Get started by using the core features of Cucumber and working with Cucumber's Gherkin DSL to describe-in plain language-the behavior your customers want from the system. Then write Ruby code that interprets those plain-language specifications and checks them against your application. Next, consolidate the knowledge you've gained with a worked example, where you'll learn more advanced Cucumber techniques, test asynchronous systems, and test systems that use a database. Recipes highlight some of the most difficult and commonly seen situations the authors have helped teams solve. With these patterns and techniques, test Ajax-heavy web applications with Capybara and Selenium, REST web services, Ruby on Rails applications, command-line applications, legacy applications, and more. Written by the creator of Cucumber and the co-founders of Cucumber Ltd., this authoritative guide will give you and your team all the knowledge you need to start using Cucumber with confidence. What You Need: Windows, Mac OS X (with XCode) or Linux, Ruby 1.9.2 and upwards, Cucumber 2.4, Rails 5, and RSpec 3.5

Read more less

Book SynopsisReal-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since responsible of software execution in a timely manner. This book provides state of knowledge in this domain with special emphasis on the key results obtained within the last decade. This book addresses foundations as well as the latest advances and findings in Real-Time Scheduling, giving all references to important papers. But nevertheless the chapters will be short and not overloaded with confusing details. Coverage includes scheduling approaches for mono-core as well as multi-core platforms, dependent tasks, networks, and notably very tremendous recent advances in scheduling of energy constrained embedded systems. Other sophisticated issues such as feedback control scheduling and timing analysis of critical applications are also addressed. This volume can serve as a textbook for courses on the topic in bachelor and in more advanced master programs. It also provides a reference for computer scientists and engineers involved in the design or the development of Cyber-Physical Systems which require up-to-date real-time scheduling solutions.Table of ContentsPREFACE xi LIST OF FIGURES xv LIST OF TABLES xxi CHAPTER 1. INTRODUCTION TO REAL-TIME SCHEDULING 1 Emmanuel GROLLEAU 1.1. Real-time systems 1 1.2. Material architectures 5 1.2.1. CPUs 5 1.2.2. Communication networks 7 1.2.3. Sensors and actuators 9 1.3. Operating systems 9 1.3.1. Generalities 10 1.3.2. Real-time operating systems 10 1.3.3. Primitives provided by the kernel 12 1.4. Scheduling 14 1.4.1. Online and offline scheduling 14 1.4.2. Task characterization 16 1.4.3. Criticality 19 1.4.4. Metrics related to scheduling 20 1.4.5. Practical factors 22 1.4.6. Multi-core scheduling 27 1.5. Real-time application modeling and analysis 30 1.5.1. Modeling 30 1.5.2. Analysis 31 1.6. System architecture and schedulability 34 CHAPTER 2. UNIPROCESSOR ARCHITECTURE SOLUTIONS 39 Laurent GEORGE and Jean-François HERMANT 2.1. Introduction 40 2.2. Characterization of a scheduling problem 42 2.2.1. Task model 42 2.2.2. Temporal constraint models 45 2.2.3. Scheduling model 46 2.2.4. Concepts and notations 50 2.3. Scheduling algorithms/optimality 52 2.3.1. FP fixed-job priority algorithms 52 2.3.2. JFP algorithms 55 2.3.3. Dynamic priority algorithms 57 2.4. Busy periods and worst-case scenarios 58 2.4.1. Busy periods 58 2.4.2. Worst-case scenarios 60 2.5. Feasibility conditions 66 2.5.1. FP feasibility conditions 66 2.5.2. JFP feasibility conditions 70 2.6. Sensitivity analysis 75 2.6.1. Sensitivity of WCETs 78 2.6.2. Sensitivity of periods 88 2.6.3. Sensitivity of deadlines 90 2.7. Conclusion 95 2.8. Bibliography 97 CHAPTER 3. MULTIPROCESSOR ARCHITECTURE SOLUTIONS 105 Joël GOOSSENS and Pascal RICHARD 3.1. Introduction 105 3.1.1. Application modeling 106 3.1.2. Platform modeling 108 3.2. Scheduler classification 108 3.2.1. Online and offline schedulers 108 3.2.2. Task preemption and migration 109 3.2.3. Priorities of tasks 111 3.2.4. Classification 111 3.3. Properties of schedulers 111 3.3.1. Qualitative properties 112 3.3.2. Quantitative properties 117 3.4. Partitioned scheduling 121 3.4.1. Partitioning algorithms 121 3.4.2. Evaluation of partitioning algorithms 126 3.5. Global scheduling 131 3.5.1. Proportionate fair algorithms 132 3.5.2. Generalization of uniprocessor scheduling algorithms 142 3.6. Conclusion 143 3.7. Bibliography 143 CHAPTER 4. SYNCHRONIZATIONS: SHARED RESOURCE ACCESS PROTOCOLS 149 Serge MIDONNET and Frédéric FAUBERTEAU 4.1. Introduction 150 4.2. Terminology and notations 150 4.2.1. Diagrams 152 4.2.2. Synchronization protocols 153 4.3. Synchronization problems 160 4.3.1. Unbounded priority inversion 160 4.3.2. Deadlock 166 4.3.3. Chained blocking 172 4.4. Calculating the blocking factor 177 4.4.1. The case of uniprocessor architectures 177 4.4.2. The case of multiprocessor architectures 180 4.5. Conclusion 187 4.6. Bibliography 188 CHAPTER 5. ESTIMATION OF EXECUTION TIME AND DELAYS 193 Claire MAIZA, Pascal RAYMOND and Christine ROCHANGE 5.1. Worst-case execution time analysis: an example 195 5.1.1. Embedded system architecture analysis 197 5.1.2. Execution path analysis 206 5.2. Going further 211 5.2.1. Multi-task: the cost of preemption 211 5.2.2. Multi-core and other complex architectures 215 5.2.3. Influence of critical embedded systems design methods 218 5.2.4. Tools 224 5.3. Conclusion 225 5.4. Bibliography 225 CHAPTER 6. OPTIMIZATION OF ENERGY CONSUMPTION 231 Cécile BELLEUDY 6.1. Introduction 232 6.2. State of the art 235 6.2.1. General comments 235 6.2.2. Modeling the consumption of an operating system 237 6.2.3. Consumption management strategies within multicore systems 238 6.3. Modeling consumption 242 6.3.1. Characterization platform: hardware and software 242 6.3.2. Power consumption modeling 243 6.3.3. Context switch 244 6.3.4. Inter-process communication 247 6.4. Low consumption scheduling 249 6.4.1. Simulation environment 250 6.4.2. Low power consumption scheduling policy 251 6.5. Experimental results 255 6.5.1. Application test: H.264 decoder 255 6.5.2. Analysis of the simulation results 258 6.6. Conclusion 262 6.7. Bibliography 262 LIST OF AUTHORS 269 INDEX 271 SUMMARY OF VOLUME 2 275

Read more less

Book SynopsisThis book describes the main classical combinatorial problems that can be encountered when designing a logistics network or driving a supply chain. It shows how these problems can be tackled by metaheuristics, both separately and using an integrated approach. A huge number of techniques, from the simplest to the most advanced ones, are given for helping the reader to implement efficient solutions that meet its needs. A lot of books have been written about metaheuristics (methods for solving hard optimization problems) and supply chain management (the field in which we find a huge number of combinatorial optimization problems) in the last decades. So, the main reason of this book is to describe how these methods can be implemented for this class of problems.Table of ContentsIntroduction xi Part 1. Basic Notions 1 Chapter 1. Introductory Problems 3 1.1. The “swing states” problem 3 1.2. Adel and his camels 5 1.3. Sauron’s forges 7 1.3.1. Problem 1: The inspection of the forges 8 1.3.2. Problem 2: The production of the deadly weapon 9 Chapter 2. A Review of Logistic Problems 13 2.1. Some history 13 2.1.1. The Fermat–Torricelli point 13 2.1.2. The Monge problem 14 2.1.3. The Seven Bridges of Königsberg and the Icosian Game 15 2.2. Some polynomial problems 16 2.2.1. The assignment problem 16 2.2.2. The transportation problem 17 2.2.3. The Minimum-Cost Spanning Tree problem 19 2.3. Packing problems 20 2.3.1. The knapsack problem 20 2.3.2. The bin packing problem 21 2.4. Routing problems 22 2.4.1. The traveling salesman problem 23 2.4.2. The vehicle routing problem (VRP) 24 2.5. Production scheduling problems 24 2.5.1. The flow-shop scheduling problem (FSSP)26 2.5.2. The job-shop scheduling problem (JSSP) 29 2.6. Lot-sizing problems 31 2.7. Facility location problems 33 2.7.1. The Uncapacitated Plant Location Problem (UPLP) 33 2.7.2. The Dynamic Location Problem (DLP) 35 2.8. Conclusion 36 Chapter 3. An Introduction to Metaheuristics 37 3.1. Optimization problems 37 3.2. Metaheuristics: basic notions 39 3.2.1. Intensification and diversification 40 3.2.2. Neighborhood systems 40 3.3. Individual-based metaheuristics 41 3.3.1. Local search 41 3.3.2. Simulated annealing 44 3.3.3. The kangaroo Algorithm 46 3.3.4. Iterated local search 48 3.3.5. Tabu Search 49 3.4. Population-based metaheuristics 50 3.4.1. Evolutionary algorithms 51 3.4.2. The ant colony algorithm 52 3.4.3. Particle Swarm Optimization 53 3.5. Conclusion 55 Chapter 4. A First Implementation of Metaheuristics 57 4.1. Representing a list of objects 57 4.2. The implementation of a local search 59 4.2.1. The construction of an initial solution 59 4.2.2. Description of basic moves 60 4.2.3. The implementation of stochastic descent (LS) 62 4.3. The implementation of individual-based metaheuristics 64 4.3.1. Simulated annealing (SA) 64 4.3.2. Iterated local search (ILS) 66 4.14. Conclusion 66 Part 2. Advanced Notions 69 Chapter 5. The Traveling Salesman Problem 71 5.1. Representing a solution: the two-level tree structure 71 5.2. Constructing initial solutions 74 5.2.1. A greedy heuristic: nearest neighbor 74 5.2.2. A simplification heuristic: the Christofides algorithm 76 5.3. Neighborhood systems 78 5.3.1. The Lin & Kernighan neighborhood 79 5.3.2. Ejection chain techniques 83 5.4. Some results 86 5.5. Conclusion 88 Chapter 6. The Flow-Shop Problem 89 6.1. Representation and assessment of a solution 89 6.2. Construction of the initial solution 90 6.2.1. Simplification heuristics: CDS 91 6.2.2. A greedy heuristic: NEH 94 6.3. Neighborhood systems 97 6.3.1. Improvement of the insertion movements 98 6.3.2. Variable-depth neighborhood search 101 6.4. Results 107 6.5. Conclusion 107 Chapter 7. Some Elements for Other Logistic Problems 109 7.1. Direct representation versus indirect representation 109 7.2. Conditioning problems 111 7.2.1. The knapsack problem 111 7.2.2. The bin-packing problem 112 7.3. Lot-sizing problems 114 7.4. Localization problems 115 7.5. Conclusion 117 Part 3. Evolutions and Current Trends 119 Chapter 8. Supply Chain Management 121 8.1. Introduction to supply chain management 121 8.2. Horizontal synchronization of the supply chain 122 8.2.1. The beer game 123 8.2.2. The bullwhip effect 125 8.3. Vertical synchronization of a supply chain 126 8.4. An integral approach of the supply chain 127 8.5. Conclusion 129 Chapter 9. Hybridization and Coupling Using Metaheuristics 131 9.1. Metaheuristics for the optimization of the supply chain 131 9.2. Hybridization of optimization methods 133 9.2.1. Classification of hybrid methods 133 9.2.2. Illustration by example 134 9.2.3. “Metaheuristic/local search” hybridization 135 9.2.4. Metaheuristic hybridization/Exact Methods 135 9.3. Coupling of optimization methods and performance evaluations 138 9.3.1. Double complexity 138 9.3.2. Coupling of optimization method/simulation model 139 9.4. Conclusion 141 Chapter 10. Flexible Manufacturing Systems 143 10.1. Introduction to the FMS challenges 143 10.2. The job-shop problem with transport 145 10.2.1. Definition of the problem 145 10.3. Proposal for a metaheuristic/simulation coupling 148 10.3.1. Representation of a solution 148 10.3.2. Simulation method 149 10.3.3. Optimization method 152 10.3.4. Results 153 10.4. Workshop layout problem 154 10.4.1. Aggregated model and exact resolution 154 10.4.2. Detailed model and approximate solutions 157 10.5. Conclusion 159 Chapter 11. Synchronization Problems Based on Vehicle Routings 161 11.1. Inventory routing problem 162 11.1.1. Presentation of the problem 162 11.1.2. Resolution by metaheuristics 166 11.2. The location-routing problem 167 11.2.1. Definition of the problem 167 11.2.2. Solution with metaheuristics 171 11.3. Conclusion 172 Chapter 12. Solution to Problems 173 12.1. The swing state problem 173 12.2. Adel and his camels 176 12.2.1. First question 176 12.2.2. Second question 177 12.2.3. Third question 180 12.3. The forges of Sauron 180 12.3.1. The inspection of the forges 180 12.3.2. Production of the lethal weapon 183 Conclusion 185 Bibliography 187 Index 197

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 22nd International Conference on Innovations for Community Services, I4CS 2022, held in Delft, The Netherlands, in June 2022. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 43 submissions. Three invited papers were also included in the volume. The papers focus on topics such as services for critical infrastructure; network architecture for communities; applications and services supporting work and life; community data and visualization; technology empowers industry processes; and future community support.Table of ContentsInvited Papers.- Energy Harvesting and Environment Protection.- Applied Security and Privacy.- eHealth and Infrastructure.- Smart Mobility and Routing.- Smart Cities and Standardization.- Applied Machine Learning.- Quantum Computing.

Read more less

Book SynopsisThis book, AICON 2022, constitutes the post-conference proceedings of the 4th EAI International Conference on Artificial Intelligence for Communications and Networks, AICON 2022, held in Hiroshima, Japan, in November 30- December 1, 2022. The 9 full papers and 4 short papers were carefully reviewed and selected from 36 submissions. The papers detail research in the areas of AI and communication systems related to intelligent systems and computational intelligence for communication and networks. They are organized in topical sections on AI and networks; machine learning; and evolutionary computation.Table of ContentsAI and Networks.- Cost-aware Node Ranking Algorithm for Embedding Virtual Networks in Internet of Vehicles.- Fault Diameter of Strong Product Graph of Two Paths.- Design and Implementation of SF Selection Based on Distance and SNR using Autonomous Distributed Reinforcement Learning in LoRa Networks.- Machine Learning.- QBRT: Bias and Rising Threshold Algorithm with Q-Learning.- A Study on Effectiveness of BERT Models and Task[1]Conditioned Reasoning Strategy for Medical Visual Question Answering.- Inspired human cognitive bias robust Neural Networks against Adversarial attacks.- Efficient estimation of cows’ location using machine learning from sensor data, farm management, cow location.- A Time Series Forecasting Method using DBN and Adam Optimization.- Unity-Bounded Function and Benchmark Design Specifications Targeted for Designing Typical Variable Digital Filters.- Evolutionary Computation.- Proposal and evaluation of a course classification support system emphasizing communication with the sub-committees within the Committee of Validation and Examination for Degrees.- A Research of Infectivity Rate of Seasonal Influenza from Pre-Infectious person for Data Driven Simulation Saori Iwanaga.- Creating Trust within Population in an Uncertain Environment using Blockchain.- Efficient Inductive Logic Programming Based on Particle Swarm Optimization.

Read more less

Book SynopsisThis book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification. .Table of ContentsModel Checking & Markov Decision Process.- Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph.- An Approach of Transforming Non-Markovian Reward to Markovian Reward.- A JPSL based Model Checking Approach for Java Programs.- Model Analysis & Tool Implementation.- Implementation of Matlab matfun Toolkit Based on MSVL.- Extending Visibly Pushdown Automata over Multi-matching Nested Relations.- Schedulability analysis of rate-monotonic algorithm on concurrent execution of digraph real-time tasks.- Formal Specification & Testing.- Formalization of natural language into PPTL specification via neural machine translation.- Testing Program Segments to Detect Runtime Exceptions in Java.- Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing.- Algorithms & Verification.- Testing and Verifying the security of COVID-19 CT Images Deep Learning System with Adversarial Attack.- Verifying and improving neural networks using testing-based formal verification.- Alternating Projection Temporal Epistemic Logic.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 13th International Conference on Algorithms and Complexity, CIAC 2023, which took place in Larnaca, Cyprus, during June 13–16, 2023. The 25 full papers included in this book were carefully reviewed and selected from 49 submissions. They cover all important areas of research on algorithms and complexity such as algorithm design and analysis; sequential, parallel and distributed algorithms; data structures; computational and structural complexity; lower bounds and limitations of algorithms; randomized and approximation algorithms; parameterized algorithms and parameterized complexity classes; smoothed analysis of algorithms; alternatives to the worst-case analysis of algorithms (e.g., algorithms with predictions), on-line computation and competitive analysis, streaming algorithms, quantum algorithms and complexity, algorithms in algebra, geometry, number theory and combinatorics, computational geometry, algorithmic game theory and mechanism design, algorithmic economics (including auctions and contests), computational learning theory, computational biology and bioinformatics, algorithmic issues in communication networks, algorithms for discrete optimization (including convex optimization) and algorithm engineering.Table of ContentsUnifying Gathering Strategies for Swarms of Mobile Robots.- The Complexity of Secure RAMs.- Selected Combinatorial Problems Through the Prism of Random Intersection Graphs Models.- The power of the Binary Value Principle.- Independent Set under a Change Constraint from an Initial Solution.- Asynchronous Fully-Decentralized SGD in the Cluster-Based Model.- Non-Crossing Shortest Paths Lengths in Planar Graphs in Linear Time.- How Vulnerable is an Undirected Planar Graph with respect to Max Flow.- Maximum Flows in Parametric Graph Templates.- Dynamic Coloring on Restricted Graph Classes.- Enumeration of Minimal Tropical Connected Sets.- Dynamic Flows with Time-Dependent Capacities.- On One-Sided Testing Affine Subspaces.- Stable Scheduling in Transactional Memory.- Parameterizing Path Partitions.- Maintaining Triconnected Components under Node Expansion.- Approximating Power Node-Deletion Problems.- Phase transition in count approximation by Count-Min sketch with conservative updates.- Minimum-link ´ $C$-Oriented Paths Visiting a Sequence of Regions in the Plane.- Grouped Domination Parameterized by Vertex Cover, Twin Cover, and Beyond.- Broadcasting in Split Graphs.- Partitioning Subclasses of Chordal Graphs with Few Deletions.- Complete Decomposition of Symmetric Tensors in Linear Time and Polylogarithmic Precision.- Improved Deterministic Leader Election in Diameter-Two Networks.- Fast Cauchy Sum Algorithms for Polynomial Zeros and Matrix Eigenvalues.- On the Parameterized Complexity of the Structure of Lineal Topologies (Depth-First Spanning Trees) of Finite Graphs: The Number of Leaves.- Efficiently Enumerating All Spanning Trees of a Plane 3-Tree.- Communication-Efficient Distributed Graph Clustering and Sparsification under Duplication Models.

Read more less

Book SynopsisAn Introduction to Fingerprint Presentation Attack Detection.- A Study of Hand-Crafted and Naturally-Learned Features for Fingerprint Presentation Attack Detection.- Optical Coherence Tomography for Fingerprint Presentation Attack Detection.- Interoperability among Capture Devices for Fingerprint Presentation Attacks Detection.- Review of Fingerprint Presentation Attack Detection Competitions.- Introduction to Iris Presentation Attack Detection.- Application of Dynamic Features of the Pupil for Iris Presentation Attack Detection.- Review of Iris Presentation Attack Detection Competitions.- Introduction to Face Presentation Attack Detection.- Recent Advances in Face Presentation Attack Detection.- Recent Progress on Face Anti-Spoofing against 3D Mask Attack.- Challenges of Face Presentation Attack Detection in Real Scenarios.- Remote Blood Pulse Analysis for Face Presentation Attack Detection.- Review of Face Presentation Attack Detection Competitions.- Introduction to Voice Presentatio

Read more less

Book SynopsisDas Internet bietet Unternehmen und Kunden ganz neue Kommunikationsmöglichkeiten. Via Corporate-Website der Unternehmen können sich Kunden 24 Stunden am Tag mit Informationen über das Unternehmen versorgen. Dies ermöglicht Unternehmen direkten Einfluss auf ihre Kunden auszuüben und gleichzeitig umfangreiche Informationen über diese zu sammeln. Auf der anderen Seite belastet der Anspruch der permanenten Verfügbarkeit zur Gewährleistung eines optimalen Kundenservices das Kundenservice-Potential der Unternehmen. Chatbots entlasten Call-Center und Customer-Support-Abteilungen, da sie bereits 80 % der gestellten Fragen direkt via Website beantworten können. Sie sind 24 Stunden am Tag verfügbar, Kosten werden reduziert. Ferner wird den Benutzern der Umgang mit der Website erleichtert. Die automatisch dokumentierten Unterhaltungen liefern zudem konkrete Einblicke in den tatsächlichen Informationsbedarf der Kunden.Table of Contents1 Einleitung.- 1.1 Zustandsbeschreibung.- 1.2 Problembeschreibung.- 1.3 Problemanalyse.- 1.3.1 Sprachproblematik.- 1.3.2 Divergenz der Bedürfnisse.- 1.3.3 Komplexität verteilter Systeme.- 1.4 Lösungsansatz.- 1.5 Abgrenzung des Themas.- 1.6 Vorgehen.- 2 Grundlagen.- 2.1 Begriffsabgrenzung.- 2.1.1 User Interface.- 2.1.2 Usability.- 2.1.3 Agenten.- 2.1.4 Chatbot.- 2.1.5 Künstliche Intelligenz.- 2.2 Historische Entwicklung.- 2.2.1 Aufweichung der Grenze Mensch-Maschine.- 2.2.2 Human-Computer Interaction (HCI).- 2.2.3 Entwicklung von Chatbots.- 2.2.4 Chatbots im Zentrum der Kritik.- 2.3 Warum Chatbots?.- 2.3.1 Interaktion in natürlicher Sprache.- 2.3.2 Aktive Gesprächsführung.- 2.3.3 Informationsstrukturierung.- 2.3.4 Realisierung von Einsparungspotenzialen.- 2.3.5 Gewinnung von Kundeninformationen.- 2.3.6 Gesteigerte Zugänglichkeit.- 2.4 Formen von Chatbots.- 2.4.1 Verständnisebenen von Chatbots.- 2.4.2 Beispiele.- 3 Gestaltungsgrundsätze.- 3.1 Implikationen adaptiver Funktionalität.- 3.2 Natürliche Sprache.- 3.3 Repräsentierung.- 3.3.1 Tool oder Team?.- 3.3.2 Höflichkeit.- 3.3.3 Komplimente.- 3.3.4 Form der Repräsentierung.- 3.3.5 Persönlichkeit.- 3.3.6 Spezialisten.- 3.3.7 Geschlechts-Stereotypen.- 3.3.8 Verwendung von Stimmen / Personifizierung.- 3.3.9 Bewegung.- 3.3.10 Synchronismus.- 3.4 Glaubhaftigkeit und Vertrauenswürdigkeit.- 3.5 Konzeptionelle Implementierungsrichtlinien.- 3.5.1 Klare Kommunikation.- 3.5.2 Anreize schaffen.- 3.5.3 Konsistenten Multichannel-Kontakt ermöglichen / Integration.- 3.5.4 Kontinuierliche Weiterentwicklung.- 4 Evaluation.- 4.1 Moralische Einwände.- 4.1.1 Evaluation der Kritik.- 4.1.2 Folgerungen.- 4.2 Verständnisproblematik: Kontext und Gesunder Menschenverstand.- 4.2.1 Evaluation der Kritik.- 4.2.2 Folgerungen.- 4.3 Personifizierte Interfaces.- 4.3.1 Evaluation der Kritik.- 4.3.2 Folgerungen.- 4.4 Ineffizienz indirekter Manipulation.- 4.4.1 Evaluation der Kritik.- 4.4.2 Folgerungen.- 4.5 Erkenntnisse aus dem Praxiseinsatz.- 4.5.1 Coca-Cola.- 4.5.2 Defense Logistics Information Service.- 4.5.3 Deutsche Direktbank.- 4.5.4 Deutscher Getränkefabrikant.- 4.5.5 Direkt Anlage Bank.- 4.5.6 Ford.- 4.5.7 Hannoversche Lebensversicherung.- 4.5.8 Interact Commerce.- 4.5.9 Net-tissimo.com.- 4.5.10 One2One.- 4.5.11 Pioneer Investment.- 4.5.12 Schwäbisch-Hall.- 4.5.13 Zusammenfassung.- 5 Anwendungsszenarien.- 6 Ausblick.- 7 Anhang.- 7.1 Übersicht: Anbieter, Anwender, Forschungsgebiete.- 7.2 Interviews.- 7.2.1 Coca-Cola.- 7.2.2 Defense Logistics Information Service.- 7.2.3 Deutsche Direktbank.- 7.2.4 Deutscher Getränkefabrikant.- 7.2.5 Direkt Anlage Bank.- 7.2.6 Hannoversche Lebensversicherung.- 7.2.7 Net-tissimo.com.- 7.2.8 Pioneer Investment.- 7.2.9 Schwäbisch-Hall.- 7.3 AIML-Spezifikation.- 7.3.1 Grundaufbau AIML.- 7.3.2 Reduktion.- 7.3.3 SRAI.- 7.3.4 Lernen (Think).- 7.3.5 Variablen.- 7.3.6 Eigenschaften (Predicates).- 7.3.7 Scripts.- Literatur.

Read more less