Computer Safety, Reliability and Security (Lecture Notes in Computer Science, #2187)
This year we celebrated another anniversary: after 20 years of SAFECOMP in 1999, th this was the 20 SAFECOMP since its inauguration in 1979. This series of events focuses on critical computer applications. It is intended to be a platform for knowledge transfer between academia, industry, and research institutions. Papers are solicited on all aspects of computer systems in which safety, reliability, and security (applied to safety in terms of integrity and availability) are of importance. The 20t...
Fuzzy Control Systems explores one of the most active areas of research involving fuzzy set theory. The contributors address basic issues concerning the analysis, design, and application of fuzzy control systems. Divided into three parts, the book first devotes itself to the general theory of fuzzy control systems. The second part deals with a variety of methodologies and algorithms used in the analysis and design of fuzzy controllers. The various paradigms include fuzzy reasoning models, fuzzy...
Meaningful Futures with Robots (Chapman & Hall/CRC Artificial Intelligence and Robotics)
Soon, robots will leave the factories and make their way into living rooms, supermarkets, and care facilities. They will cooperate with humans in everyday life, taking on more than just practical tasks. How should they communicate with us? Do they need eyes, a screen, or arms? Should they resemble humans? Or may they enrich social situations precisely because they act so differently from humans? Meaningful Futures with Robots: Designing a New Coexistence provides insight into the opportunities...
Architecture of Computing Systems - Arcs 2008 (Lecture Notes in Computer Science, #4934)
This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ARCS 2008, held in Dresden, Germany, in February 2008. The 19 revised full papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers cover a wide spectrum reaching from pre-fabrication adaptation of architectural templates to dynamic run-time adaptation of deployed systems with special focus on adaptivity and adaptive...
Behavior Trees in Robotics and AI (Chapman & Hall/CRC Artificial Intelligence and Robotics)
by Michele Colledanchise and Petter OEgren
Behavior Trees (BTs) provide a way to structure the behavior of an artificial agent such as a robot or a non-player character in a computer game. Traditional design methods, such as finite state machines, are known to produce brittle behaviors when complexity increases, making it very hard to add features without breaking existing functionality. BTs were created to address this very problem, and enables the creation of systems that are both modular and reactive. Behavior Trees in Robotics and AI...
The Analysis, Design, and Implementation of Information Systems (McGraw-Hill Series in Management Information Systems)
by Henry C Lucas Jr
Process for System Architecture and Requirements Engineering
by Derek J. Hatley, Peter Hruschka, and Imtiaz A. Pirbhai
Computer Networks (Communications in Computer and Information Science, #608)
This book constitutes the thoroughly refereed proceedings of the 22st International Conference on Computer Networks, CN 2015, held in Brunów, Poland, in June 2015. The 42 revised full papers presented were carefully reviewed and selected from 79 submissions. The papers in these proceedings cover the following topics: computer networks, distributed computer systems, communications and teleinformatics.
Smart Urban Mobility
Home to an ever growing share of the world's population and facing dramatic and extremely dynamic social transformations, economic challenges and environmental problems, cities are undoubtedly the key arena of the history of the 21st century. As cities strive to be more and more attractive, sustainable and efficient, they must also become smarter. Related to this, no city can aspire to play a leading - global or local - role if its mobility system is not smart enough. Urban mobility becomes smar...
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2005, the third...
Learn end-to-end automation testing techniques for web and mobile browsers using Selenium WebDriver, AppiumDriver, Java, and TestNGKey FeaturesExplore the Selenium grid architecture and build your own grid for browser and mobile devicesUse ExtentReports for processing results and SauceLabs for cloud-based test servicesUnlock the full potential of Selenium to test your web applications.Book DescriptionSelenium WebDriver 3.x is an open source API for testing both browser and mobile applications. W...
Human/Computer Interaction (Advances in Human Factors/Ergonomics)
The aim of the USA-Japan Conference was to bring together research workers and practitioners to exchange information, ideas, theory, and experience in applying human factors, computer science concepts and methodologies to the design, planning, control and operation of human-computer interactive systems. This book contains 72 of the papers presented, providing much of interest to engineers, psychologists, computer scientists and human factors specialists concerned with effective, productive and s...
Advanced Design Approaches to Emerging Software Systems: Principles, Methodologies and Tools
The present textbook contains the recordsof a two-semester course on que- ing theory, including an introduction to matrix-analytic methods. This course comprises four hours oflectures and two hours of exercises per week andhas been taughtattheUniversity of Trier, Germany, for about ten years in - quence. The course is directed to last year undergraduate and?rst year gr- uate students of applied probability and computer science, who have already completed an introduction to probability theory. It...
Software Architecture with C++
by Adrian Ostrowski and Piotr Gaczkowski
Apply business requirements to IT infrastructure and deliver a high-quality product by understanding architectures such as microservices, DevOps, and cloud-native using modern C++ standards and featuresKey FeaturesDesign scalable large-scale applications with the C++ programming languageArchitect software solutions in a cloud-based environment with continuous integration and continuous delivery (CI/CD)Achieve architectural goals by leveraging design patterns, language features, and useful toolsB...
Hardware Based Packet Classification for High Speed Internet Routers
by Chad R Meiners, Alex X Liu, and Eric Torng
Hardware Based Packet Classification for High Speed Internet Routers presents the most recent developments in hardware based packet classification algorithms and architectures. This book describes five methods which reduce the space that classifiers occupy within TCAMs; TCAM Razor, All-Match Redundancy Removal, Bit Weaving, Sequential Decomposition, and Topological Transformations. These methods demonstrate that in most cases a substantial reduction of space is achieved. Case studies and example...
Pro Team Foundation Service (Expert's Voice in .NET)
by Mathias Olausson, Joachim Rossberg, Jakob Ehn, and Mattias Skld
Pro Team Foundation Service gives you a jump-start into Microsoft’s cloud-based Application Lifecycle Management platform, taking you through the different stages of software development. Every project needs to plan, develop, test and release software and with agile practices often at a higher pace than ever before. Microsoft's Team Foundation Service is a cloud-based platform that gives you tools for agile planning and work tracking. It has a code repository that can be used not only from Visua...
Semantic Web Services
Over the last decade, a great amount of effort and resources have been invested in the development of Semantic Web Service (SWS) frameworks. Numerous description languages, frameworks, tools, and matchmaking and composition algorithms have been proposed. Nevertheless, when faced with a real-world problem, it is still very hard to decide which of these different approaches to use. In this book, the editors present an overall overview and comparison of the main current evaluation initiatives for...