Computer Engineering

The use of discrete-event simulation in various fields, such as in industry, logistics and public health, has really taken off over the last few decades. The implementation of discrete-event simulation does however require an understanding, and perhaps eve... (Read more)

Software testing has greatly evolved since the first edition of this book in 2011. Testers are now required to work in “agile” teams and focus on automating test cases. It has thus been necessary to update this work, in order to provide fundamental kno... (Read more)

Artificial and Cognitive Computing for Sustainable Healthcare Systems in Smart Cities delves into the transformative potential of artificial and cognitive computing in the realm of healthcare systems, maintaining a specific emphasis on sustainability. ... (Read more)

This book pioneers the synergy between state-of-the-art edge computing technologies and the power of operations research. It comprehensively explores real-world applications, demonstrating how various operations’ research techniques enhance edge computin... (Read more)

Blockchain is new-age technology used to track every transaction using cryptocurrency across servers linked in a peer-to-peer network, enabling transactions to be secure, transparent and reliable. Retaining an efficient, secure and patient-centric healthca... (Read more)

Data structures and algorithms is a fundamental course in Computer Science, which enables learners across any discipline to develop the much-needed foundation of efficient programming, leading to better problem solving in their respective disciplines. A... (Read more)

Data structures and algorithms is a fundamental course in Computer Science, which enables learners across any discipline to develop the much-needed foundation of efficient programming, leading to better problem solving in their respective disciplines. A... (Read more)

Data structures and algorithms is a fundamental course in Computer Science, which enables learners across any discipline to develop the much-needed foundation of efficient programming, leading to better problem solving in their respective disciplines. A... (Read more)

As a society today, we are so dependent on systems-of-systems that any malfunction has devastating consequences, both human and financial. Their technical design, functional complexity and numerous interfaces justify a significant investment in testing in ... (Read more)

As a society today, we are so dependent on systems-of-systems that any malfunction has devastating consequences, both human and financial. Their technical design, functional complexity and numerous interfaces justify a significant investment in testing in ... (Read more)

Systems and Uses of Digital Sciences for Knowledge Organization is a large-scale scientific work that brings together researchers and R&D professionals to discuss ideas and actions in the organization of knowledge. The main objective of this book is to def... (Read more)

This book is a guide to the combination of the Internet of Things (IoT) and the Semantic Web, covering a variety of tools, technologies and applications that serve the myriad needs of the researchers in this field. It provides a multi dimensional view of t... (Read more)

In order to study living organisms, scientists not only study them at an overall macroscopic scale but also on a more detailed microscopic scale. This observation, pushed to its limits, consists of investigating the very center of each cell, where we find ... (Read more)

This book serves as a guide to help the reader develop an awareness of security vulnerabilities and attacks, and encourages them to be circumspect when using the various computer resources and tools available today. For experienced users, Computer Science ... (Read more)

Machine learning and optimization techniques are revolutionizing our world. Other types of information technology have not progressed as rapidly in recent years, in terms of real impact. The aim of this book is to present some of the innovative techniques ... (Read more)

This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with c... (Read more)

The emergence of metaheuristic algorithms has significantly improved the ways in which engineers and researchers carry out computations in structural mechanics. The first change was in structural design: the use of metaheuristic algorithms enabled the o... (Read more)

Archiving has become an increasingly complex process. The challenge is no longer how to store the data but how to store it intelligently, in order to exploit it over time, while maintaining its integrity and authenticity. Digital technologies bring abou... (Read more)

Computers and the Internet are an undeniable and inextricable part of our daily lives. This book is for those who wish to better understand how this came to be. It explores the technological bases of computers, networks, software and data management, le... (Read more)

This book – the first of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with ... (Read more)

Since its commercialization in 1971, the microprocessor, a modern and integrated form of the central processing unit, has continuously broken records in terms of its integrated functions, computing power, low costs and energy saving status. Today, it is pr... (Read more)

