Computer Engineering
April 2015 updated catalog
forthcoming, new and backlist book titles
27-37 St George’s Road – London SW19 4EU — United Kingdom
www.iste.co.uk & www.iste-editions.fr
Computer Engineering
Scientific Committee
Committee coordinator(s)
Jean-Charles Pomerol
Université Pierre et Marie Curie, INSIS/CNRS, Paris
[email protected]
Valérie Berthé, LIAFA, Université Paris Diderot, Paris
Alessandra Carbone, Université Pierre et Marie Curie, Paris
Narendra Jussien, Telecom Lille
Serge Petiton, LIFL, Université de Lille
Cédric Piette, CRIL, Université d'Artois, Lens
Daniel Racoceanu, Université Pierre et Marie Curie, Singapore
Lionel Seinturier, LIFL-INRIA, Université de Lille
Patrick Siarry, LISSI, UPEC - Université Paris-Est Créteil
Publishing Advisors
Yves Demazeau, LIG, CNRS-Université de Grenoble
Yassine Lakhnech, VERIMAG, Université Joseph Fourier, Grenoble
Imad Saleh, Université Paris 8
Agent-oriented Programming
Artificial Intelligence
Computational Biology
Computer Security and Formal Verification
Data Management
High Performance Computing
Image Processing
Information Systems
Topics covered
Knowledge Engineering
Language Processing and Communication
Language / Speech Recognition
Multimedia
Operations Research
Programming Languages
Software Engineering
Theoretical Computer Science
—2—
Computer Engineering
Forthcoming Sets and Titles
Forthcoming Sets
Communicating Drones coordinated by Nicolas Larrieu
Functional Data Analysis coordinated by Frédéric Ferraty
High Level Prallel Programming coordinated by Frédéric Loulergue
Metaheuristics coordinated by Nicolas Monmarché, Patrick Siarry
Software-based Safety Systems coordinated by Jean-Louis Boulanger
Forthcoming Titles
Abstract Domains in Constraint Programming by Pelleau Marie
Advanced Graph Theory and Combinatorics by Rigo Michel
Certifiable Software Applications by Boulanger Jean-Louis
Data Quality in Practices by Berti-Equille Laure
Data Validation by Boulanger Jean-Louis
Enterprise Interoperability I-ESA'14 by Lauras Matthieu et al.
Floating-point Algorithms and Formal Proofs by Boldo Sylvie, Melquiond Guillaume
Min-plus Algebraic Networks by Boyer Marc, Bouillard Anne, Le Corronc Euriel
Mined Individuals in Large Networks by Prieur Christophe
Optimization for Aeronautical Applications by Morlier Joseph
Parallel Computing by Magoules Frédéric, Roux François-Xavier, Houzeaux Guillaume
Safety of Software-based Systems by Boulanger Jean-Louis
SCADE / Language and Applications
by Boulanger Jean-Louis, Fornari François-Xavier, Camus Jean-Louis, Dion Bernard
Visual Inspection Technology in the Hard Disc Drive Industry by Muneesawang Paisarn, Yammen Suchart
Worst-case Performance in Networks by Boyer Marc, Bouillard Anne, Le Corronc Euriell
Sets – Forthcoming and published Titles
Metaheuristics
Coordinated by Nicolas Monmarché, Université de Tours, France
and Patrick Siarry, UPEC - Université Paris-Est Créteil
Evolutionary Algorithms by Petrowski Alain, Ben-Hamida Sana, Michalewicz Zbigniew
Evolutionary Algorithms for Food Science and Technology by Lutton Evelyne, Tonda Alberto, Perrot Nathalie
Evolutionary Computation with Biogeography-based Optimization by Ergezer Mehmet , Simon Dan
Guided Randomness in Optimization by Clerc Maurice
Mataheuristics for Logistics by Deroussi Laurent
Metaheuristics for Air Traffic Management by Durand Nicolas, Gianazza David,Gotteland Jean-Baptiste, Alliot Jean-Marc
Metaheuristics for Big Data by Jourdan Laetitia, Dhaenens Clarisse
Metaheuristics for Intelligent Electrical Networks by Héliodore Frédéric, Ismail Boussaad, Poullain Serge, Nakib Amir
Metaheuristics for String Problems in Bio-informatics by Blum Christian, Festa Paola
Metaheuristics for Vehicle Routing Problems by Labadie Nacima, Prins Christian, Prodhon Caroline
—3—
Computer Engineering
Published Titles
Performance Evaluation by Simulation and Analysis with
Applications to Computer Networks
Ken Chen, Paris 13 University, France
Coordinated by
ISBN: 9781848217478 • 2015 • 314 pages • USD 125.00 • ISTE-WILEY
Contents
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 computer networks: simulation using specialized
software and mathematical modeling. A large part is dedicated to
simulation, especially within its theoretical framework, and the precautions
which need to be taken in the implementation and experimental procedure.
These principles are illustrated by concrete examples realized through the
OMNeT++ simulation framework.
The mathematical method (queueing theory, Markov process) is presented
as an indispensable complementary approach to simulation. Both
methodologies are based largely on the theory of probability, and statistics.
A reminder of the basic results is also available.
1. Performance Evaluation.
Part 1. Simulation
2. Introduction to Simulation.
3. Modeling of Stochastic Behaviors.
4. Simulation Languages.
5. Simulation Running and Data Analysis.
6. OMNET++.
Part 2. Queueing Theory
7. Introduction to the Queueing Theory.
8. Poisson Process.
9. Markov Queueing Systems.
10. The M/G/1 Queues.
11. Queueing Networks.
Part 3. Probability and Statistics
12. An Introduction to the Theory of Probability.
13. An Introduction to Statistics.
14. Markov Process.
Evaluation de performances par simulation et analyse – ISBN: 9781784050375
The above title is published in French by ISTE Editions (www.iste-editions.fr)
—4—
Computer Engineering
Published Titles
Scheduling of Large-scale Virtualized Infrastructures
Toward Cooperative Management
Flavien Quesnel, Ecole des Mines, Nantes
Coordinated by Narendra Jussien
ISBN: 9781848216204 • 2014 • 192 pages • USD 90.00 • ISTE-WILEY
Contents
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 userspace frameworks or distributed operating systems.
Over the past few years, a new kind of software manager has appeared,
managers that rely on system virtualization. System virtualization allows the
software to be disassociated from the underlying node by encapsulating it
in a virtual machine.
The contribution of this book lies precisely in this area of research; more
specifically, the author proposes DVMS (Distributed Virtual Machine
Scheduler), a more decentralized application to dynamically schedule
virtual machines hosted on a distributed infrastructure. These virtual
machines are created, deployed on nodes and managed during their entire
lifecycle by virtual infrastructure managers (VIMs). Ways to improve the
scalability of VIMs are proposed, one of which consists of decentralizing the
processing of several management tasks.
Part 1. Management of Distributed Infrastructures
1. Distributed Infrastructures Before the Rise of
Virtualization.
2. Contributions of Virtualization.
3. Virtual Infrastructure Managers Used in
Production.
Part 2. Toward a Cooperative and Decentralized
Framework to Manage Virtual Infrastructures
4. Comparative Study Between Virtual
Infrastructure Managers and Distributed
Operating Systems.
5. Dynamic Scheduling of Virtual Machines.
Part 3. DVMS, a Cooperative and Decentralized
Framework to Dynamically Schedule Virtual
Machines
6. DVMS: A Proposal to Schedule Virtual
Machines in a Cooperative and Reactive Way.
7. Experimental Protocol and Testing
Environment.
8. Experimental Results and Validation of DVMS.
9. Perspectives Around DVMS.
Graph-related Optimization and Decision Support Systems
Saoussen Krichen, LARODEC Laboratory and Faculty of Law, Economics and Management,
University of Jendouba Jouhaina Chaouachi, IHEC Carthage, Tunisia
Coordinated by Jean-Charles Pomerol
ISBN: 9781848217430 • 2014 • 184 pages • USD 85.00 • ISTE-WILEY
The aim of this book is expose optimization problems that can be
Contents
expressed as graphs, by detailing, for each studied problem, the
set of nodes and the set of edges.
The authors propose, for each studied problem, a greedy
algorithm as a problem-specific heuristic and a genetic algorithm
as a metaheuristic.
1. Basic Concepts in Optimization and Graph Theory.
2. Knapsack Problems.
3. Packing Problems.
4. Assignment Problem.
5. The Resource Constrained Project Scheduling Problem.
6. Spanning Tree Problems.
7. Steiner Problems.
8. A DSS Design for Optimization Problems.
—5—
Computer Engineering
Published Titles
Musical Rhetoric
Foundations and Annotation Schemes
Patrick Saint-Dizier, ILPL research group, Toulouse, France
Coordinated by Jean-Charles Pomerol
ISBN: 9781848215610 • 2014 • 208 pages • USD 80.00 • ISTE-WILEY
Contents
This book explores the various roles played by music in a rhetoric discourse
or in an argumentative construction. The author develops the computer
modeling of a number of simple and relatively commonly accepted aspects
of music rhetoric. Therefore, in addition to an analysis of musical features
that are important to rhetoric, this book introduces computational
formalisms and representations used particularly in computational
linguistics which turn out to be appropriate and sufficiently expressive for an
analysis of music rhetoric.
1. An Introduction to Classical Rhetoric.
2. Language, Music and the Rhetoric Discourse.
3. The Symbolism of Musical Elements.
4. Feature Structures for Representing Musical
Constructions.
5. A Rhetoric Analysis of Musical Works.
Formal Methods Applied to Industrial Complex Systems
Edited by Jean-Louis Boulanger, Consultant
Coordinated by Jean-Charles Pomerol
ISBN: 9781848216327 • 2014 • 480 pages • USD 185.00 • ISTE-WILEY
Contents
This book presents a summary of experience on
the use of “formal methods” (such as proof and
model-checking) in industrial examples of
complex systems, based on the experience of
people currently involved in the creation and
evaluation of safety critical system software.
The authors cover the following topics: the use of
SCADE, constraint solving in B, validation of Petri
Nets-based automated rail safety, Mitsubichi,
Clearsy, the B-method, B extended to flight, which
is sufficient to prove avionics software, data
validation with ProB, proof with new GNATprove
tools.`
1. Formal Description and Modeling of Risks.
2. An Innovative Approach and an Adventure in Rail Safety.
3. Use of Formal Proof for CBTC (OCTYS).
4. Safety Demonstration for a Rail Signaling Application in Nominal and
Degraded Modes using Formal Proof.
5. Formal Verification of Data for Parameterized Systems.
6. ERTMS Modeling using EFS.
7. The Use of a “Model-based Design” Approach on an ERTMS Level 2
Ground System.
8. Applying Abstract Interpretation to Demonstrate Functional Safety.
9. BCARe: Automatic Rule Checking for Use with Siemens.
10. Validation of Railway Security Automatisms Based on Petri Networks.
11. Combination of Formal Methods for Creating a Critical Application.
12. Mathematical Proofs for the New York Subway.
Formal Methods Applied to Complex Systems
Implementation of the B Method
Edited by Jean-Louis Boulanger, Consultant
Coordinated by Jean-Charles Pomerol
ISBN: 9781848217096 • 2014 • 512 pages • USD 195.00 • ISTE-WILEY
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.
Complete table of contents at http://www.iste.co.uk/index.php?f=a&ACTION=View&id=762
—6—
Computer Engineering
Published Titles
Rapid Prototyping of Software for Avionics Systems
Model-oriented Approaches for Complex Systems Certification
Nicolas Larrieu and Antoine Varet, ENAC (French Civil Aviation University), France
Coordinated by Guy Pujolle
ISBN: 9781848217645 • 2014 • 152 pages • USD 90.00 • ISTE-WILEY
Contents
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 into production.
This book proposes a methodology to enable the rapid prototyping of such
a system by considering from the start the certification aspects of the
solution produced. This method takes advantage of the model-based
design approaches as well as the use of formal methods for the validation
of these systems. Furthermore, the use of automatic software code
generation tools using models makes it possible to reduce the development
phase as well as the final solution testing.
This book presents, firstly, an overview of the model-based design
approaches such as those used in the field of aeronautical software
engineering. Secondly, an original methodology that is perfectly adapted to
the field of aeronautical embedded systems is introduced. Finally, the
authors illustrate the use of this method using a case study for the design,
implementation and testing of a new generation aeronautical router.
1. Developing Model-based Design Methods in
Software Engineering.
2. Methodology for Rapid Prototyping Avionic
Software.
3. Implementing the Prototyping Methodology to
Develop a Next Generation Avionic Router.
Prototypage rapide de logiciel pour les systèmes avioniques – ISBN: 9781784050368
The above title is published in French by ISTE Editions (www.iste-editions.fr)
Enterprise Interoperability
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
Computer Engineering Series
ISBN: 9781848217997 • 2014 • 356 pages • USD 155.00 • ISTE-WILEY
This book constitutes the proceedings of eight workshops and
one doctoral symposium, co-located with the 7th I-ESA
Conference. It contains short papers about ongoing (EI)
research and new applications, and provides summaries of the
workshop discussions.
Complementing the I-ESA Conference program, the workshops
explore new interoperability research issues, challenges and
solutions for Smart Industry, the Internet-of-Things, and Factory
of the Future.
The workshop proceedings report on Methods in the Future
Internet, Architectures and ICT services with regard to Digital
Business Innovation in Manufacturing. They address
applications of advanced technologies in the health sector, in
smart nets city logistics and in crisis management and cover
standardization developments for Enterprise Interoperability in
the Manufacturing Service Domain.
Complete table of contents at
http://www.iste.co.uk/index.php?f=a&ACTION=View&id=828
—7—
Computer Engineering
Published Titles
Software Architecture 1
Edited by Mourad Chabane Oussalah, University of Nantes, France
Coordinated by Jean-Charles Pomerol
ISBN: 9781848216006 • 2014 • 256 pages • USD 105.00 • ISTE-WILEY
Contents
Software Architecture 1 presents the software architecture
paradigms based on objects, components, services and
models, as well as the various architectural techniques and
methods, the analysis of architectural qualities, models of
representation of architectural templates and styles, their
formalization, validation and testing and finally the engineering
approach in which these consistent and autonomous elements
can be tackled.
1. Object-Oriented, Component-Based, Agent-Oriented and
Service-Oriented Paradigms in Software Architectures.
2. Reference Architectures.
3. Multihierarchy / Multiview Software Architectures.
4. Software Architecture and Tools: Distributed and
Coordinated Dynamic Reconfiguration Management.
5. Software Architecture for Product Lines.
6. Software Architecture: Service Adaptation Techniques in
the Context of Web Services Composition.
Software Architecture 2
Edited by Mourad Chabane Oussalah, University of Nantes, France
Coordinated by Jean-Charles Pomerol
ISBN: 9781848216884 • 2014 • 256 pages • USD 105.00 • ISTE-WILEY
Contents
4. Architecture and Quality of Software Systems.
5. Software Architectures and Multiagent Systems.
6. Software Architectures and Software Processes.
1. Metamodeling in Software Architectures.
2. Architecture Constraints.
3. Software Architectures and Multiple Variability.
COBOL Software Modernization
From Principles to Implementation with the BLU AGE® Method
Franck Barbier, University of Pau, France, Jean-Luc Recoussine, BLU AGE® Corporation,
Dallas, Texas
Coordinated by Jean-Charles Pomerol
ISBN: 9781848217607 • 2014 • 280 pages • USD 135.00 • ISTE-WILEY
This book presents a reflection on software modernization to
Contents
align old information systems with current Internet-centric
computing paradigms, mainly SOA and the Cloud, as well as 1. Software Modernization: A Business Vision.
highlighting popular middleware platforms, namely Java EE, 2. Software Modernization: Technical Environment.
3. Status of COBOL Legacy Applications.
.NET, Spring, etc.
4. Service-Oriented Architecture (SOA).
5. SOA in Action. – 6. Model-Driven Development (MDD).
7. Model-Driven Software Modernization.
8. Software Modernization Method and Tool. – 9. Case Study.
—8—
Computer Engineering
Published Titles
Advanced Backend Code Optimization
Sid Touati, University Nice Sophia Antipolis, Benoit Dupont de Dinechin, Kalray, France
Coordinated by Jean-Charles Pomerol
ISBN: 9781848215382 • 2014 • 384 pages • USD 149.00 • ISTE-WILEY
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 on phase ordering in optimizing compilation,
register saturation in instruction level parallelism, code size
reduction for software pipelining, memory hierarchy effects in
instruction-level parallelism, and rigorous statistical
performance analysis, it covers material not previously covered
by books in the field.Other chapters provide the latest research
results in well-known topics such as instruction scheduling and
its relationship with machine scheduling theory, register need,
software pipelining and periodic register allocation.
Complete table of contents at
http://www.iste.co.uk/index.php?f=a&ACTION=View&id=608
Time-Predictable Architectures
Christine Rochange and Pascal Sainrat, Paul Sabatier University, Toulouse, France, Sascha
Uhrig, Technical University of Dortmund, Germany
Coordinated by Luis Farinas
ISBN: 9781848215931 • 2014 • 192 pages • USD 85.00 • ISTE-WILEY
Contents
Time-Predictable Architectures is concerned with building computers that
can be used to design embedded real-time systems.
Real-time embedded software requires increasingly higher performances,
which leads the authors to consider processors that implement advanced
mechanisms such as pipelining, out-of-order execution, branch prediction,
cache memories, multithreading, multicore architectures, etc. The authors
investigate the time-predictability of such schemes.
1. Real-Time Systems and Time Predictability.
2. Timing Analysis of Real-Time Systems.
3. Current Processor Architectures.
4. Memory Hierarchy.
5. Multicores.
6. Example Architectures.
Modeling and Optimization of Air Traffic
Daniel Delahaye and Stéphane Puechmorel, ENAC, France
Coordinated by Narendra Jussien
ISBN: 9781848215955 • 2013 • 352 pages • USD 135.00 • ISTE-WILEY
The authors’ research is linked with the attempt to reduce air 3. Genetic Algorithms and Improvements. – 4. A new concept
space congestion in Western Europe, USA and, increasingly, for Genetic Algorithms based on Order Statistics.
Part 2. Applications to Air Traffic Control
Asia.
5. Air Traffic Control. – 6. Contributions to Airspace
Contents
Sectorization. – 7. Contribution to Traffic Assignment.
8. Airspace Congestion Metrics. – 9. Conclusion and Future
1. Introduction.
Perspectives.
Part 1. Optimization and Artificial Evolution
2. Optimization: State of the Art.
—9—
Computer Engineering
Published Titles
Enterprise Interoperability
Research and Applications in the Service-oriented Ecosystem
Edited by Martin Zelm, Marten van Sinderen, Luis Ferraira Pires and Guy Doumeingts
Computer Engineering Series
ISBN: 9781848216624 • 2013 • 272 pages • USD 120.00 • ISTE-WILEY
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 solved in a multi-view of information,
services and processes throughout Enterprise Networks.
The book constitutes the proceedings of five workshops colocated with the Fifth IFIP Working Conference IWEI 2013. It
contains the presented peer reviewed papers and summaries
of the workshop discussions.
Complete table of contents at
http://www.iste.co.uk/index.php?f=a&ACTION=View&id=715
Man–Machine Dialogue
Design and Challenges
Frédéric Landragin, CNRS, France
Coordinated by Patrick Paroubek
ISBN: 9781848214576 • 2013 • 240 pages • USD 85.00 • ISTE-WILEY
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.
Contents
Part 1. Historical and Methodological Landmarks
1. An Assessment of the Evolution of Research and
Systems. – 2. Man–Machine Dialogue Fields.
3. The Development Stages of a Dialogue System.
4. Reusable System Architectures.
Part 2. Inputs Processing
5. Semantic Analyses and Representations.
6. Reference Resolution. – 7. Dialogue Acts Recognition.
Part 3. System Behavior and Evaluation
8. A Few Dialogue Strategies. – 9. Multimodal Output
Management. – 10. Multimodal Dialogue System Assessment.
Algorithms and Ordering Heuristics for Distributed Constraint
Satisfaction Problems
Mohamed Wahbi, Ecole des Mines de Nantes, France
Coordinated by Narendra Jussien
ISBN: 9781848215948 • 2013 • 176 pages • USD 75.00 • ISTE-WILEY
A wide variety of problems in artificial intelligence are solved
using the constraint satisfaction problem paradigm. However,
there are several applications in multi-agent coordination that
are of a distributed nature. In this type of application, the
knowledge about the problem, that is, variables and
constraints, may be logically or geographically distributed
among physical distributed agents.
This distribution is mainly due to privacy and/or security
requirements. Therefore, a distributed model allowing a
decentralized solving process is more adequate to model and
solve such kinds of problem. The distributed constraint
satisfaction problem has such properties.
Complete table of contents at
http://www.iste.co.uk/index.php?f=a&ACTION=View&id=606
— 10 —
Computer Engineering
Published Titles
Safety Management for Software-based Equipment
Jean-Louis Boulanger, CERTIFER, France
Coordinated by Jean-Charles Pomerol
ISBN: 9781848214521 • 2013 • 192 pages • USD 95.00 • ISTE-WILEY
Contents
This book shows how it is possible to define a safety architecture (including
redundancy, diversification, error-detection techniques) on the basis of
safety objectives and how to identify objectives related to software
programs.
From software objectives, the author present the different safety techniques
(fault detection, redundancy and quality control). “Certifiable system”
aspects are taken into account throughout the book.
1.
2.
3.
4.
5.
6.
7.
Safety Management.
From System to Software.
Certifiable System.
Risk and Safety Levels.
Principles of Hardware Safety.
Principles of Software Safety.
Certification.
LMF — Lexical Markup Framework
Edited by Gil Francopoulo, Tagmatica, Paris, France
Coordinated by Patrick Paroubek
ISBN: 9781848214309 • 2013 • 288 pages • USD 125.00 • ISTE-WILEY
The goals of LMF are to provide a common model for the
creation and use of lexical resources, to manage the exchange
of data between and among these resources, and to enable the
merging of a large number of individual electronic resources to
form extensive global electronic resources.
The various types of individual instantiations of LMF can
include monolingual, bilingual or multilingual lexical resources.
The same specifications can be used for small and large
lexicons, both simple and complex, as well as for both written
and spoken lexical representations.
The descriptions range from morphology, syntax and
computational semantics to computer-assisted translation. The
languages covered are not restricted to European languages,
but apply to all natural languages.
The LMF specification is now a success and numerous lexicon
managers currently use LMF in different languages and
contexts.
Complete table of contents at
http://www.iste.co.uk/index.php?f=a&ACTION=View&id=566
The Inverse Method
Parametric Verification of Real-time Embedded Systems
Etienne André, University Paris 13 and Romain Soulat, ENS Cachan, France
Coordinated by Jean-Charles Pomerol
ISBN: 9781848214477 • 2013 • 176 pages • USD 90.00 • ISTE-WILEY
This book introduces state-of-the-art verification techniques for 3. The Inverse Method in Practice: Application to Case
real-time embedded systems, based on the inverse method for Studies.
parametric timed automata.
4. Behavioral Cartography of Timed Automata.
5. Parameter Synthesis for Hybrid Automata.
Contents
6. Application to the Robustness Analysis of Scheduling
Problems.
1. Parametric Timed Automata.
7. Conclusion and Perspectives.
2. The Inverse Method for Parametric Timed Automata.
— 11 —
Computer Engineering
Published Titles
Constraint Satisfaction Problems
CSP Formalisms and Techniques
Khaled Ghédira, University of Tunis, Tunisia
Coordinated by Bernard Dubuisson
ISBN: 9781848214606 • 2013 • 240 pages • USD 95.00 • ISTE-WILEY
Contents
This book introduces the classic CSP and details several
extensions/improvements of both formalisms and techniques
in order to tackle a large variety of problems.
Consistency, flexible, dynamic, distributed and learning
aspects are discussed and illustrated using simple examples
such as the n-queen problem.
1.
2.
3.
4.
5.
6.
7.
8.
Foundations of CSP.
Consistency Reinforcement Techniques.
CSP Solving Algorithms.
Search Heuristics.
Learning Techniques.
Maximal Constraint Satisfaction Problems.
Constraint Satisfaction and Optimization Problems.
Distibuted Constraint Satisfaction Problems.
Memory Allocation Problems in Embedded Systems
Optimization Methods
Maria Soto, IUT de Vannes, Marc Sevaux, André Rossi and Johann Laurent, University of
Southern Brittany, Lorient, France
Coordinated by Narendra Jussien
ISBN: 9781848214286 • 2012 • 208 pages • USD 90.00 • ISTE-WILEY
A state of the art of optimization techniques for memory 3. Memory Allocation Problem with Constraint on the Number
of Memory Banks.
management and data assignment is presented in this book.
4. General Memory Allocation Problem.
Contents
5. Dynamic Memory Allocation Problem.
6. MemExplorer: Cases Studies.
1. Context.
7. General Conclusions and Future Work.
2. Unconstrained Memory Allocation Problem.
Computer Science and Ambient Intelligence
Gaëlle Calvary, Grenoble INP, Thierry Delot, University of Valenciennes, Florence Sèdes, Paul
Sabatier University, Toulouse and Jean-Yves Tigli, University of Nice Sophia Antipolis, France
Computer Engineering Series
ISBN: 9781848214378 • 2012 • 352 pages • USD 145.00 • ISTE-WILEY
This book focuses on ambient intelligence and addresses 8. Security and Ambient Systems: A Study on the Evolution of
various issues related to data management, networking and Access Management in Pervasive Information Systems.
9. Interactive Systems and User-Centered Adaptation: The
HCI in this context.
Plasticity of User Interfaces. – 10. Composition of User
Contents
Interfaces. – 11. Smart Homes for People Suffering from
Cognitive Disorders.
1. Ambient Intelligence: Science or Fad? – 2. Thinking about
12. Pervasive Games and Critical Applications.
Ethics. – 3. Sensor Networks. – 4. Smart Systems, Ambient
Intelligence, and Energy Sources: Current Developments and 13. Intelligent Transportation Systems.
Future Applications. – 5. Middleware in Ubiquitous Computing. 14. Sociotechnical Ambient Systems: From Test Scenario to
6. WComp, Middleware for Ubiquitous Computing and System Scientific Obstacles.
Focused Adaptation. – 7. Data Access and Ambient Computing.
— 12 —
Computer Engineering
Published Titles
Computer Architecture
Gérard Blanchet and Bertrand Dupouy, Telecom Paris-Tech, France
Computer Engineering Series
ISBN: 9781848214293 • 2012 • 384 pages • USD 125.00 • ISTE-WILEY
For reasons of clarity, the authors have deliberately chosen 4. Instructions. – 5. The Processor. – 6. Inputs and Outputs.
examples that apply to machines from all eras, without having Part 3. Memory Hierarchy
to water down the contents of the book.
7. Memory. – 8. Caches. – 9. Virtual Memory.
Part 4. Parallelism and Performance Enhancement
Contents
10. Pipeline Architectures. – 11. Example of an Architecture.
12. Caches in a Multiprocessor Environment.
Part 1. Elements of a Basic Architecture
13. Superscalar Architectures.
1. Introduction. – 2. The Basic Modules. – 3. The
Part 5. Appendices
Representation of Information.
14. Hints and Solutions. – 15. Programming Models
Part 2. Programming Model and Operation
Program Specialization
Renaud Marlet, École des Ponts ParisTech, France
Computer Engineering Series
ISBN: 9781848213999 • 2012 • 560 pages • USD 195.00 • ISTE-WILEY
This book presents the principles and techniques of program 4. A Specializer for C: Tempo. – 5. Applications of
specialization, a general method to make programs faster (and Specialization. – 6. Precision of Program Analysis.
possibly smaller) when some inputs can be known in advance. 7. Reification: From a Value to a Term. – 8. Specialization of
Incomplete Programs. – 9. Exploitation of Specialization.
Contents
10. Incremental Runtime Specialization. – 11. Data
Specialization. – 12. Scientific Perspectives. – 13. Conclusion:
1. Main Principles of Program Specialization.
From Prototype to Product.
2. Specialization Techniques. – 3. Offline Specialization.
Model-Driven and Software Product Line Engineering
Hugo Arboleda, ICESI University, Cali, Colombia and Jean-Claude Royer,
Ecole des Mines de Nantes, France
Computer Engineering Series
ISBN: 9781848214279 • 2012 • 288 pages • USD 125.00 • ISTE-WILEY
This book introduces both Software Product Lines
Contents
and Model-Driven Engineering, which have
separate success stories in industry, and focuses
on the practical combination of them. It describes
the challenges and benefits of merging these two
software development trends and provides the
reader with a novel approach and practical
mechanisms to improve software development
productivity.
1. Introduction. – 2. Software Product Line Engineering Basics.
3. Model-Driven Engineering.
4. Model-Driven and Software Product Line Engineering.
5. The FieSta Framework: Fine-Grained Derivation and Configuration.
6. Tools Support. – 7. A Second Comprehensive Application Example.
8. Further Reading. – 9. Conclusion.
— 13 —
Computer Engineering
Published Titles
Industrial Use of Formal Methods
Formal Verification
Edited by Jean-Louis Boulanger, CERTIFER, France
Computer Engineering Series
ISBN: 9781848213630 • 2012 • 320 pages • USD 145.00 • ISTE-WILEY
Contents
This book is based on the
experience of people who
are currently involved in the
creation and evaluation of
safety
critical
system
software.
1.
2.
3.
4.
5.
6.
7.
8.
SPARK – A Language and Tool-Set for High-Integrity Software Development.
Model-Based Testing Automatic Generation of Test Cases using the Markov Chain Model.
Safety Analysis of the Embedded Systems with the AltaRica Approach.
Polyspace®.
Escher Verification Studio Perfect Developer and Escher C Verifier.
Partial Applications of Formal Methods.
Event-B and Rodin.
Conclusion.
Formal Methods
Industrial Use from Model to the Code
Edited by Jean-Louis Boulanger, CERTIFER, France
Computer Engineering Series
ISBN: 9781848213623 • 2012 • 384 pages • USD 145.00 • ISTE-WILEY
This book is based on the experience of people who are 4. Model-Based Design using Simulink – Modeling, Code
currently involved in the creation and evaluation of safety Generation, Verification, and Validation.
critical system software.
5. Proving Global Properties with the Aid of the SIMULINK
DESIGN VERIFIER Proof Tool.
Contents
6. SCADE: Implementation and Applications.
7. GATeL: A V&V Platform for SCADE Models.
1. From Classic Languages to Formal Methods.
8. ControlBuild, a Development Framework for Control
2. Formal Method in the Railway Sector / the First Complex
Application: SAET-METEOR. – 3. The B Method and B Tools. Engineering. – 9. Conclusion.
Assembly Language Programming
ARM Cortex-M3
Vincent Mahout, LAAS-INSA, France
Computer Engineering Series
ISBN: 9781848213296 • 2012 • 256 pages • USD 96.00 • ISTE-WILEY
Contents
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.
This book explains the basics of programming in
an assembly language, while being based on the
architecture of Cortex-M3 in detail and developing
many examples.
1. Overview of Cortex-M3 Architecture. – 2. The Core of Cortex-M3.
3. The Proper Use of Assembly Directives. – 4. Operands of Instructions.
5. Instruction Set. – 6. Algorithmic and Data Structures.
7. Internal Modularity. – 8. Managing Exceptions.
9. From Listing to Executable: External Modularity.
— 14 —
Computer Engineering
Backlist Titles (published prior to 2012)
Fundamentals of Software Testing
Ant Colony Optimization and Constraint
Programming
Bernard Homès, Consultant, France
Christine Solnon, University Lyon 1, France
9781848213241 • 2011 • 384 pages • USD 147.00
9781848211308 • 2010 • 256 pages • USD 145.00
Static Analysis of Software
The Abstract Interpretation
Edited by Jean-Louis Boulanger, CERTIFER, France
Mathematics for Informatics and Computer Science
Pierre Audibert, University Paris 8, France
9781848213203 • 2011 • 352 pages • USD 167.00
97818482111964 • 2010 • 944 pages • USD 135.00
Graph Partitioning
Safety of Computer Architectures
Edited by Charles-Edmond Bichot, École Centrale de Lyon
and Patrick Siarry, Paris-Est University, France
Edited by Jean-Louis Boulanger, CERTIFER, France
9781848211971 • 2010 • 512 pages • USD 127.00
9781848212336 • 2011 • 384 pages • USD 175.00
Markov Decision Processes in Artificial Intelligence
Logic for Computer Science and Artificial
Intelligence
Edited by Olivier Sigaud, UPMC and Olivier Buffet, LORIA,
Vandœuvre-lès-Nancy, France
Ricardo Caferra, Grenoble INP, France
9781848213012 • 2011 • 544 pages • USD 197.00
9781848211674 • 2010 • 480 pages • USD 160.00
Model Driven Engineering for distributed Real-Time
Systems
Tree-based Graph Partitioning Constraint
Xavier Lorca, Ecole des Mines de Nantes, France
MARTE modelling, model transformations and their usages
Edited by Jean-Philippe Babau, University of Western
Brittany, Mireille Blay-Fornarino, Ecole Polytech'Nice-Sophia,
Joël Champeau, ENSIETA, Sylvain Robert, CEA-LIST,
France
and Antonio Sabetta, ISTI CNR, Pisa, Italy
9781848213036 • 2011 • 256 pages • USD 96.00
Distributed Systems
DESIGN AND ALGORITHMS
Edited by Serge Haddad, ENS Cachan,
Fabrice Kordon, UPMC, Paris, Laurent Pautet, Telecom
ParisTech and Laure Petrucci, University Paris 13, France
9781848211155 • 2010 • 256 pages • USD 110.00
Interoperability for Enterprise Software and
Applications
9781848212503 • 2011 • 336 pages • USD 147.00
Models and Analysis in Distributed Systems
Proceedings of the Workshops and the Doctorial Symposium
of the I-ESA International Conference 2010
Edited by Hervé Panetto, University Henri Poincaré Nancy I,
Research Centre for Automatic Control,
Nacer Boudjlida, University Henri Poincaré Nancy, France
Edited by Serge Haddad, Fabrice Kordon, Laurent Pautet,
and Laure Petrucci
9781848213142 • 2011 • 368 pages • USD 147.00
Constraint Programming in Music
Edited by Charlotte Truchet, University of Nantes and Gérard
Assayag, IRCAM-CNRS, France
9781848212886 • 2011 • 256 pages • USD 96.00
Computing Networks
From Cluster to Cloud Computing
Pascale Vicat-Blanc, Sébastien Soudan and Romaric Guillier,
LYATISS, Lyon and
Brice Goglin, INRIA, Bordeaux, France
9781848212862 • 2011 • 272 pages • USD 96.00
Artificial Ants
Edited by Nicolas Monmarché, University of Tours, Frédéric
Guinand, University of Le Havre and Patrick Siarry, University
Paris 12, France
9781848211940 • 010 • 576 pages • USD 215.00
9781848212701 • 2010 • 176 pages • USD 116.00
Constraint Networks
Techniques and Algorithms
Christophe Lecoutre, Artois University, France
9781848211063 • 2009 • 592 pages • USD 270.00
The Mojette Transform
Theory and Applications
Edited by Jeanpierre Guédon, University of Nantes, France
9781848210806 • 2009 • 288 pages • USD 140.00
Communicating Embedded Systems
Software and Design
Edited by Claude Jard, ENS Cachan and Olivier H. Roux,
University of Nantes, France
— 15 —
9781848211438 • 2009 • 288 pages • USD 125.00
Computer Engineering
Backlist Titles (published prior to 2012)
Graph Theory and Applications
Trends in Constraint Programming
With Exercises and Problems
Jean-Claude Fournier, University Pierre and Marie Curie,
Paris, France
Edited by Frédéric Benhamou, University of Nantes,
Narendra Jussien, Ecole des Mines, Nantes, France and
Barry O’Sullivan, University College Cork, Ireland
9781848210707 • 2009 • 288 pages • USD 135.00
9781905209972 • 2007 • 416 pages • USD 220.00
Nanocomputers and Swarm Intelligence
Probabilistic Combinatorial Optimization on Graphs
Jean-Baptiste Waldner, Consultant, France
Cécile Murat and Vangelis Th. Paschos, University ParisDauphine, France
9781848210097 • 2008 • 304 pages • USD 160.00
9781905209330 • 2006 • 272 pages • USD 140.00
Cooperating Embedded Systems and Wireless
Sensor Networks
Edited by Michel Banâtre, INRIA, Rennes, France, Pedro
José Marrón, Universität Stuttgart, Germany, Anibal Ollero,
AICIA, Sevilla, Spain and Adam Wolisz, TUB, Berlin,
Germany
9781848210004 • 2008 • 424 pages • USD 180.00
Modeling and Verification of Real-Time Systems
Formalisms and Software Tools
Edited by Stephan Merz and Nicolas Navet, INRIA Lorraine,
Nancy, France
9781848210134 • 2008 • 400 pages • USD 220.00
Co-design Approaches for Dependable Networked
Control Systems
Edited by Christophe Aubrun, Nancy University, Daniel
Simon, INRIA Rhône-Alpes and Ye-Qiong Song, Nancy
University, France
From MDD Concepts to Experiments and
Illustrations
Edited by Jean-Philippe Babau, INSA Lyon, Joël Champeau,
ENSIETA, Brest and Sébastien Gérard, CEA, France
9781905209590 • 2006 • 224 pages • USD 140.00
Model Driven Engineering for Distributed Real-time
Embedded Systems
Edited by Sébastien Gérard, CEA, Jean-Philippe Babau,
INSA Lyon and Joël Champeau, ENSIETA, France
9781905209323 • 2005 • 288 pages • USD 150.00
A to z of Sudoku
The Science of Constraint Programming Behind Sudoku…
Narendra Jussien, Ecole des Mines, Nantes, France
9781847040008 • 2007 • 184 pages • USD 50.00
Software Specification Methods
9781848211766 • 2010 • 336 pages • USD 150.00
Combinatorial Optimization and Theoretical
Computer Science
Interfaces and Perspectives
Edited by Vangelis Th. Paschos, University Paris-Dauphine,
France
9781848210219 • 2008 • 520 pages • USD 220.00
An Overview using a Case Study
Edited by Henri Habrias, University of Nantes, France and
Marc Frappier, University of Sherbrooke, Canada
9781905209347 • 2006 • 448 pages • USD 165.00
Interoperability for Enterprise Software and
Applications 2006
Volume 1 – Concepts of Combinatorial Optimization
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,
Nacer Boudjlida, University Henri Poincaré Nancy, France
Volume 2 – Paradigms of Combinatorial
Optimization
Interoperability of Enterprise Software and
Applications 2005
COMBINATORIAL OPTIMIzATION SERIES
Vangelis Th. Paschos, University Paris-Dauphine, France
9781848211476 • 2010 • 384 pages • USD 165.00
9781848211483 • 2010 • 720 pages • USD 325.00
9781905209613 • 2006 • 400 pages • USD 180.00
Edited by Hervé Panetto, University Henri Poincaré Nancy I
9781905209491 • 2005 • 368 pages • USD 180.00
Volume 3 – Applications of Combinatorial
Optimization
9781848211490 • 2010 • 416 pages • USD 165.00
— 16 —
ISTE SCIENCE PUBLISHING GROUP
ISTE Ltd – ISTE Press Ltd – ISTE Editions Ltd
ISTE Contacts
Sami Ménascé, President and Managing Director – [email protected]
Raphaël Ménascé, Vice-President – +44 208 879 4588 – [email protected]
General Adminstration
Chantal Ménascé — +44 208 879 4582 – [email protected]
Editorial and Production
Rebecca Edge, Editorial Manager – +44 208 879 4585 – [email protected]
Ludovic Moulard, Acquisition Editor – +44 208 879 4584 – [email protected]
Scientific Board Members
Jean-Charles Pomerol, Université Pierre et Marie Curie – INSIS/CNRS, Paris, France
(President of the Scientific Board)
Robert Baptist, CEA Grenoble, France
Philippe Baptiste, directeur général délégué à la science du CNRS, Paris, France
Alain Dollet, CNRS – INSIS-CNRS, Paris, France
Bernard Dubuisson, Heudiasyc, Université de Technologie de Compiègne, France
Gilles Pijaudier-Cabot, Université de Pau et des Pays de l’Adour, France
Olivier Pironneau, Université Pierre et Marie Curie, Paris, France
Guy Pujolle, LIP6 – Université Pierre et Marie Curie, Paris, France
Book specifications (production and distribution)
● A SET brings together, under a single title, a limited number of volumes (from a minimum of 3 to a maximum
of approximately 10). Topics are "specialized". The content in each set covers the research and very latest
innovations of the topic.
● FOCUS books, from minimum 50 approx. to 200 pages maximum, which deal with the fundamental,
conceptual and technological aspects of the topic.
● Monographs and multi-author books, usually between 250 and 400 pages long, deal with the fundamental,
experimental and applicative aspects of each topic.
Editorial and formatting guidelines are available at www.iste.co.uk/guidelines.zip.
Database indexing: following SCOPUS and ISI specifications.
● ISTE Ltd has an exclusive book co-publishing and world distribution contract with WILEY.
● ISTE Press Ltd has an exclusive book co-publishing and world distribution contract with ELSEVIER.
● ISTE Editions is distributed worldwide (paper copy only) by NBN International (www.nbninternational.com).
— 17 —
ISTE – a leading publishing group
ISTE Ltd – ISTE Press Ltd – ISTE Editions
ISTE SCIENCE PUBLISHING
● 30 committees cover all the editorial lines published.
● Over 200 top-level scientists and researchers, from over
20 countries, are members of the ISTE committees.
● They are, together with the members of the Scientific Board,
the backbone of the ISTE Publishing Organization.
Three major editorial lines
Engineering, Technology and Materials Science
Environmental and Life Sciences
Human and Social Sciences
Publications in
English — French
English Language Publications
press
Titles co-published with
WILEY
French Publications
e d i t i on s
Titles co-published with
ELSEVIER
27-37 St George’s Road – London SW19 4EU — United Kingdom
www.iste.co.uk & www.iste-editions.fr