Second Edition Revised and Updated
Bernard Homès, founder of the ISTQB and an IEEE.
July 2024
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)
Edited by
Devasis Pradhan, Acharya Institute of Technology, Bengaluru, India.
Prasanna Kumar Sahu, NIT Rourkela, Odisha, India.
Hla Myo Tun, Yangon Technological University (YTU), Myanmar, Burma.
Prasenjit Chatterjee, MCKV Institute of Engineering, West Bengal, India.
June 2024
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)
An Operation Research Perspective
Edited by
Rajdeep Chakraborty, Chandigarh University, India.
Anupam Ghosh, Netaji Subhash Engineering College in Kolkata, India.
Jyotsna Kumar Mandal, University of Kalyani, India.
Tanupriya Choudhury, University in Pune, India.
Prasenjit Chatterjee, MCKV Institute of Engineering, India.
March 2024
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)
Innovations and Practices
Tanupriya Choudhury, University of Petroleum and Energy Studies (UPES), Dehradun, Uttarakhand, India
Abhirup Khanna, University of Petroleum and Energy Studies (UPES), Dehradun, Uttarakhand, India
Prasenjit Chatterjee, MCKV Institute of Engineering, India
Jung-Sup Um, Kyungpook National University, South Korea
Abhishek Bhattacharya, Whrrl, India
September 2023
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)
Mastering Linear Data Structures
G A Vijayalakshmi Pai, PSG College of Technology, India
January 2023
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)
Mastering Nonlinear Data Structures
G A Vijayalakshmi Pai, PSG College of Technology, India
January 2023
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)
Mastering Advanced Data Structures and Algorithm Design Strategies
G A Vijayalakshmi Pai, PSG College of Technology, India
January 2023
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)
Theoretical Aspects
Bernard Homès, TESSCO Group, France
November 2022
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)
Practical Aspects
Bernard Homès, TESSCO Group, France
November 2022
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)
Edited by
Sahbi Sidhom, University of Lorraine, France
Amira Kaddour, University of Carthage, Tunisia
October 2022
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)
Edited by
Shikha Mehta, Jaypee Institute of Information Technology, India
Sanju Tiwari , Universidad Autonoma de Tamaulipas, Mexico
Patrick Siarry, University Paris Est Créteil, France
M.A. Jabbar, Vardhaman College of Engineering, India
October 2022
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)
Discrete Methods and Structures for Bioinformatics
Edited by
Annie Chateau, University of Montpellier, France
Mikaël Salson, University of Lille, France
October 2022
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)
Concepts and Tools
Ameur Salem Zaidoun
September 2022
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)
Optimization for Machine Learning and Machine Learning for Optimization
Edited by
Rachid Chelouah, CY Cergy Paris University, France
Patrick Siarry, Paris-East Créteil University, France
April 2022
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)
Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java
Thérèse Hardin, Sorbonne University, France
Mathieu Jaume, Sorbonne University, France
François Pessaux, ENSTA Paris, France
Véronique Viguié Donzeau-Gouge, Conservatoire national des arts et métiers (Cnam Paris), France
November 2021
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)
Yusuf Cengiz Toklu, Beykent University, Turkey
Gebrail Bekda?, Istanbul University-Cerrahpa?a, Turkey
Sinan Melih Nigdeli, Istanbul University-Cerrahpa?a, Turkey
September 2021
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)
Preservation and the Right to be Forgotten
Abderrazak Mkadmi, Manouba University, Tunisia
July 2021
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)
Technologies, Uses, Challenges
Jean-Loïc Delhaye, Consultant
June 2021
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)
A Semantical Approach with OCaml and Python
Thérèse Hardin, Sorbonne University, France
Mathieu Jaume, Sorbonne University, France
François Pessaux, ENSTA Paris, France
Véronique Viguié Donzeau-Gouge, Conservatoire national des arts et métiers (Cnam Paris), France
June 2021
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)
Core Concepts – Software Aspects
Philippe Darche, Institut Universitaire de Technologie (IUT), France
February 2021
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)
Software and Hardware Aspects of Development, Debugging and Testing – The Microcomputer
Philippe Darche, Institut Universitaire de Technologie (IUT), France
February 2021
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)
Daniel Ventre, CESDIP (Centre de Recherche sur le Droit et les Institutions Pénales) Laboratory, France
December 2020
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)
Empowering Innovation for a New Sustainable Future
Patrick Duvaut, IMT, France
Xavier Dalloz, Xavier Dalloz Consulting, France
David Menga, EDF Lab Paris-Saclay, France
François Koehl, Mazars, France
Vidal Chriqui, Consutant
Joerg Brill, Airbus Defense and Space, Germany
December 2020
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)
Core Concepts- Hardware Aspects
Philippe Darche, Institut Universitaire de Technologie (IUT) de Paris, France
December 2020
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)
Core Concepts: Communication in a Digital System
Philippe Darche, Institut Universitaire de Technologie (IUT) de Paris, France
December 2020
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)
Prolegomenes - Calculation and Storage Functions - Models of Computation and Computer Architecture
Philippe Darche, the Institut Universitaire de Technologie (IUT) de Paris, France
November 2020
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)
Cloud Computing for Environmental Data
Edited by
Dominique Laflly, University of Toulouse, France
March 2020
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)
Cloud Computing for Environmental Data
Edited by
Dominique Laflly, University of Toulouse, France
March 2020
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)
Cloud Computing for Environmental Data
Edited by
Dominique Lafly, University of Toulouse, France
March 2020
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)
Edited by
Anne Laurent, University of Montpellier, France
Dominique Laurent, Cergy-Pontoise University, France
Cédrine Madera, IBM, France
March 2020
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)
Hamouche Oulhadj, University of Paris-Est Créteil, France
Boubaker Daachi, University of Paris 8, France
Riad Menasri, Assystem Technologies, France
February 2020
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)
Ali Sadiqui, Office de la Formation Professionnelle et de la Promotion du Travail (OFPPT), Morocco
February 2020
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)
Towards Green Logistics
Edited by
Walid Besbes, Taif University, Tunisia
Diala Dhouib, University of Sfax, Tunisia
Niaz Wassan, University of Kent, United Kingdom
Emna Marrekchi, University of Sfax, Tunisia
December 2019
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)
Ievgen Redko and Amaury Habrard, Jean Monnet University, Saint-Étienne, France
Emilie Morvant and Marc Sebban, Jean Monnet University, Saint-Étienne, France
Younès Bennani, Paris 13 University, France
August 2019
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)
Riadh Ghlala, Higher Institute of Technological Studies of Radès, Tunisia
August 2019
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 Security in the Era of Cloud Computing and IoT
Edited by
Wiem Tounsi, Consultant, France
May 2019
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)
Difficulty Measures and Benchmarks
Maurice Clerc, Consultant
April 2019
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)
Thierry Berthier, University of Limoges, France
Bruno Teboul, Ecole Polytechnique, France
September 2018
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)
Downward Cycle
Jean-Louis Boulanger, Consultant
September 2018
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)
Technology, Use, Ethics
Edited by
Imad Saleh, Paris 8 University and Cergy-Pontoise University, France
Mehdi Ammi, University of Paris-Saclay, France
Samuel Szoniecky, Paris 8 University, France
September 2018
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)
From Human Consciousness to Artificial Consciousness
Alain Cardon, INSA de Rouen, France
August 2018
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)
Trends and Challenges
Edited by
Olivier Pivert, University of Rennes, France
July 2018
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)
Robert Jeansoulin, IUT/University of Paris-Est-Marne-la-Vallée, France
June 2018
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)
Soraya Sedkaoui, Khemis Miliana University, Algeria
May 2018
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)
Modeling and Analysis Method for Information and Communication
Samuel Szoniecky, Paris 8 University, France
May 2018
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)
S. Mahdi Homayouni and Dalila B.M.M. Fontes, LIAAD, INESC TEC, Porto, Portugal
April 2018
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)
Myths and Realities
Edited by
Bruno Arnaldi, INSA Rennes, France
Pascal Guitton, University of Bordeaux, France
Guillaume Moreau, Centrale Nantes Engineering School, France
March 2018
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)
Mathieu Andro, National Institute of Agricultural Research, France
January 2018
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)
An Introduction using MATLAB®
G A Vijayalakshmi Pai, PSG College of Technology, Coimbatore, India
December 2017
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)
Threads, RTSJ and RMI
Badr Benmammar, Abu Bekr Belkaid University, Tlemcen, Algeria
December 2017
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)
Verifying Floating-point Algorithms with the Coq System
Sylvie Boldo, Inria, France
Guillaume Melquiond, Inria, France
November 2017
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)
Graphical Supports for Visual Information
Everardo Reyes-Garcia, Université Paris 8, France
October 2017
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)
Evolutions and Innovations
Edited by
Nasreddine Bouhaï, Paris 8 University, France.
Imad Saleh, Paris 8 University, France
October 2017
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)
Frédéric Héliodore, General Electric Grid Solutions, France
Amir Nakib, University Paris-Est, France
Boussaad Ismail, General Electric Grid Solutions, France
Salma Ouchraa, University Mohammed V, Morocco
Laurent Schmitt, European Network of Transmission System Operators for Electricity (ENTSO-E), France
August 2017
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)
From Component to System
Marise Bafleur, Laboratory for Analysis and Architecture of Systems (LAAS-CNRS), France
Fabrice Caignet, Paul Sabatier University, France
Nicolas Nolhier, Paul Sabatier University, France
July 2017
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)
Performance and Energy Considerations
Jalil Boukhobza, University of Western Brittany, France
Pierre Olivier, Virginia Tech, USA
April 2017
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)
Systems, Models and Applications
Edited by
Mamadou Kaba Traoré, Blaise Pascal University, France
April 2017
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)
Risks, Encryption and Handling Vulnerabilities with PHP
Éric Quinton, National Research Institute of Science and technology for Environment and Agriculture, France
April 2017
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)
Alain Pétrowski, Institut Mines-Télécom, Paris-Saclay University, France
Sana Ben-Hamida, Paris Ouest University, Paris Dauphine University, France
April 2017
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)
Concurrency and Consistency
Matthieu Perrin, University of Nantes, France.
March 2017
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)
Support Processes
Jean-Louis Boulanger, consultant
January 2017
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)
Haiping Ma, Shaoxing University, China
Dan Simon, Cleveland State University, USA
January 2017
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)
Towards Knowledge Ecosystems
Edited by
Samuel Szoniecky and Nasreddine Bouhaï, University of Paris 8, France
January 2017
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)
Edited by
Everardo Reyes-Garcia and Nasreddine Bouhai, University Paris 8, France.
January 2017
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)
Maryline Chetto and Audrey Queudet, University of Nantes, France
December 2016
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)
Michel Rigo, University of Liège, Belgium
December 2016
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)
Evelyne Lutton, INRA, France
Nathalie Perrot, INRA, France
Alberto Tonda, INRA, France
December 2016
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)
Aeronautical Applications
Jean-Marie Dilhac, National Institute of Applied Sciences of Toulouse, France
Vincent Boitier, University Paul Sabatier, Toulouse, France
October 2016
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 Digitized and Networked Factory of the Future
Edited by
Martin Zelm
Guy Doumeingts
Joao Pedro Mendonça
September 2016
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)
Christian Blum, Spanish National Research Council (CSIC), Bellaterra, Spain
Paola Festa, University of Naples Federico II, Italy
August 2016
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)
Clarisse Dhaenens and Laetitia Jourdan, University of Lille, France
August 2016
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)
Main Processes
Jean-Louis Boulanger, consultant
July 2016
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)
Laure Leroy, University of Paris 8, France
June 2016
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)
Laurent Deroussi, Blaise Pascal University, Clermont-Ferrand, France
February 2016
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)
Nacima Labadie, University of Technology, Troyes, France
Christian Prins, University of Technology, Troyes, France
Caroline Prodhon, University of Technology, Troyes, France
February 2016
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)
Frédéric Magoulès, Ecole Centrale Paris, France
Hai-Xiang Zhao, Amadeus, France
January 2016
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)
Frédéric Magoulès, Ecole Centrale Paris, France
François-Xavier Roux, Université Pierre et Marie, France
Guillaume Houzeaux, Barcelona Supercomputing Center, Spain
December 2015
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)
Nicolas Durand, ENAC, France
David Gianazza, ENAC, France
Jean-Baptiste Gotteland, ENAC, France
Jean-Marc Alliot, IRIT, France
December 2015
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)
Harald Wertz, University of Paris 8, France
November 2015
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)
Marie Pelleau, University of Nantes, France
May 2015
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)
Maurice Clerc, Consultant
May 2015
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)
Edited by
Paisarn Muneesawang and Suchart Yammen, Naresuan University, Thailand
April 2015
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)
Ken Chen, Paris 13 University, France
February 2015
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)
From Principles to Implementation with the BLU AGE® Method
Franck Barbier, University of Pau, France
Jean-Luc Recoussine, BLU AGE® Corporation, Dallas, Texas, USA
January 2015
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)
Interoperability for Agility, Resilience and Plasticity of Collaborations
Edited by
Matthieu Lauras
Martin Zelm
Bernard Archimède
Frédérick Bénaben
and Guy Doumeingts
December 2014
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)
Model-oriented Approaches for Complex Systems Certification
Nicolas Larrieu and Antoine Varet, ENAC (French Civil Aviation University), France
October 2014
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)
Introduction to Combinatorics on Words
Michel Rigo, University of Liège, Belgium
August 2014
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)
Foundations and Annotation Schemes
Patrick Saint-Dizier, ILPL research group (Computational Linguistics and Logic Programming), Toulouse, France
August 2014
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)
FOCUS Series in Computer Engineering
Saoussen Krichen, LARODEC Laboratory and Faculty of Law, Economics and Management, University of Jendouba, Tunisia
Jouhaina Chaouachi, IHEC Carthage, Tunisia
August 2014
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)
Applications to Recognizability and Decidability
Michel Rigo, University of Liège, Belgium
August 2014
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)
Toward Cooperative Management
Flavien Quesnel, Ecole des Mines, Nantes
July 2014
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)
Ernesto Exposito, INSA and LAAS-CNRS, France
Codé Diop, LAAS-CNRS, France
June 2014
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)
Implementation of the B Method
Edited by
Jean-Louis Boulanger
June 2014
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)
Frédéric Gardi, Innovation 24 and LocalSolver, Paris, France
Thierry Benoist, Innovation 24, Paris, France
Julien Darlay, Innovation 24, Paris, France
Bertrand Estellon, Aix-Marseille University, France
Romain Megel, Innovation 24, Paris, France
June 2014
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)
Edited by
Jean-Louis Boulanger, Consultant
June 2014
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)
Sid Touati, University Nice Sophia Antipolis, France
Benoit Dupont de Dinechin, Kalray, France
May 2014
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)
Edited by
Mourad Chabane Oussalah, University of Nantes, France
May 2014
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)
Edited by
Mourad Chabane Oussalah, University of Nantes, France
April 2014
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)
Christine Rochange, Paul Sabatier University, Toulouse, France
Sascha Uhrig, Technical University of Dortmund, Germany
Pascal Sainrat, Paul Sabatier University, Toulouse, France
December 2013
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)
Models, Algorithms and Applications
Gérard Govaert, University of Technology of Compiègne, France
Mohamed Nadif, University of Paris-Descartes, France
November 2013
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)
From Capture to Diffusion
Edited by
Laurent Lucas, University of Reims Champagne Ardenne, France
Céline Loscos, University of Reims Champagne Ardenne, France
Yannick Remion, University of Reims Champagne Ardenne, France
October 2013
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)
Research and Applications in the Service-oriented Ecosystem
Edited by
Martin Zelm
Marten van Sinderen
Luis Ferraira Pires
Guy Doumeingts
October 2013
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)
Design and Challenges
Frédéric Landragin, CNRS, France
June 2013
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)
Daniel Delahaye and Stéphane Puechmorel, Ecole Nationale de l’Aviation Civile (French National School of Civil Aviation), France
June 2013
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)
Mohamed Wahbi, Ecole des Mines de Nantes, France
June 2013
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)
Jean-Louis Boulanger, Consultant
April 2013
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)
Edited by
Gil Francopoulo, Tagmatica and Spotter, Paris and Palavas, France
March 2013
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)
Parametric Verification of Real-time Embedded Systems
Étienne André, University of Paris 13, France
Romain Soulat, ENS-Cachan, France
January 2013
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)
CSP Formalisms and Techniques
Khaled Ghedira, University of Tunis, Tunisia
January 2013
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)
Optimization Methods
Maria Soto, IUT de Vannes, France
Marc Sevaux, University of South Brittany, Lorient, France
André Rossi, University of South Brittany, Lorient, France
Johann Laurent, University of South Brittany, Lorient, France
December 2012
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)
Renaud Marlet, École des Ponts ParisTech, Marne-la-Vallée, France
December 2012
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)
Gérard Blanchet and Bertrand Dupouy, Telecom ParisTech, France
December 2012
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)
Gaëlle Calvary, Grenoble INP, France
Thierry Delot, University of Valenciennes, France
Florence Sèdes, Paul Sabatier University, Toulouse, France
Jean-Yves Tigli, University of Nice Sophia Antipolis, France
December 2012
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)
Hugo Arboleda, ICESI University, Cali, Colombia
Jean-Claude Royer, Ecole des Mines de Nantes, France
September 2012
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)
Formal Verification
Edited by
Jean-Louis Boulanger, Consultant
June 2012
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)
Industrial Use from Model to the Code
Edited by
Jean-Louis Boulanger, Consultant
May 2012
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 Cortex-M3
Vincent Mahout, LAAS-INSA, France
January 2012
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)
The Abstract Interpretation
Edited by
Jean-Louis Boulanger, Consultant
November 2011
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)
ISCO2010
Edited by
A. Ridha Mahjoub, LAMSADE, Paris-Dauphine University, France
November 2011
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)
Edited by
Charles-Edmond Bichot, École Centrale de Lyon, France
Patrick Siarry, Paris-Est University, France
September 2011
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)
Design and Algorithms
Edited by
Serge Haddad, ENS de Cachan, France
Fabrice Kordon, UPMC, Paris, France
Laurent Pautet, Telecom ParisTech, France
Laure Petrucci, University Paris 13, France
June 2011
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)
Edited by
Serge Haddad, ENS de Cachan, France
Fabrice Kordon, UPMC, Paris, France
Laurent Pautet, Telecom ParisTech, France
Laure Petrucci, University Paris 13, France
June 2011
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)
Ricardo Caferra, Grenoble INP, France
June 2011
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)
Xavier Lorca, Ecole des Mines de Nantes, France
June 2011
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)
From Cluster to Cloud Computing
Pascale Vicat-Blanc, LYATISS, Lyon
Brice Goglin, INRIA, Bordeaux, France
Sébastien Soudan and Romaric Guillier, LYATISS, Lyon
May 2011
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)
Edited by
Charlotte Truchet, University of Nantes, France
Gérard Assayag, IRCAM-CNRS, France
May 2011
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)
Edited by
Nicolas Monmarché, University of Tours, France
Frédéric Guinand, University of Le Havre, France
Patrick Siarry, University of Paris 12, France
September 2010
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)
Pierre Audibert, University of Paris 8, Saint Denis, France
September 2010
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)
MARTE modelling, model transformations and their usages
Edited by
Jean-Philippe Babau, University of Brest, France.
Mireille Blay-Fornarino, Engineering School of Technology of the University of Nice, France.
Joël Champeau, ENSIETA, Brest Area, France.
Sylvain Robert, LISP, French Atomic Energy and Alternative Energies Commission.
Antonino Sabetta, ISTI CNR, Pisa, Italy.
August 2010
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)
Edited by
Jean-Louis Boulanger, Consultant
June 2010
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)
Christine Solnon, University of Lyon 1, France
April 2010
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)
Edited by
Olivier Buffet, LORIA, Vandoeuvre-lès-Nancy, France
Olivier Sigaud, University Pierre and Marie Curie
February 2010
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)
Edited by
Christophe Aubrun, Nancy University, France
Daniel Simon, INRIA Rhône-Alpes, France
Ye-Qiong Song, Nancy University, France
January 2010
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)
Software and design
Edited by
Claude Jard, ENS Cachan, France.
Olivier H. Roux, Nantes University, France.
November 2009
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)
Techniques and Algorithms
Christophe Lecoutre, University of Artois, France.
June 2009
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)
with exercises and problems
Jean-Claude Fournier, University Pierre et Marie Curie, Paris, France
February 2009
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)
theory and applications
Edited by
Jeanpierre Guédon, University of Nantes, France.
February 2009
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)
Edited by
Michel Banâtre, INRIA, Rennes, France
Pedro Jose Marron, IPVS/University of Stuttgart, Stuttgart, Germany
Anibal Ollero, AICIA, Sevilla, Spain
Adam Wolisz, TUB, Berlin, Germany
February 2008
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)
Jean-Baptiste Waldner
February 2008
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)
Interfaces and Perspectives 30th Anniversary of the LAMSADE
Edited by
Vangelis Th. Paschos, University of Paris-Dauphine, France.
January 2008
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)
Formalisms and Software Tools
Edited by
Stephan Merz and Nicolas Navet, INRIA Lorraine, Nancy, France
January 2008
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)
Edited by
Frédéric Benhamou, University of Nantes, France
Narendra Jussien, Ecole des Mines, Nantes, France
Barry O’Sullivan, University College Cork, Ireland
May 2007
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)
Narendra Jussien, Ecole des Mines de Nantes, France
January 2007
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)
Edited by
Jean-Philippe Babau, INSA Lyon,
Joël Champeau, ENSIETA
Sébastien Gérard, CEA, France
September 2006
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)
Proceedings of the Workshops and the Doctorial Symposium of the Second IFAC/IFIP I-ESA International Conference: EI2N, WSI, IS-TSPQ 2006
Edited by
Hervé Panetto, University Henri Poincaré Nancy I, Research Centre for Automatic Control, France
Nacer Boudjlida, University Henri Poincaré Nancy I, LORIA, France
July 2006
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)
An Overview Using a Case Study
Edited by
Henri Habrias, University of Nantes, France
Marc Frappier, University of Sherbrooke, Canada
April 2006
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)
Cécile Murat, University Paris–Dauphine, France
Vangelis Th. Paschos, University Paris–Dauphine, France
March 2006
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)
Edited by
Sébastien Gérard, CEA, France
Jean-Philippe Babau, INSA Lyon, Lyon, France
Joël Champeau, ENSIETA, France
September 2005
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)
Workshops of the INTEROP-ESA 2005 International Conference (EI2N, WSI, ISIDI and IEHENA 2005)
Edited by
Hervé Panetto, University Henri Poincaré Nancy I, Research Centre for Automatic Control, France
July 2005
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)
ISTE Group
Visit ISTE GroupSCIENCES
Visit SCIENCESOpenScience
ISTE Journals in Open access
CATALOGS
Catalogs