This book constitutes the refereed proceedings of the International Conference on Embedded and Ubiquitous Computing, EUC 2006, held in Seoul, Korea, August 2006. The book presents 113 revised full papers together with 3 keynote articles, organized in topical sections on power aware computing, security and fault tolerance, agent and distributed computing, wireless communications, real-time systems, embedded systems, multimedia and data management, mobile computing, network protocols, middleware and P2P, and more.
Inhalt
Keynote.- On Securing Networked Real-Time Embedded Systems.- Towards Self-coordinating Ubiquitous Computing Environments.- Frontier of Digital Technology and Future Strategy.- Power Aware Computing.- SAQA: Spatial and Attribute Based Query Aggregation in Wireless Sensor Networks.- Efficent Algorithm of Energy Minimization for Heterogeneous Wireless Sensor Network.- Power-Aware Instruction Scheduling.- Minimising the Energy Consumption of Real-Time Tasks with Precedence Constraints on a Single Processor.- Power Aware H.264/AVC Video Player on PAC Dual-Core SoC Platform.- Dynamic Repartitioning of Real-Time Schedule on a Multicore Processor for Energy Efficiency.- Security and Fault Tolerance 1.- A Secure Key Agreement Scheme in Low-Energy Wireless Sensor Networks.- Person-Wise Privacy Level Access Control for Personal Information Directory Services.- An Efficient Computing-Checkpoint Based Coordinated Checkpoint Algorithm.- A Parallel GNFS Algorithm Based on a Reliable Look-Ahead Block Lanczos Method for Integer Factorization.- SPDA: A Security Protocol for Data Aggregation in Large-Scale Wireless Sensor Networks.- Efficient and User Friendly Inter-domain Device Authentication/Access Control for Home Networks.- Agent and Distributed Computing 1.- A Programming Model for the Automatic Construction of USN Applications Based on Nano-Qplus.- Hierarchical and Dynamic Information Management Framework on Grid Computing.- Kalman Filter Based Dead Reckoning Algorithm for Minimizing Network Traffic Between Mobile Nodes in Wireless GRID.- A Conceptual Framework for Agent-Based Information Resource Management.- Advanced Stochastic Host State Modeling to Reliable Computation in Global Computing Environment.- Dynamic Buffer Allocation for Conserving Disk Energy in Clustered Video Servers Which Use Replication.- Wireless Communications 1.- LBN: Load-Balancing Network for Data Gathering Wireless Sensor Networks.- Multi-user Diversity for IEEE 802.11 Infrastructure Wireless LAN.- Performance Analysis of DS-BPAM UWB System over Fading Channels-Uncoded and Coded Schemes.- Protocol Design for Adaptive Video Transmission over MANET.- mSCTP-DAC: Dynamic Address Configuration for mSCTP Handover.- TCP-New Veno: The Energy Efficient Congestion Control in Mobile Ad-Hoc Networks.- Real-Time Systems.- A Real-Time Message Scheduling Scheme Based on Optimal Earliest Deadline First Policy for Dual Channel Wireless Networks.- On Multiprocessor Utility Accrual Real-Time Scheduling with Statistical Timing Assurances.- Linux/RTOS Hybrid Operating Environment on Gandalf Virtual Machine Monitor.- Optimizing Code Size for Embedded Real-Time Applications.- Dual-Mode r-Reliable Task Model for Flexible Scheduling in Reliable Real-Time Systems.- Security and Fault Tolerance 2.- Securing Internet Gateway Discovery Protocol in Ubiquitous Wireless Internet Access Networks.- Data Integrity Related Markup Language and HTTP Protocol Support for Web Intermediaries.- Efficient Batch Verification for RSA-Type Digital Signatures in a Ubiquitous Environment.- Secure User Authentication Mechanism in Digital Home Network Environments.- Agent and Distributed Computing 2.- Scalable Message Routing for Mobile Software Assistants.- Grid Resource Management Based on Functional Dependency.- Distributed Proximity-Aware Peer Clustering in BitTorrent-Like Peer-to-Peer Networks.- Distributed Invocation of Composite Web Services.- Embedded Software Optimization.- System Software for Flash Memory: A Survey.- Loop Striping: Maximize Parallelism for Nested Loops.- Efficient Error Control for Scalable Media Transmission over 3G Broadcast Networks.- Implementation Synthesis of Embedded Software Under Operating Systems Supporting the Hybrid Scheduling Model.- Designing Dynamic Software Architecture for Home Service Robot Software.- Embedded Systems.- A Processor Extension for Cycle-Accurate Real-Time Software.- Next Generation Embedded Processor Architecture for Personal Information Devices.- A Secret Image Sharing Scheme Based on Vector Quantization Mechanism.- A Framework for Managing the Solution Life Cycle of Event-Driven Pervasive Applications.- A Fast Instruction Set Evaluation Method for ASIP Designs.- An ARM-Based Embedded System Design for Speech-to-Speech Translation.- Multimedia and Data Management 1.- Human Computer Interaction for the Accelerometer-Based Mobile Game.- Using Automatic Facial Expression Classification for Contents Indexing Based on the Emotional Component.- A Framework for Data Management and Transfer in Grid Environments.- MMSDS: Ubiquitous Computing and WWW-Based Multi-modal Sentential Dialog System.- A Speech and Character Combined Recognition Engine for Mobile Devices.- Scalable Fingerprinting Scheme Using Statistically Secure Anti-collusion Code for Large Scale Contents Distribution.- Mobile Computing 1.- Broadcasting Group Information to Ensure Consistency and Correctness in Mobile Computing Environments.- A Fuzzy-Based Service Adaptation Middleware for Context-Aware Computing.- Next Generation Mobile Service Environment and Evolution of Context Aware Services.- Efficient Routing Protocol Using Virtual Connection and Load Balancing for Network Mobility.- Network Mobility in MIPv6 Considering Arrival Time.- Service-Oriented Device Anycasting Using Quality First Search in Wireless Personal Area Network.- Wireless Communications 2.- BaseStation Assisted TCP: A Simple Way to Improve Wireless TCP.- Modeling Asymmetric Slot Allocation for Mobile Multimedia Services in Microcell TDD Employing FDD Uplink as Macrocell.- Dynamic Clustering for Coverage-Time Maximization in Two-Tiered Hierarchical Sensor Network Architectures.- An Enhanced Hybrid Rerouting Scheme for Handoff in Wireless ATM Networks.- Bridging Nodes Density: A Connection Stability Heuristic for Dynamic Ad-Hoc Networks.- A Base Station Centralized Simple Clustering Protocol for Sensor Networks.- Embedded System Design Automation.- Simulation Cost Reduction Strategies for Behavioral Model Verification in Bayesian Based Stopping Rule.- Low Power Hardware-Software Partitioning Algorithm for Heterogeneous Distributed Embedded Systems.- Refactoring-Based Stepwise Refinement in Abstract System-Level Design.- Custom Instruction Generation Using Temporal Partitioning Techniques for a Reconfigurable Functional Unit.- Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation.- Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools.- Embedded Architectures.- Fault-Tolerant VLIW Processor Design and Error Coverage Analysis.- Interconnect Estimation for Mesh-Based Reconfigurable Computing.- Efficient Logic Circuit for Network Intrusion Detection.- A Multi-protocol Baseband Modem Processor for a Mobile RFID Reader.- Write Back Routine for JFFS2 Efficient I/O.- Register Array Structure for Effective Edge Filtering Operation of Deblocking Filter.- Network Protocols 1.- Quantitative Service Differentiation: A Square-Root Proportional Model.- Power-Efficient Route Discovery (PERDP) for ODMA Systems.- Energy Efficient Routing for Wireless Sensor Networks with Grid Topology.- Performance Evaluation of Mobile IP Agents' Auto-reconfiguration Mechanisms in MANET.- Formulas and Protocols for Broadcasting in Mobile Ad Hoc Networks.- Traffic Adaptive IEEE 802.15.4 MAC for Wireless Sensor Networks.- Wireless Communications 3.- An Effic…