SEUS 2007: Santorini Island, Greece
Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers
Roman Obermaisser, Yunmook Nah, Peter P. Puschner, Franz-Josef Rammig
Springer, Lecture Notes in Computer Science 4761, ISBN: 978-3-540-75663-7
Contents
Ubiquitous Computing Frameworks
Byung-Kook Son, Jun-Hwan Lee, Kyung-Lang Park, Cheong-Ghil Kim, Hiecheol Kim, Shin-Dug Kim
1-10
Physical/Cyber Objects Management Framework for Multiple-Area Detectable RFID.
Masayuki Iwai, Ryo Ohsawa, Kei Suzuki, Takuya Imaeda, Hideyuki Tokuda
11-19
A Task Decomposition Scheme for Context Aggregation in Personal Smart Space.
Hoseok Ryu, Insuk Park, Soon J. Hyun, Dongman Lee
20-29
Distributed k-NN Query Processing for Location Services.
Jonghyeong Han, Joonwoo Lee, Seungyong Park, Jaeil Hwang, Yunmook Nah
30-39
Youna Jung, Jungtae Lee, Minkoo Kim
47-56
Safety-Critical Systems
On Distributed Real-Time Scheduling in Networked Embedded Systems in the Presence of Crash Failures.
Binoy Ravindran, Jonathan Stephen Anderson, E. Douglas Jensen
67-81
Probabilistic Optimization and Assessment of Voting Strategies for X-by-Wire Systems.
Markus Kucera, Hans Mauser
82-92
Application of Safety Analyses in Model Driven Development.
Javier Fernández Briones, Miguel A. de Miguel, Juan Pedro Silva, Alejandro Alonso
93-104
Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS.
Woo Jin Lee, Ho-Jun Kim, Heung Seok Chae
114-124
Validation of Embedded and Ubiquitous Systems
Cross-Platform Verification Framework for Embedded Systems.
Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
137-148
Songah Chae, Doo-Hyun Kim, Changhee Jung, Duk-Kyun Woo, Chaedeok Lim
149-158
A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture.
Martin Schlager, Roman Obermaisser, Wilfried Elmenreich
159-170
An Embedded Integration Prototyping System Based on Component Technique.
Youngjin Jung, Jeong-Bae Lee, Jinbaek Kwon, Kee-Wook Rim, Sang-Young Cho
171-180
Ubiquitous Computing Applications
Sheng Liu, K. H. (Kane) Kim, Sung-Jin Kim, Zhen Zhang, Jongho Nang, Ki-Seok Choi, Yongbin Kang
181-191
Hansol Park, Moon-hae Kim, Chun-Hyon Chang, Keechon Kim, Jung-Guk Kim, Doo-Hyun Kim
192-201
Lifestyle Ubiquitous Gaming: Computer Games Making Daily Lives Fun.
Eiji Tokunaga, Masaaki Ayabe, Hiroaki Kimura, Tatsuo Nakajima
202-212
Speech Recognition System Using DHMMs Based on Ubiquitous Environment.
Jong-Hun Kim, Un-Gu Kang, Kee-Wook Rim, Jung-Hyun Lee
213-222
Healthcare Information Management System in Home Environment.
Chang-Sun Shin, Su-Chong Joo, Chang-Won Jeong
223-232
Effective Appliance Selection by Complementary Context Feeding in Smart Home System.
Taek Lee, Jiyong Park, Hoh Peter In
233-242
Scheduling and Non Functional Properties
A QoS Routing Protocol for Mobile Ad Hoc Networks Based on a Reservation Pool.
Donghak Pyo, Sunggu Lee, Min-Gu Lee
253-262
Nan Guan, Zonghua Gu, Qingxu Deng, Shuaihong Gao, Ge Yu
263-272
Soft Real-Time Task Response Time Prediction in Dynamic Embedded Systems.
Cássia Yuri Tatibana, Carlos Montez, Rômulo Silva de Oliveira
273-282
Transparent and Selective Real-Time Interrupt Services for Performance Improvement.
Jinkyu Jeong, Euiseong Seo, Dongsung Kim, Jinsoo Kim, Joonwon Lee, Yung-Joon Jung, Donghwan Kim, Kanghee Kim
283-292
An Approach for Energy-Aware Management in Ubiquitous Home Network Environment.
Hyung-Soo Mok, Sung-Yong Son, Jun Hee Hong, Sanghoon Kim
293-300
On-Chip Bus Architecture Optimization for Multi-core SoC Systems.
Cheng-Min Lien, Ya-Shu Chen, Chi-Sheng Shih
301-310
Jungwook Song, Heemin Kim, Sunyoung Han
311-318
Self-organization and Reconfiguration
Self-organizing Resource-Aware Clustering for Ad Hoc Networks.
Tales Heimfarth, Peter Janacik, Franz J. Rammig
319-328
Intelligent Context-Awareness System Using Improved Self-adaptive Back Propagation Algorithm.
Sang Hun Eo, Wei Zha, Byeong-Seob You, Dong-Wook Lee, Hae-Young Bae
329-338
Towards an Artificial Hormone System for Self-organizing Real-Time Task Allocation.
Uwe Brinkschulte, Mathias Pacher, Alexander von Renteln
339-347
Junaid Ahsenali Chaudhry, Yonghwan Lee, Seungkyu Park, Dugki Min
348-357
Yoo Chul Chung, Yang Woo Ko, Youngrock Cha, Dongman Lee
368-377
Service Discovery and Development Platform
Searching Visual Media Service Providers Using ASN.1-Based Ontology Reasoning.
Youngkun Min, Bogju Lee, Yunmook Nah
378-383
SharedSpace Based Service Discovery Mechanism and Its Implementation for Ubiquitous Environments.
Sangdo Park, Junhyeong Kim, Paul Barom Jeon
384-388
A Study of Developing Virtual Prototyping by Using JavaBean Interface Tool and SystemC Engine.
Husni Teja Sukmana, Jeong-Bae Lee, Jong-Il Kim, Young J. Jung, Jin B. Kwon, Kee-Wook Rim, Young-Ran Lee
389-393
Configurable Virtual Platform Environment Using SID Simulator and Eclipse.
Hadipurnawan Satria, Baatarbileg Altangerel, Jin Baek Kwon, Jeongbae Lee
394-398
Wireless Networks
An Energy-Efficient k -Disjoint-Path Routing Algorithm for Reliable Wireless Sensor Networks.
Jang-Woon Baek, Young Jin Nam, Dae-Wha Seo
399-408
Supporting Mobile Ubiquitous Applications with Mobility Prediction and Soft Handoff.
Marcello Cinque, Stefano Russo
409-418
Event-Driven Power Management for Wireless Sensor Networks.
Sang Hoon Lee, Byong-Ha Cho, Lynn Choi, Sun-Joong Kim
419-428
GENSEN: A Topology Generator for Real Wireless Sensor Networks Deployment.
Tiago Camilo, Jorge Sá Silva, André Rodrigues, Fernando Boavida
436-445
Energy-Aware Routing for Wireless Sensor Networks by AHP.
Xiaoling Wu, Jinsung Cho, Brian J. d'Auriol, Sungyoung Lee
446-455
A Wireless System for Real-Time Environmental and Structural Monitoring.
Valerio Plessi, Filippo Bastianini, Sahra Sedigh
456-465
Middleware Architectures and Virtualization
Integrated Notification Architecture Based on Overlay Against DDoS Attacks on Convergence Network.
Mihui Kim, Jaewon Seo, Kijoon Chae
466-476
Making Middleware Secure on Embedded Terminals.
Yoshiharu Asakura, Atsushi Honda, Satoshi Hieda, Hiroshi Chishima, Naoki Sato
477-485
Dynamic Translator-Based Virtualization.
Yuki Kinebuchi, Hidenari Koshimae, Shuichi Oikawa, Tatsuo Nakajima
486-495
Mesovirtualization: Lightweight Virtualization Technique for Embedded Systems.
Megumi Ito, Shuichi Oikawa
496-505
Environment Interaction
Building a Customizable User Interface Framework Using Hyperlinks for Smart Devices.
Mitsuko Sato, Eigo Okada, Yukikazu Nakamoto
506-515
An Efficient Location Index for the Semantic Search of Moving Objects.
Dong-Oh Kim, Jung-Su Shin, Hong-Koo Kang, Ki-Joon Han
516-526
Sebastian Schuster, Uwe Brinkschulte
527-536
Wonhong Kwon, Han Wook Cho, Yong Ho Song
537-546