Embedded and Ubiquitous Computing International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006, Proceedings

Embedded and ubiquitous computing is an exciting new paradigm that p- vides computing and communication services all the time, everywhere. Now we can attach computing and communication devices to human bodies to mo- tor our health, embed computing chips into brains to cure memory losses, or make smart fabrics so they can change colors or generate heat. All these new devices are created to the bene?ts or convenience of human lives. We need c- ativity as well as the advance of technology. This emergence is an outcome of researchand technologicaladvances in embedded software,embedded hardware, pervasivecomputing andcommunications,wireless networks,mobilecomputing, distributed computing and agent technologies, etc. The EUC 2006 conference provided a forum for engineers and scientists in academia, industry, and government to address challenges and to present and discuss their ideas, results, work in progress, and experience. The Technical Program Committee of EUC 2006 was led by the TPC Chair, Edwin Shan, and 13 TPC Vice Chairs. A strong international Technical Program Committee was then formed to review, evaluate the submissions, and select the papers to be presented.

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 Efficient Relay Sensors Placing Algorithm for Connectivity in Wireless Sensor Networks.- Performance Analysis of IEEE 802.15.4 with Non-beacon-enabled CSMA/CA in Non-saturated Condition.- Cross-Layer Duty Cycle Scheduling with Data Aggregation Routing in Wireless Sensor Networks.- A Link Stability Model and Stable Routing for Mobile Ad-Hoc Networks.- Energy-Aware Routing with Limited Route Length for Multimedia Applications.- Iterative Decoding-Based Phase Estimation for OFDM Systems at Low Operating SNR.- Middleware and P2P.- Semi-lock: An E