Special Edition Using TCP/IP

Special Edition Using TCP/IP
Author: Ramadas Shanmugam
Publisher: Que Publishing
Total Pages: 520
Release: 2002
Genre: Computers
ISBN: 9780789727091

Special Edition Using TCP/IP, 2E is the practical guide to applications of TCP/IP, including utilities for operation, troubleshooting, and management, with insight into future applications such as Voice over IP and VPNs. It includes current TCP/IP draft standards and future work planned. Clear illustrations of practical utilities enable the reader to understand both the technology and applications together from a single source. It includes current scaling problems in the Internet like addressing and routing. Both short-term solutions and long-term solutions for these problems are discussed.

Optical Switching/Networking and Computing for Multimedia Systems

Optical Switching/Networking and Computing for Multimedia Systems
Author: Mohsen Guizani
Publisher: CRC Press
Total Pages: 544
Release: 2002-05-15
Genre: Science
ISBN: 9780203909041

This volume reveals the latest research on commercial systems with up to 160 OC-48 channels, optical ATM switch architectures, optical multiprotocol lambda and label switching, synchronous optical networks and digital hierarchy, and the Internet Protocol layer. The text includes recent developments in the routing efficiency of multihop optical networks supported by wavelength division multiplexing (WDM) with limited wavelength conversion. It also explores different routing techniques in WDM networks for virtual topology mapping, wavelength routing and assignment, dynamic routing, QoS provisions, and multicasting. The book examines challenges facing carriers and service providers in expanding optical networking capabilities for the next generation Internet.

Personal Satellite Services

Personal Satellite Services
Author: Kandeepan Sithamparanathan
Publisher: Springer Science & Business Media
Total Pages: 452
Release: 2010-06-04
Genre: Computers
ISBN: 3642136176

This book constitutes the thoroughly refereed post-conference proceedings of the Second International ICST Conference on Personal Satellite Services, PSATS 2010, held in Rome, Italy, Februray 2010. The conference included a keynote speech, 4 regular technical tracks and 4 special sessions consisting of 33 high-quality scientific papers. These cover various topics such as Satellite Communications: Coding and Modulations, Multimedia Integration, Satellite Network: Quality of Service and Architectures and Applications and Services, as well as Delay-Tolerant Networks, Quantum Satellite Communications, Access Quality Processing and Applications of Satellite Imagery.

Automated Biometrics

Automated Biometrics
Author: David D. Zhang
Publisher: Springer Science & Business Media
Total Pages: 336
Release: 2013-11-11
Genre: Computers
ISBN: 1461545196

Biometrics-based authentication and identification are emerging as the most reliable method to authenticate and identify individuals. Biometrics requires that the person to be identified be physically present at the point-of-identification and relies on `something which you are or you do' to provide better security, increased efficiency, and improved accuracy. Automated biometrics deals with physiological or behavioral characteristics such as fingerprints, signature, palmprint, iris, hand, voice and face that can be used to authenticate a person's identity or establish an identity from a database. With rapid progress in electronic and Internet commerce, there is also a growing need to authenticate the identity of a person for secure transaction processing. Designing an automated biometrics system to handle large population identification, accuracy and reliability of authentication are challenging tasks. Currently, there are over ten different biometrics systems that are either widely used or under development. Some automated biometrics, such as fingerprint identification and speaker verification, have received considerable attention over the past 25 years, and some issues like face recognition and iris-based authentication have been studied extensively resulting in successful development of biometrics systems in commercial applications. However, very few books are exclusively devoted to such issues of automated biometrics. Automated Biometrics: Technologies and Systems systematically introduces the technologies and systems, and explores how to design the corresponding systems with in-depth discussion. The issues addressed in this book are highly relevant to many fundamental concerns of both researchers and practitioners of automated biometrics in computer and system security.

Lectures on Formal Methods and Performance Analysis

Lectures on Formal Methods and Performance Analysis
Author: Ed Brinksma
Publisher: Springer
Total Pages: 438
Release: 2003-06-29
Genre: Computers
ISBN: 3540446672

Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and largely unrelated modeling and analysis techniques for both domains. In many modern systems, however, the di?erence between their functional features and their performance properties has become blurred, as relevant functionalities become inextricably linked to performance aspects, e.g. isochronous data transfer for live video tra- mission. During the last decade, this trend has motivated an increased interest in c- bining insights and results from the ?eld of formal methods – traditionally - cused on functionality – with techniques for performance modeling and analysis. Prominent examples of this cross-fertilization are extensions of process algebra and Petri nets that allow for the automatic generation of performance models, the use of formal proof techniques to assess the correctness of randomized - gorithms, and extensions of model checking techniques to analyze performance requirements automatically. We believe that these developments markthe - ginning of a new paradigm for the modeling and analysis of systems in which qualitative and quantitative aspects are studied from an integrated perspective. We are convinced that the further worktowards the realization of this goal will be a growing source of inspiration and progress for both communities.

Discrete, Continuous, and Hybrid Petri Nets

Discrete, Continuous, and Hybrid Petri Nets
Author: René David
Publisher: Springer Science & Business Media
Total Pages: 552
Release: 2005
Genre: Petri nets
ISBN: 9783540224808

Petri Nets were introduced and still successfully used to analyze and model discrete event systems especially in engineering and computer sciences such as in automatic control. Recently this discrete Petri Nets formalism was successfully extended to continuous and hybrid systems. This monograph presents a well written and clearly organized introduction in the standard methods of Petri Nets with the aim to reach an accurate understanding of continuous and hybrid Petri Nets, while preserving the consistency of basic concepts throughout the book. The book is a monograph as well as a didactic tool which is easy to understand due tomany simple solved examples and detailed figures. TOC:Bases of Petri Nets.- Properties of Petri Nets.- Non-Autonomous Petri Nets.- Autonomous Continuous and Hybrid Petri Nets.-Timed Continuous Petri Nets.- Timed Hybrid Petri Nets.- Hybrid Petri Nets with Speeds Depending on the C-Marking.