Since its commercialization in 1971, the microprocessor, a modern and integrated form of the central processing unit, has continuously broken records in terms of its integrated functions, computing power, low costs and energy saving status. Today, it is pr... (Read more)

Artificial intelligence, since its birth in the 1950s, has captured the attention of defense agencies around the world; yet it was only after twenty years that it met with real success in the application of expert military systems. Today, artificial intell... (Read more)

I.AM catalyzes the “convergence for good” of the biological, physical and digital worlds, helping us to better tackle the toughest challenges of the 2020s: climate change, resource depletion, an aging population, social inclusion, the empowerment of pe... (Read more)

Since its commercialization in 1971, the microprocessor, a modern and integrated form of the central processing unit, has continuously broken records in terms of its integrated functions, computing power, low costs and energy saving status. Today, it is pr... (Read more)

Since its commercialization in 1971, the microprocessor, a modern and integrated form of the central processing unit, has continuously broken records in terms of its integrated functions, computing power, low costs and energy saving status. Today, it is pr... (Read more)

Since its commercialization in 1971, the microprocessor, a modern and integrated form of the central processing unit, has continuously broken records in terms of its integrated functions, computing power, low costs and energy saving status. Today, it is pr... (Read more)

This book, presented in three volumes, examines “environmental” disciplines in relation to major players in contemporary science: Big Data, artificial intelligence and cloud computing. Today, there is a real sense of urgency regarding the evolution ... (Read more)

This book, presented in three volumes, examines “environmental” disciplines in relation to major players in contemporary science: Big Data, artificial intelligence and cloud computing. Today, there is a real sense of urgency regarding the evolution ... (Read more)

This book, presented in three volumes, examines “environmental” disciplines in relation to major players in contemporary science: Big Data, artificial intelligence and cloud computing. Today, there is a real sense of urgency regarding the evolution ... (Read more)

The concept of a data lake is less than 10 years old, but they are already hugely implemented within large companies. Their goal is to efficiently deal with ever-growing volumes of heterogeneous data, while also facing various sophisticated user needs. H... (Read more)

This book is dedicated to the application of metaheuristic optimization in trajectory generation and control issues in robotics. In this area, as in other fields of application, the algorithmic tools addressed do not require a comprehensive list of eligibl... (Read more)

Developed in collaboration with a training and certification team from Cisco, Computer Network Security is an exploration of the state-of-the-art and good practices in setting up a secure computer system. Concrete examples are offered in each chapter, to h... (Read more)

Solving Transport Problems establishes fundamental points and good practice in resolving matters regarding green transportation. This is to prompt further research in conveyance issues by providing readers with new knowledge and grounds for integrated mode... (Read more)

All machine learning algorithms that correspond to supervised and semi-supervised learning work under a common assumption: training and test data follow the same distribution. When the distribution changes, most statistical models must be reconstructed fro... (Read more)

