This volume is a documenlation of I he main results in Ihe research area "Inte gration of Software Specification Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken der Soflwarespezifikation fur ingenieurwissensehaftliehe Anwendungen", short Soft...

Developing, testing and operating complex machinery and repairing it under time pressure if it breaks down are some of the new skills, professionals in many occupations have to learn as quickly as possible. Actions on machinery and plants are trained in individual lessons on an immersive virtual model. This paper introduces the...

This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by and held at the University of Twente, The Netherlands, on 27–29 September 2010. The workshop was co-located with the 5th International Conference on Graph Transformation (ICGT 2010)...

Thorough coverage of basic digital communication...

Engineers in the telecommunications industry must be able to quantify system reliability and availability metrics for use in service level agreements, system design decisions, and daily operations. Increasing...

This book presents a general overview of the applications and use of geopositioning and GNSS for assisting the supervision and management of mobile terrestrial professions, information, traffic regulation, multimodal information, pedestrian mobility and indoor geopositioning, etc. It especially focuses on the field of mobility and terrestrial...

Optical networks, undersea networks, GSM, UMTS…The recent explosion in broadband communications technologies has opened a new world of fast, flexible services and applications. To successfully implement these services, however, requires a solid understanding of the concepts and capabilities of broadband technologies and networks.
...

New technologies, viewing paradigms, and content distribution approaches are taking the TV/video services industry by storm. Linear and Nonlinear Video and TV Applications: Using IPv6 and IPv6 Multicast identifies five emerging...

Global Navigation Satellite Systems (GNSS), such as GPS, have become an efficient, reliable and standard tool for a wide range of applications. However, when processing GNSS data, the stochastic model characterising the precision of observations and the correlations between them is usually simplified and incomplete, leading to overly...