Over recent years, the amount of mobile equipment that needs to be connected to corporate networks remotely (smartphones, laptops, etc.) has increased rapidly. Innovative development perspectives and new tendencies such as BYOD (bring your own device) are exposing business information systems more than ever to various compromising threats. The safety control of remote access has become a strategic issue for all companies. This book reviews all the threats weighing on these remote access points, as well as the existing standards and specific countermeasures to protect companies, from both...

Nanotechnologies: Concepts, Processing and Applications describes and explains how nanotechnologies have entered our everyday lives through scientific and industrial applications with the emphasis placed on the new perspectives in various fields related to societal problems. This book details how successive discoveries of new nanocarbon structures along with progress in different microscopy techniques have caused nanomaterials to take on an increasingly important role in electronics, electrochemical energy storage - batteries and fuel cells - and the electrical conversion of solar energy....

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, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine hybrid automata.
The inverse method is introduced, and its benefits for guaranteeing robustness in real-time systems are shown. Then, it is shown how an iteration of the inverse method can...

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 they are also taking an important place in our daily activities (e.g. smartphones, security alarms and traffic lights).
In the design of embedded systems, memory allocation and data assignment are among the main challenges that electronic designers have to face. In fact, they impact heavily on the main cost metrics (power consumption,...

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 helps to show how techniques, concepts and performances have evolved since the first computers.
The book is divided into five parts. The first four, which are of increasing difficulty, are the core of the book: -Elements of a Basic Architecture-, -Programming Model and Operation-, -Memory Hierarchy-, -Parallelism and Performance...

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 Framework (LMF).
After selecting and defining a common terminology, the LMF team had to identify the common notions shared by all lexicons in order to specify a common skeleton (called the core model) and understand the various requirements coming from different groups of users.
The goals of LMF are to provide a common model for the...

The purpose of this book is to present the main methods of static and dynamic optimization. It has been written within the framework of the European Union project - ERRIC (Empowering Romanian Research on Intelligent Information Technologies), funded by the EU's FP7 Research Potential program and developed in cooperation between French and Romanian teaching researchers.
Through the principles of various proposed algorithms (with additional references) this book allows the interested reader to explore various methods of implementation such as linear programming, nonlinear programming -...

Belonging to the wider academic field of computer vision, video analytics has aroused a phenomenal surge of interest since the current millennium. Video analytics is intended to solve the problem of the incapability of exploiting video streams in real time for the purpose of detection or anticipation. It involves analyzing the videos using algorithms that detect and track objects of interest over time and that indicate the presence of events or suspect behavior involving these objects.
The aims of this book are to highlight the operational attempts of video analytics, to identify...

The aim of this book is to understand and describe the martensitic phase transformation and the process of martensite platelet reorientation. These two key elements enable the author to introduce the main features associated with the behavior of shape-memory alloys (SMAs), i.e. the one-way shape-memory effect, pseudo-elasticity, training and recovery.
Attention is paid in particular to the thermodynamical frame for solid materials modeling at the macroscopic scale and its applications, as well as to the particular use of such alloys - the simplified calculations for the bending of...

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 together the contributions of various specialists in the field.
Moreover, the book covers the key areas of computer science concerned with the emergence of ambient intelligence (e.g. interaction, middleware, networks, information systems, etc.). It even goes slightly beyond the borders of computer science with contributions related...