Business Intelligence (BI) has emerged as a field which seeks to support managers in decision-making. It encompasses the techniques, methods and tools for conducting analytically-based IT solutions, which are referred to as OLAP (OnLine Analytical Processi... (Read more)

Cyber threats are ever increasing. Adversaries are getting more sophisticated and cyber criminals are infiltrating companies in a variety of sectors. In today’s landscape, organizations need to acquire and develop effective security tools and mechanisms ... (Read more)

Almost every month, a new optimization algorithm is proposed, often accompanied by the claim that it is superior to all those that came before it. However, this claim is generally based on the algorithm’s performance on a specific set of test cases, whic... (Read more)

In 2016, an individual in a technologically developed country encountered digital systems an average of 218 times a day. It is predicted that in 2025, this average will rise to 4,700! The global volume of data produced was estimated to have reached 16.1 ze... (Read more)

The Certifiable Software Applications Set presents the development of a critical software application. Building on what was presented in the previous volumes, in this volume the reader will be presented with a comprehensive description of all the activi... (Read more)

This book examines the technological, functional and ethical problems of the Internet of Things (IoT), a field which has benefited from an explosion of innovation in areas such as digital infrastructure, software engineering, cloud computing and Big Data. ... (Read more)

Unlocking the power of artificial intelligence is one of the most compelling research fields of the 21st Century. In this book, Alain Cardon describes an architecture which draws upon the foundations of the human psyche – that which makes us human – to... (Read more)

The topic of NoSQL databases has emerged recently in the face of the challenge regarding Big Data – namely, the ever-increasing volume of data to be handled. It is now recognized that relational databases are not appropriate in this context, and thus new... (Read more)

A browser, an Internet connection, and some time to spend taming the JavaScript language are all that is needed to reach out into the vast reservoir of data on the Web. JavaScript and Open Data invites the reader on a tour of JavaScript with a focus on ... (Read more)

Big data analytics is one of the fastest growing fields in today’s business context. It concerns not only data that is continuously getting “bigger”, but also the ways in which that data is processed and analyzed and how it is turned into knowledge. ... (Read more)

This book proposes a method which uses the analogy of the ecosystem in order to model and analyze information and communication. Although the concept of the ecosystem is increasingly used to describe situations in which multiple actors have dynamic rel... (Read more)

Maritime transportation is the backbone of world trade: responsible for carrying over 80% of world trade, it has been progressively growing over the past 50 years. Although it is the cheapest way of transporting large amounts of goods, it still involves h... (Read more)

Virtual Reality (VR) and Augmented Reality (AR) are two expressions that have recently appeared in the media but which remain largely unknown to the general public and professional world. This book aims to improve our understanding of these technologies by... (Read more)

Previously, libraries already outsourced some tasks. Now, however, they can also appeal to crowds of Internet users, with whom the libraries can have a more collaborative relationship than before. These Internet users may be volunteers or paid workers, and... (Read more)

In recent times, the problem of portfolio optimization has become increasingly complex due to the myriad objectives and constraints induced by the market norms, investor preferences and investment strategies which define the underlying portfolios. With the... (Read more)

This book offers an introduction to concurrent, real-time and distributed programming, using Java object-oriented language support as an algorithm description tool. Complete with useful examples and practical exercises, the book is particularly interes... (Read more)

Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly in... (Read more)

Digital practices are shaped by graphical representations that appear on the computer screen, which is the principal surface for designing, visualizing, and interacting with digital information. Before any digital image or graphical interface is rendered o... (Read more)

The development of connected, communicating objects is showing no signs of slowing down. With an increasing number of objects available on the market, the evolution of the Internet of Things is leading to more and more fields being explored via information... (Read more)

Intelligence is defined by the ability to optimize, manage and reconcile the currents of physical, economic and even social flows. The strong constraint of immediacy proves to be an opportunity to imagine, propose and deliver solutions on the common basis ... (Read more)

Failures caused by electrostatic discharges (ESD) constitute a major problem concerning the reliability and robustness of integrated circuits and electronic systems. This book summarizes the many diverse methodologies aimed at ESD protection and shows, thr... (Read more)

4 zettabytes (4 billion terabytes) of data generated in 2013, 44 zettabytes predicted for 2020 and 185 zettabytes for 2025. These figures are staggering and perfectly illustrate this new era of data deluge. Data has become a major economic and social chall... (Read more)

Computational Science and Engineering (CSE) is core to all engineering sciences. As a result, computational systems are seeing worldwide growth of services to all user domains: public or private, military or government, education or industry, healthcare or... (Read more)

Web applications are prime targets for hackers. If a site has poor security, it is more susceptible to hacking, which could lead to sensitive information being leaked. Establishing appropriate security involves first analyzing risk, which consists of an ev... (Read more)

Evolutionary algorithms are bio-inspired algorithms based on Darwin’s theory of evolution. They are expected to provide non-optimal but good quality solutions to problems whose resolution is impracticable by exact methods. In six chapters, this book ... (Read more)

Modern society is increasingly governed by technology with more than 3 billion internet users in 2015. Unlike their sequential counterparts, distributed systems are much more difficult to design and are therefore prone to problems. On a large scale, usabil... (Read more)

The Certifiable Software Applications series presents the development of a critical software application. The objective of this second volume is to explain the processes necessary to achieve a certifiable application. This concerns several major topics:... (Read more)

During the past few years, the popularity of evolutionary algorithms (EAs) has skyrocketed at a rate that shows no signs of slowing down. One of the most notable recent additions to the EA family is biogeography-based optimization (BBO), which is based on ... (Read more)

This book presents the most up-to-date research from different areas of digital archives to show how and why collective intelligence is being developed to organize and better communicate new masses of information. Current archive digitization projects p... (Read more)

Since their introduction several decades ago, hypermedia systems have maintained their relevance. New hypermedia systems are emerging regularly, in diverse fields and contexts. This provides an ideal framework for the study and analysis of hypermedia at ne... (Read more)

This book deals with a new problem, that of energy autonomy of a real-time system that feeds from a source of environmental energy. This involves investigating various issues related to the harvest of energy, its temporary storage and use in order to ensur... (Read more)

Based on a course taught for more than ten years at university level, this book focuses on some of the main notions arising in graph theory, with an emphasis throughout on the possible applications of the theory and the fruitful links that exist with linea... (Read more)

Food is an essential component of our lives, health and well-being, not to mention one of the most important sectors of industry, dealing with the chemical, agriculture, animal feed, food processing, trade, retail and consumer sectors. Providing an adequat... (Read more)

Numerous new applications of embedded systems are envisioned in the context of aeronautics, such as sensor deployment for flight tests or for structural health monitoring. However, the increasing burden of on-board cabling requires wireless solutions. More... (Read more)

In the economic environment of today, Enterprises recognise the need and the competitive advantage interoperating with suppliers and customers in collaborative networks to develop innovative product-service solutions The I-ESA series of conferences has be... (Read more)

So-called string problems are abundant in bioinformatics and computational biology. New optimization problems dealing with DNA or protein sequences are constantly arising and researchers are highly in need of efficient optimization techniques for solving t... (Read more)

Big Data is a new field, with many technological challenges to be understood in order to use it to its full potential. These challenges arise at all stages of working with Big Data, beginning with data generation and acquisition. The storage and manageme... (Read more)

The Certifiable Software Applications Set is a presentation of the development of a critical software application. This first volume is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a ... (Read more)

Stereoscopic processes are increasingly used in virtual reality and entertainment. This technology is interesting because it allows for a quick immersion of the user, especially in terms of depth perception and relief clues. However, these processes tend t... (Read more)

Logistics has been progressively evolving in the industrial world ever since its emergence during the 19th Century. Today, it constitutes a means of pressure essential for the competitiveness of companies. In three parts, this book describes the tools a... (Read more)

This book is an introduction to the development of metaheuristics dedicated to vehicle routing problems. To begin with, a general presentation familiarizes the reader with the related field of logistics and combinatorial optimization. This preamble is ... (Read more)

The energy consumption of a building has, in recent years, become a determining factor during its design and construction. With carbon footprints being a growing issue, it is important that buildings be optimized for energy conservation and CO2 reduction. ... (Read more)

Scientific computing has become an indispensable tool in numerous fields, such as physics, biology, chemistry, finance and engineering. For example, it enables us, thanks to efficient algorithms adapted to current computers and supercomputers, to simulate ... (Read more)

Air Traffic Management involves many different services such as Airspace Management, Air Traffic Flow Management and Air Traffic Control. Many optimization problems arise from these topics and they generally involve different kinds of variables, constraint... (Read more)

Object-oriented programming is a way of thinking about problems, where Smalltalk represents one of the purest incarnations of an object-oriented programming language. There is currently no textbook which provides an in-depth self-study of the Smalltalk... (Read more)

Constraint programming aims at solving hard combinatorial problems, with computation times increasing exponentially in practice. Today the methods are efficient enough to solve large industrial problems within a generic framework. However, solvers are dedi... (Read more)

Optimization metaheuristics proceed to “pot luck” as to whether to carry out certain choices or apply certain rules, for which they must use one or several random number generators (RNGs). There are several types of RNG, from the truly random to th... (Read more)

Visual Inspection Technology in the Hard Disk Drive Industry gives a presentation of the use of computer vision systems to control manufacturing processes and product quality in the hard disk drive industry. It is an application-oriented book born out ... (Read more)

The performance of a computer network is among the key elements that determine its operational quality; performance evaluation cannot be only treated empirically. This book presents the two most commonly used methodologies for performance evaluation in... (Read more)

The digital economy is expanding faster and faster due to the constant advances in IT. There is a virtuous circle such that, in turn, more and more (often unpredictable) innovative usages boost IT. These usages are social and, in a broad sense, economical,... (Read more)

The fast changing global economy is governed by enterprise systems operating in the Future Internet and by trends towards more services in the manufacturing domain. Enterprises and virtual factories will self-organize in distributed, innovative Ecosystems ... (Read more)

The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them... (Read more)

The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that initiated by J.R. Büchi) or between combinatorics on w... (Read more)

