Most conventional networks are passive, with only basic traffic monitoring, management, routing, and congestion control. At best, they can be called reactive. Deploying new functions and integrating new standards into these architectures is difficult due to the rigid embedding of software and hardware into the network components. Active and Program

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.

Today, programmable networks are being viewed as the solution for the fast, flexible and dynamic deployment of new telecommunications network services. At the vanguard of programmable network research is the Future Active IP Networks (FAIN) project. The authors of this book discuss their research in FAIN so you can get on the inside track to tomorrow's technology. Moreover, the book provides you with detailed guidelines for designing managed IP programmable networks.

The emergence of quality-of-service (QoS) mechanisms continues to propel the development of real-time multimedia services such as VoIP and videoconferencing. However, many challenges remain in achieving optimized standardization convergence. Network Design for IP Convergence is a comprehensive, global guide to recent advances in IP network implementation. Providing an introduction to basic LAN/WAN/MAN network design, the author covers the latest equipment and architecture, addressing, QoS policies, and integration of services, among other topics. The book explains how to integrate the different layers of reference models and various technological platforms to mirror the harmonization that occurs in the real world of carrier networks. It furnishes appropriate designs for traditional and critical services in the LAN and carrier networks (both MAN and WAN), and it clarifies how a specific layer or technology can cause those services to malfunction. This book lays a foundation for understanding with concepts and applicability of QoS parameters under the multilayer scheme, and a solid explanation of service infrastructure. It goes on to describe integration in both real time and "not real time," elaborating on how both processes can co-exist within the same IP network and concluding with the designs and configurations of service connections. Learn How to Overcome Obstacles to Improve Technology This sweeping analysis of the implementation of IP convergence and QoS mechanisms helps designers and operators get past key obstacles, such as integrating platform layers and technologies and implementing various associated QoS concepts, to improve technology and standards.

Service-oriented architecture (SOA) uses services as the baseline for developing new architectures and applications, as networks are built specifically to satisfy service requirements. Most services are currently handled over different networks, but newer services will soon require cross-network support. Architecting the Telecommunication Evolution

Sensor networks differ from traditional networks in many aspects including their limited energy, memory space, and computational capability. These differentiators create unique security vulnerabilities. Security in Sensor Networks covers all aspects of the subject, serving as an invaluable reference for researchers, educators, and practition

A Complete Reference for the 21st Century Until recently, much of the communications technology in the former Eastern bloc countries was largely unknown. Due to the historically competitive nature of East/West relations, scientific groups operated independently, without the benefit of open communication on theoretical framework

Over the last three decades, interest in Infrared (IR) technology as a medium to convey information has grown considerably. This is reflected by the increasing number of devices such as laptops, PDAs, and mobile phones that incorporate optical wireless transceivers and also by the increasing number of optical wireless links available for indoor and

IP Multimedia Subsystem (IMS) technology, which merges the Internet with interactive telecommunications, represents the here and now for today's packet-switched networks. Consequently, anyone working with or around these converging fields needs to possess a fundamental understanding of IMS and how this technology is poised to change the way new app

Facilitating high data transfers over long distances at a reasonable cost, Carrier Ethernet is solidifying its fundamental position as the core of next-generation networks. Since it first dazzled the IT world 40 years ago with its ability to move data over local networks, Ethernet has dramatically evolved in both form and function. And now, Carrier