Static Compensators (STATCOMs) in Power Systems

A static compensator (STATCOM), also known as static synchronous compensator, is a member of the flexible alternating current transmission system (FACTS) devices. It is a power-electronics-based regulating device which is composed of a voltage source converter (VSC) and is shunt connected to alternating current electricity transmission and distribution networks. The voltage source is create…

Static Analysis

Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and applicational advances in the area. Previous symposia were held in Munich, Seattle, Deauville…

Mobile Networks and Management

This book constitutes the post-proceedings of the 7th International Conference on Mobile Networks and Management, MONAMI 2015, held in Santander, Spain, in September 2015. The 16 full papers were carefully reviewed and selected from 24 submissions. In addition there appears one short and 5 invited papers. These are organized thematically in five parts starting with Cellular Network Management …

Mobile Networks and Management

his book constitutes the post-proceedings of the 6th International ICST Conference on Mobile Networks and Management, MONAMI 2014, held in Würzburg, Germany, in September 2014. The 22 revised full papers presented were carefully reviewed and selected from 30 submissions. In addition, MONAMI 2014 hosted a workshop on enhanced living environments which also featured 10 papers. The volume is orga…

Models of Strategic Reasoning:Logics, Games, and Communities

Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants’ aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding the phenomenon of strategic behavior …

Mobile Electric Vehicles

This book examines recent research on designing online charging and discharging strategies for mobile electric vehicles (EVs) in smart grid. First, the architecture and applications are provided. Then, the authors review the existing works on charging and discharging strategy design for EVs. Critical challenges and research problems are identified. Promising solutions are proposed to accommodat…

Mobile Computing, Applications, and Services

This book constitutes the proceedings of the 7th International Conference on Mobile Computing, Applications, and Services (MobiCASE 2015) held in Berlin, Germany, in November 2015. The 16 full and 4 poster papers were carefully reviewed and selected from 43 submissions, and are presented together with 4 papers from the First Workshop on Situation Recognition by Mining Temporal Information (SIRE…

Mobile Cloud Visual Media Computing

This book explores the internet and mobile ecosystems which are powered by cloud computing – an essential, if not indispensable, part of our everyday lives. Billions of users world-wide use this technology for information sharing, communication and social networking and a high proportion of activity is driven by massive media content such as images, videos and other emerging 3D visual media. …

Embracing Global Computing in Emerging Economies First Workshop, EGC 2015, A…

Edition

1

ISBN/ISSN

978-3-319-25043-4

Collation

52 illustrations in colour

Series Title

-

Call Number

-

Embedded System Technology 13th National Conference, ESTC 2015, Beijing, Chi…

This book constitutes the refereed proceedings of the 13th National Conference on Embedded System Technology, ESTC 2015, held in Beijing, China, in October 2015. The 18 revised full papers presented were carefully reviewed and selected from 63 papers. The topics cover a broad range of fields focusing on research about embedded system technologies, such as smart hardware, system and network, …