Rhetoric is the discipline that uses any type of discourse, e.g. spoken, written, gestural, with the aim of persuading an audience to approve a fact, a decision or an attitude. This book explores the various roles played by music in a rhetoric discourse... (Read more)

Constrained optimization is a challenging branch of operations research that aims to create a model which has a wide range of applications in the supply chain, telecommunications and medical fields. As the problem structure is split into two main component... (Read more)

The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that initiated by J.R. Büchi) or between combinatorics on w... (Read more)

Increasing needs in computing power are satisfied nowadays by federating more and more computers (or nodes) to build distributed infrastructures. Historically, these infrastructures have been managed by means of user-space frameworks or distributed operati... (Read more)

Introducing the principles of the Event-Driven and Service-Oriented Architecture (SOA 2.0), and its role in the new interconnected world based on the cloud computing architecture paradigm, this book focuses on how the current and future SOA technologies pr... (Read more)

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to p... (Read more)

This book covers local search for combinatorial optimization and its extension to mixed-variable optimization. Although not yet understood from the theoretical point of view, local search is the paradigm of choice for tackling large-scale real-life optimiz... (Read more)

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE, the B-Method, ControlBuild and Matelo, in various fields such as railways, aeronautics, and the automotive industry. The purpose o... (Read more)

A summary of more than a decade of research in the area of backend code optimization for high performance and embedded computing, this book contains the latest fundamental and technical research results in this field at an advanced level. With chapters ... (Read more)

