Delta Modulation Systems -- Linear Arithmetic Operations -- Basic Ternary Logic Circuits -- Multivalued Arithmetic Operations -- Nonlinear Arithmetic Operations -- Mixed Processing of ?-?M Sequences -- Decoding of First-Order ?-?M Sequences -- PCM — ?-?M Converters -- Stochastic Processing Using ?-?M -- Measurements Based on ?-?M -- LP?-?M and BP?-?M Circuits.This book is intended for student…
Ad Hoc Networks -- Collision Avoidance Protocols in Ad Hoc Networks -- Routing in Mobile Ad Hoc Networks -- Multicasting in Ad Hoc Networks -- Transport Layer Protocols in Ad Hoc Networks -- Energy Conservation -- Use of Smart Antennas in Ad Hoc Networks -- QoS Issues in Ad-Hoc Networks -- Security in Mobile Ad-Hoc Networks.Ad Hoc Networks: Technologies and Protocols is a concise in-depth treat…
Specifying and Forecasting Space Weather Threats to Human Technology -- Geospace storm dynamics -- Structure and Dynamics of the Outer Radiation Belt -- The Ion Radiation Belts: Experiments and Models -- Outlook on Space Weather Effects on Spacecraft -- Space Weather Effects on SOHO and its Space Weather Warning Capabilities -- Prevention of Spacecraft Anomalies — The Role of Space Climate an…
On Chaotic Dynamics of Transport Protocols in Wide-Area Internet Connections -- Phase Transition in Internet Traffic And Application of Critical Control -- Observing The Macroscopic Dynamics of Large-Scale IP Networks -- Observations And Possible Causes of Critical Behavior in Internet Traffic -- Dynamical Properties of Externally Driven TCP Traffic -- Modeling TCP with RED Gateway: a Dynamical…
Fractal Structures in Biological Systems -- Mandelbrot’s Fractals and the Geometry of Life: A Tribute to Benoît Mandelbrot on his 80th Birthday -- Gas Diffusion through the Fractal Landscape of the Lung: How Deep Does Oxygen Enter the Alveolar System? -- Is the Lung an Optimal Gas Exchanger? -- 3D Hydrodynamics in the Upper Human Bronchial Tree: Interplay between Geometry and Flow Distributi…
Long Papers -- Short Papers -- Extended Abstracts for Posters and Demos -- Infrastructure Protection and Emergency Response -- Surveillance, Border Protection, and Transportation Systems.Intelligence and security informatics (ISI) can be broadly defined as the study of the development and use of advanced information technologies and systems for national and international security-related applic…
Mobile GIS and LBS -- Development of an Embedded Spatial MMDBMS for Spatial Mobile Devices -- Design of Query Language for Location-Based Services -- Towards a Taxonomy of Location Based Services -- Refined Route Instructions Using Topological Stages of Closeness -- Mapping and Representation Issues in Web and Mobile GIS -- An Increment Based Model for Multi-resolution Geodata Management in a M…
Survey -- Environments for Multiagent Systems State-of-the-Art and Research Challenges -- Conceptual Models -- AGRE: Integrating Environments with Organizations -- From Reality to Mind: A Cognitive Middle Layer of Environment Concepts for Believable Agents -- A Spatially Dependent Communication Model for Ubiquitous Systems -- Languages for Design and Specification -- ELMS: An Environment Descri…
KEYNOTE SPEECHES -- Ranking Abstraction as Companion to Predicate Abstraction -- Developing High Quality Software with Formal Methods: What Else Is Needed? -- A Testing Architecture for Designing High-Reliable MANET Protocols -- REGULAR PAPERS -- A Composition Operator for Systems with Active and Passive Actions -- A Formal Semantics of UML StateCharts by Means of Timed Petri Nets -- A Hierarch…
Models and Languages -- History-Dependent Automata: An Introduction -- Mobile Distributed Programming in X-Klaim -- Scalability and Performance -- Dealing with Node Mobility in Ad Hoc Wireless Network -- Performance Analysis of Mobile Systems -- Dynamic Power Management -- A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management -- Dynamic Power Management Str…