This volume brings together contributions representing the state-of-the-art in new multimedia and future technology information research, currently a major topic in computer science and electronic engineering. Researchers aim to interoperate multimedia frameworks, transforming the way people work and interact with multimedia data. This book covers future information technology topics including digital and multimedia convergence, ubiquitous and pervasive computing, intelligent computing and applications, embedded systems, mobile and wireless communications, bio-inspired computing, grid and cloud computing, semantic web, human-centric computing and social networks, adaptive and context-aware computing, security and trust computing and related areas. Representing the combined proceedings of the 9th International Conference on Multimedia and Ubiquitous Engineering (MUE-15) and the 10th International Conference on Future Information Technology (Future Tech 2015), this book aims to provide a complete coverage of the areas outlined and to bring together researchers from academic and industry and other practitioners to share their research ideas, challenges and solutions. Front Matter....Pages 1-20 Development of a Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas and Its Application....Pages 1-6 An Extension of QSL for E-testing and Its Application in an Offline E-testing Environment....Pages 7-14 A Tasking Deadlock Detector for Ada 2012 Programs....Pages 15-22 Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Graph Theory....Pages 23-30 A Middleware Supporting Query Processing on Distributed CUBRID....Pages 31-37 A Discovery Support Scheme for Inter-domain DDS Gateways in Cyber-Physical Systems....Pages 39-44 Robust Facial States Estimation against Occlusion and Inference of Driver’s Drowsiness Using Hidden Markov Model....Pages 45-51 The Disaster Rescue Robot Design and Implementation Using Open Source....Pages 53-60 The Direct and Indirect Effects of Perceived Usability of Smartphone Applications on User Satisfaction....Pages 61-66 A New Query Integrity Verification Method for Encrypted Data in Database Outsourcing....Pages 67-72 Preventing Private Information in Secure Dissemination....Pages 73-78 Possibility of Using Embedded Sensors of Smart Devices for Augmented Reality Application....Pages 79-84 Economic and Technological Aspects of Social Networks in European Business Sector....Pages 85-91 Decision Making Criteria for Cloud Computing Deployment....Pages 93-98 Periocular Recognition Based on LBP Method and Matching by Bit-Shifting....Pages 99-104 Residual Histogram Shifting Technique Based on Cascading Prediction for Reversible Data Hiding....Pages 105-110 Color and Depth Image Correspondence for Kinect v2....Pages 111-116 Reduced Reference Quality Metric for Depth Images....Pages 117-122 Sustainable Operation Algorithm for High Availability with Integrated Desktop Storage Based on Virtualization....Pages 123-128 Analysis on Temporal Sparsity of Human Face for Various Emotion Stimuli....Pages 129-133 Monocular Eye Tracking System Using Webcam and Zoom Lens....Pages 135-141 Many-to-Many Data Collection for Mobile Users in Wireless Sensor Networks....Pages 143-148 Method of Path Computation Using National Research Network Federation....Pages 149-156 Robot Reinforcement Learning for Automatically Avoiding a Dynamic Obstacle in a Virtual Environment....Pages 157-164 Smart Virtual Lab Using Hand Gestures....Pages 165-170 Internal Topology Based Flexible Shortest Path Planning Method for Indoor Navigation....Pages 171-176 Result Verification Scheme with Resource Clustering in Desktop Grids....Pages 177-182 RDEA: A Novel Video Encryption Algorithm....Pages 183-189 Embedding Data into Audio Signal by Combining Sliding Window Technique with a Novel Marking Bit Method....Pages 191-197 A Study on the Hierarchical Structure of Conditional Replenishment Algorithm for SC-MMH 3DTV System....Pages 199-204 Performance Comparison for CFDP NAK Modes in Deep Space Communications....Pages 205-210 The Design and Implementation of Mesh-Based DTN for Disaster Situations....Pages 211-216 A Fire Evacuation Guidance System Based on Ubiquitous Sensor Networks....Pages 217-222 Stage Image Control System Using Visual Tracking....Pages 223-230 Real-Time Virtual Lego Brick Manipulation Based on Hand Gesture Recognition....Pages 231-238 Object Detection Based on Exemplar Object Expression....Pages 239-247 An Algorithm for Image Classification Based on Semantic Transfer Learning....Pages 249-256 Automatic Dehumidifier Control System for Greenhouse Using Smart Phone....Pages 257-264 Thermal Image-Based Disc Pads Diagnosis System in Grab Crane....Pages 265-272 Image Acquisition System for Construction Inspection Based on Small Unmanned Aerial Vehicle....Pages 273-280 Portable Video System for Farm Growth Monitoring....Pages 281-287 Design of Flight Stabilization System for Acquisition of UAV Based Monitoring Image....Pages 289-296 The Smart and Secure Protocol for Mobile Office Environments....Pages 297-307 Research for Personalized Recommendation of Learning Resource in Mobile Computing Context....Pages 309-315 Terrain Classification Using Adaboost Algorithm Based on Co-occurrence and Haar-like Features....Pages 317-322 Data Recording System Based on FPGA and DSP....Pages 323-329 Implementation of High-Speed Serial Interconnects for Multi-Processor Parallel System....Pages 331-336 A Twin-Screw Rotor Profile Design Method Based on Computational Fluid Dynamics....Pages 337-342 Design of Nanograting Structures for Optoelectronic Devices Based on Rigorous Coulpled-Wave Analysis....Pages 343-350 An Improved Algorithm of Network Maximum Flow Based on Network Flow Matrix....Pages 351-356 Back Matter....Pages 357-358