Over the past 20 years, software architectures have significantly contributed to the development of complex and distributed systems. Nowadays, it is recognized that one of the critical problems in the design and development of any complex software system i... (Read more)

Over the past 20 years, software architectures have significantly contributed to the development of complex and distributed systems. Nowadays, it is recognized that one of the critical problems in the design and development of any complex software system i... (Read more)

Computer systems are becoming more and more powerful and, in parallel, more and more complex. Even though increased computing performance is at the core of these developments, the complexity raises major challenges, especially in the domain of hard real-ti... (Read more)

Cluster or co-cluster analyses are important tools in a variety of scientific areas. The introduction of this book presents a state of the art of already well-established, as well as more recent methods of co-clustering. The authors mainly deal with the tw... (Read more)

While 3D vision has existed for many years, the use of 3D cameras and video-based modeling by the film industry has induced an explosion of interest for 3D acquisition technology, 3D content and 3D displays. As such, 3D video has become one of the new tech... (Read more)

In a fast changing global economy governed by Enterprise Services and the Future Internet, enterprises and virtual factories will self-organize in distributed, interoperable, innovation Ecosystems where the issues of Enterprise Interoperability need to be ... (Read more)

This book summarizes the main problems posed by the design of a man–machine dialogue system and offers ideas on how to continue along the path towards efficient, realistic and fluid communication between humans and machines. A culmination of ten years o... (Read more)

