springer us apr 2009 (10 Ergebnisse)

Buch. Zustand: Neu. Neuware - Paul Williams, a leading authority on modeling in integer programming, has written a concise, readable introduction to the science and art of using modeling in logic for integer programming. Written for graduate and postgraduate students, as well as academics and practitioners, the book is divided into four chapters that all avoid the typical format of definitions, theorems and proofs and instead introduce concepts and results within the text through examples. References are given at the end of each chapter to the more mathematical papers and texts on the subject, and exercises are included to reinforce and expand on the material in the chapter. Methods of solving with both logic and IP are given and their connections are described. Applications in diverse fields are discussed, and Williams shows how IP models can be expressed as satisfiability problems and solved as such.

Buch. Zustand: Neu. Neuware - Research on Internet security over the past few decades has focused mainly on information assurance, issues of data confidentiality and integrity as explored through cryptograph algorithms, digital signature, authentication code, etc. Unlike other books on network information security, Network Infrastructure Security addresses the emerging concern with better detecting and preventing routers and other network devices from being attacked or compromised.Network Infrastructure Security bridges the gap between the study of the traffic flow of networks and the study of the actual network configuration. This book makes effective use of examples and figures to illustrate network infrastructure attacks from a theoretical point of view. The book includes conceptual examples that show how network attacks can be run, along with appropriate countermeasures and solutions.

Buch. Zustand: Neu. Neuware.

Buch. Zustand: Neu. Neuware - This book contains extended and revised versions of the best papers that were presented during the fifteenth edition of the IFIP/IEEE WG10.5 International Conference on Very Large Scale Integration, a global System-on-a-Chip Design & CAD conference. The 15th conference was held at the Georgia Institute of Technology, Atlanta, USA (October 15-17, 2007). Previous conferences have taken place in Edinburgh, Trondheim, Vancouver, Munich, Grenoble, Tokyo, Gramado, Lisbon, Montpellier, Darmstadt, Perth and Nice. The purpose of this conference, sponsored by IFIP TC 10 Working Group 10.5 and by the IEEE Council on Electronic Design Automation (CEDA), is to provide a forum to exchange ideas and show industrial and academic research results in the field of microelectronics design. The current trend toward increasing chip integration and technology process advancements brings about stimulating new challenges both at the physical and system-design levels, as well in the test of these systems. VLSI-SoC conferences aim to address these exciting new issues.

Buch. Zustand: Neu. Neuware - A model-based approach to the design and implementation of Computational Sensor Networks (CSNs) is proposed. This high-level paradigm for the development and application of sensor device networks provides a strong scientific computing foundation, as well as the basis for robust software engineering practice. The three major components of this approach include (1) models of phenomena to be monitored, (2) models of sensors and actuators, and (3) models of the sensor network computation. We propose guiding principles to identify the state or structure of the phenomenon being sensed, or of the sensor network itself. This is called computational modeling. These methods are then incorporated into the operational system of the sensor network and adapted to system performance requirements to produce a mapping of the computation onto the system architecture. This is called real-time computational mapping and allows modification of system parameters according to real-time performance measures. This book deals with the development of a mathematical and modular software development framework to achieve computational sensor networks.

