This book introduces the theoretical fundamentals for modeling queues in discrete-time, and the basic procedures for developing queuing models in discrete-time. There is a focus on applications in modern telecommunication systems. It presents how most queueing models in discrete-time can be set up as discrete-time Markov chains. Techniques such as matrix-analytic methods (MAM) that can used …
This book constitutes the refereed proceedings of the Second International Conference on Data Science, ICDS 2015, held in Sydney, Australia, in August 8-9, 2015. The 19 revised full papers and 5 short papers presented were carefully reviewed and selected from 31 submissions. The papers focus on the following topics: mathematical issues in data science; big data issues and applications; data qua…
This book constitutes the refereed proceedings of the 29th Annual IFIP WG 11.3 International Working Conference on Data and Applications Security and Privacy, DBSec 2015, held in Fairfax, VA, USA, in July 2015. The 18 revised full papers and 6 short papers presented were carefully reviewed and selected from 45 submissions. The papers are organized in the following topical sections: data anonymi…
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. …
This book constitutes the refereed proceedings of the 10th International Workshop on Databases in Networked Information Systems, DNIS 2015, held in Aizu-Wakamatsu, Japan, March 2015. The 14 revised full papers presented together with 7 invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on big data analysis, information and…
This book constitutes the refereed proceedings of the 4th International Conference on Theory and Practice of Natural Computing, TPNC 2015, held in Mieres, Spain, in December 2015. The 12 revised full papers presented together with 20 invited talks in this book were carefully reviewed and selected from 30 submissions. The scope of TPNC is rather broad, containing topics of either theoretical,…
This book presents an overview of smart camera systems, considering practical applications but also reviewing fundamental aspects of the underlying technology. It introduces in a tutorial style the principles of sensing and signal processing, and also describes topics such as wireless connection to the Internet of Things (IoT) which is expected to be the biggest market for smart cameras. It…
In this book, experts from academia and industry present the latest advances in scientific theory relating to applied electromagnetics and examine current and emerging applications particularly within the fields of electronics, communications, and computer technology. The book is based on presentations delivered at APPEIC 2015, the 2nd Applied Electromagnetic International Conference, held in K…
In this book, experts from academia and industry present the latest advances in scientific theory relating to applied electromagnetics and examine current and emerging applications particularly within the fields of electronics, communications, and computer technology. The book is based on presentations delivered at APPEIC 2014, the 1st Applied Electromagnetic International Conference, held in B…
This book provides a modern introductory tutorial on specialized theoretical aspects of spatial and temporal modeling. The areas covered involve a range of topics which reflect the diversity of this domain of research across a number of quantitative disciplines. For instance, the first chapter provides up-to-date coverage of particle association measures that underpin the theoretical properties…