This book combines the research activities of the authors, both of whom are researchers at Ecole Nationale de l’Aviation Civile (French National School of Civil Aviation), and presents their findings from the last 15 years. Their work uses air transport ... (Read more)

DisCSP (Distributed Constraint Satisfaction Problem) is a general framework for solving distributed problems arising in Distributed Artificial Intelligence. A wide variety of problems in artificial intelligence are solved using the constraint satisfaction ... (Read more)

A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversif... (Read more)

The community responsible for developing lexicons for Natural Language Processing (NLP) and Machine Readable Dictionaries (MRDs) started their ISO standardization activities in 2003. These activities resulted in the ISO standard – Lexical Markup Framewor... (Read more)

This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, i... (Read more)

A Constraint Satisfaction Problem (CSP) consists of a set of variables, a domain of values for each variable and a set of constraints. The objective is to assign a value for each variable such that all constraints are satisfied. CSPs continue to receive in... (Read more)

Embedded systems are everywhere in contemporary life and are supposed to make our lives more comfortable. In industry, embedded systems are used to manage and control complex systems (e.g. nuclear power plants, telecommunications and flight control) and th... (Read more)

This book presents the principles and techniques of program specialization — a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline ... (Read more)

This book lays out the concepts necessary to understand how a computer works. For reasons of clarity, the authors have deliberately chosen examples that apply to machines from all eras, without having to water down the contents of the book. This choice hel... (Read more)

This book focuses on ambient intelligence and addresses various issues related to data management, networking and HCI in this context. Taking a holistic view, it covers various levels of abstraction, ranging from fundamental to advanced concepts and brings... (Read more)

Many approaches to creating Software Product Lines have emerged that are based on Model-Driven Engineering. This book introduces both Software Product Lines and Model-Driven Engineering, which have separate success stories in industry, and focuses on the p... (Read more)

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took unti... (Read more)

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until... (Read more)

ARM designs the cores of microcontrollers which equip most “embedded systems” based on 32-bit processors. Cortex-M3 is one of these designs, recently developed by ARM with microcontroller applications in mind. To conceive a particularly optimized piece... (Read more)

This book presents real examples of the formal techniques called “abstract interpretation” currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The current literature seems to only provide very general boo... (Read more)

This book aims to present recent developments and new trends in Combinatorial Optimization. The topics will include, among others, complexity analysis, exact and heuristic methods, cutting-plane techniques, approximations algorithms, computational complexi... (Read more)

Graph partitioning is a theoretical subject with applications in many areas, principally numerical analysis, program mapping onto parallel architectures, image segmentation, and VLSI design. Over the last 40 years, the literature has strongly increased and... (Read more)

In today’s digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems. Distributed Systems introduces the underlying concepts, the associated des... (Read more)

Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors –... (Read more)

Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), t... (Read more)

Combinatorial problems based on graph partitioning enable us to mathematically represent and model many practical applications. Mission planning and the routing problems occurring in logistics perfectly illustrate two such examples. Nevertheless, these pro... (Read more)

Computing Networks explores the core principles of the new distributed computing infrastructures being used today: the networking systems of clusters, grids and cloud-based services. Cloud Computing will give millions of users the ability to process data ... (Read more)

Constraint Programming (CP) is a declarative programming paradigm with many academic and industrial applications (from n-queens to planning, vehicle routing, optimization, and other fields). Since the earliest works on automatic harmonization, Music Compos... (Read more)

Artificial ants take their inspiration from observations in nature: animal societies, such as ant colonies, have developed collective behaviors with fascinating efficiency and robustness. The motivation to imitate nature has grown increasingly, and through... (Read more)