Buch. Zustand: Neu. Neuware - As telecommunications products and services have become an essential part of - eryday life, consumers have at the same time grown intimately familiar with the concept of tiered pricing that is associated with such services. With tiered service structures, users may select from a small set of tiers that offer progressively higher levels of service with a correspondingincrease in price. Tiered structures have been applied in several forms to wireless services (e. g. , characterized by the amount of voice minutes, number of text messages, or the size of one's circle of friends to whom voice calls are free), Internet broadband access (e. g. , the access speed or volume of monthly transferred data), and digital TV offerings (e. g. , the number of channels included), among others. Service tiering is a form of market segmentation which, if applied appropriately, bene ts both providers and consumers by making available services and associated price points that re ect the diversity in consumers' needs and ability to pay. The purpose of this book is to develop a theoretical framework for reasoning about and pricing Internet tiered services, as well as a practical algorithmic toolset fornetworkproviderstodevelopcustomizedmenusofserviceofferings. We provide a comprehensive study of the design, sizing, and pricing of tiered structures for - ternet services, and we illustrate their potential in simplifying the operation of c- plex components such as packet schedulers.

Buch. Zustand: Neu. Neuware - Many networked computer systems are far too vulnerable to cyber attacks that can inhibit their functioning, corrupt important data, or expose private information. Not surprisingly, the field of cyber-based systems is a fertile ground where many tasks can be formulated as learning problems and approached in terms of machine learning algorithms.This book contains original materials by leading researchers in the area and covers applications of different machine learning methods in the reliability, security, performance, and privacy issues of cyber space. It enables readers to discover what types of learning methods are at their disposal, summarizing the state-of-the-practice in this significant area, and giving a classification of existing work.Those working in the field of cyber-based systems, including industrial managers, researchers, engineers, and graduate and senior undergraduate students will find this an indispensable guide in creating systems resistant to and tolerant of cyber attacks.

Buch. Zustand: Neu. Neuware - Flexible-electronics is rapidly finding many main-stream applications where low-cost, ruggedness, light weight, unconventional form factors and ease of manufacturability are just some of the important advantages over their conventional rigid-substrate counterparts. Flexible Electronics: Materials and Applications surveys the materials systems and processes that are used to fabricate devices that can be employed in a wide variety of applications, including flexible flat-panel displays, medical image sensors, photovoltaics, and electronic paper. Materials discussed range from polymeric semiconductors to nanotube transparent conductors, highlighting the important characteristics of each system and their target applications. An overview of the performance benchmarks for the different materials is given in order to allow a direct comparison of these different technologies. Furthermore, the devices and processes most suitable for given applications in flexible electronics are identified. Topics covered include:An overview and history of flexible electronicsNovel materials for solution-processable thin-film electronic devices and their propertiesLow-temperature processing of conventional materials and devices on plastic foils Novel techniques, such as printing and roll-to-roll processing, for large-area flexible electronics manufacturingMaterials and device physics relevant to flexible electronicsDevice integration on flexible substratesMechanical and electronic characteristics for thin-film transistors and nano-scale transparent conductors on flexible platformsApplications towards flexible displays, sensors, actuators, solar energy, radio-frequency identification, and micro-electro-mechanical systemsWritten by leading researchers in the field, Flexible Electronics: Materials and Applications serves as a reference for researchers, engineers, and students interested in the characteristics, capabilities, and limitations of these exciting materials and emerging applications.

Buch. Zustand: Neu. Neuware - Magnetic materials can support propagating waves of magnetization; since these are oscillations in the magnetostatic properties of the material, they are called magnetostatic waves (sometimes 'magnons' or 'magnetic polarons'). Under the proper circumstances these waves can exhibit, either dispersive or nondispersive, isotropic or anisotropic propagation, nonreciprocity, frequency-selective nonlinearities, soliton propagation, and chaotic behavior. This rich variety of behavior has led to a number of proposed applications in microwave and optical signal processing. This book begins by introducing magnetism and discusses magnetic properties of materials, magnetic moments of atoms and ions, and the elements important to magnetism. It then goes on to cover magnetic susceptibilities, electromagnetic waves in anisotropic dispersive media, magnetostatic modes, and propagation characteristics and excitation of magnetostatic waves among other topics. There are problems at the end ofeach chapter, many of which serve to expand or explain the material in the text. The bibliographies for each chapter give an entry to the research literature. Spin Waves: Theory and Applications serves not only as an introduction to an active area of research, but also as a reference for workers in the field.

Buch. Zustand: Neu. Neuware - iming, timing, timing! That is the main concern of a digital designer charged with designing a semiconductor chip. What is it, how is it T described, and how does one verify it The design team of a large digital design may spend months architecting and iterating the design to achieve the required timing target. Besides functional verification, the t- ing closure is the major milestone which dictates when a chip can be - leased to the semiconductor foundry for fabrication. This book addresses the timing verification using static timing analysis for nanometer designs. The book has originated from many years of our working in the area of timing verification for complex nanometer designs. We have come across many design engineers trying to learn the background and various aspects of static timing analysis. Unfortunately, there is no book currently ava- able that can be used by a working engineer to get acquainted with the - tails of static timing analysis. The chip designers lack a central reference for information on timing, that covers the basics to the advanced timing veri- cation procedures and techniques.