How many different ways are there to mix different ingredients? What are the odds of winning a gambling game? How many possible paths are there from one place to another in a network? Mathematics for Informatics and Computer Science gives stimulating and e... (Read more)

After introducing general concepts about model transformations, two presentations provide an overview of the MARTE profile. Model-driven implementations of software and hardware architectures are then given, covering the most common aspects of Model-Driven... (Read more)

It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective sy... (Read more)

Ant colony optimization is a metaheuristic - or very generally a form of “black-box” problem-solving algorithm - which has been successfully applied to a wide range of combinatorial optimization problems. This book describes the ant colony metaheuris... (Read more)

Markov Decision Processes (MDPs) are a mathematical framework for modeling sequential decision problems under uncertainty as well as Reinforcement Learning problems. Written by experts in the field, this book provides a global view of current research u... (Read more)

Networked Control Systems (NCS) is a growing field of application and calls for the development of integrated approaches requiring multidisciplinary skills in control, real-time computing and communication protocols. This book describes co-design approache... (Read more)

The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are m... (Read more)

A major challenge in constraint programming is to develop efficient generic approaches to solve instances of the constraint satisfaction problem (CSP). With this important aim in mind, this book provides an accessible synthesis of the field, including dire... (Read more)

This book provides a pedagogical and comprehensive introduction to graph theory and its applications. It contains all the standard basic material and develops significant topics and applications, such as: colorings and the timetabling problem, matchings an... (Read more)

Applied sciences in the 20th century have developed and used unitary transforms for concentrating energy. Now, the challenge lies in the expression and use of redundancy to build redundant systems. The Mojette transform is a very simple transform using onl... (Read more)

A number of different system concepts have become important in the broader context of embedded systems over the past few years. Whilst there are some differences between them, this book argues that in fact there is much they share in common, particularly t... (Read more)

For the last 50 years, the performance of integrated circuits has continued to grow. However, this performance will soon reach its physical limit. What new ways will then be available to develop the next generation of even more powerful and up-to-date syst... (Read more)

This book addresses two main objectives: to show that bringing together operational research and theoretical computer science can yield useful results for a range of applications, and secondarily to demonstrate the quality and range of research conducted b... (Read more)

This title presents some of the most important concepts and techniques for describing and modeling real-time systems and analyzing their behavior in order to enable hardware and embedded software designers to create systems that will operate as intended in... (Read more)

This title brings together the best papers on a range of topics raised at the annual International Conference on Principles and Practice of Constraint Programming. This conference provides papers and workshops which produce new insights, concepts and r... (Read more)

The science behind Sudoku… Sudoku is a logic puzzle that has become a worldwide phenomenon in the last few years: but where has it come from? How does it work? And what is the science behind sudoku – what are the rules for generating and solving gri... (Read more)

In the context of Distributed and Real-time Embedded Systems (DRES), system developers are faced with reducing system development cost and time while developing correct (relating to safe and QoS properties) and increasingly complex systems. To take up ... (Read more)

During the IFAC/IFIP I-ESA international conference, supported by the INTEROP NoE (Interoperability Research for Networked Enterprises Applications and Software Network of Excellence) and the ATHENA IP (Advanced Technologies for interoperability of Heterog... (Read more)

This book introduces several key software specification methods. Each method is presented using the same example, an invoicing system, allowing the reader to compare and contrast. Every chapter follows a rigorous pattern whereby techniques and notations ar... (Read more)

This title provides a comprehensive survey over the subject of probabilistic combinatorial optimization, discussing probabilistic versions of some of the most paradigmatic combinatorial problems on graphs, such as the maximum independent set, the minimum v... (Read more)

Model-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. The Model Driven Architecture ... (Read more)

This book features four workshops from the INTEROP-ESA international conference, organized by the INTEROP NoE (Interoperability Research for Networked Enterprises Applications and Software Network of Excellence). It highlights key topics related to interop... (Read more)