SEUS 2008: Anacarpi, Capri Island, Italye

Model-Driven Development

• Darshan S. Dillon, Tharam S. Dillon, Elizabeth Chang:
  Using UML 2.1 to Model Multi-agent Systems. 1-8
  
• Brahim Hamid, Ansgar Radermacher, Agnes Lanusse, Christophe Jouvray, Sébastien Gérard, François Terrier:
  Designing Fault-Tolerant Component Based Applications with a Model Driven Approach. 9-20
  
• Daniel D. Gajski, Samar Abdi, Ines Viskic:
  Model Based Synthesis of Embedded Software. 21-33
  
• Roman Obermaisser:
  Formal Specification of Gateways in Integrated Architectures. 34-45
  
• Gabor Karsai, Janos Sztipanovits:
  Model-Integrated Development of Cyber-Physical Systems. 46-54
  

Middleware

• Isabell Jahnich, Ina Podolski, Achim Rettberg:
  Towards a Middleware Approach for a Self-configurable Automotive Embedded System. 55-65
  
• Paolo Bellavista, Antonio Corradi, Carlo Giannelli:
  Context-Aware Middleware for Reliable Multi-hop Multi-path Connectivity. 66-78
  
• Jean-Pierre Banâtre, Thierry Priol, Yann Radenac:
  Service Orchestration Using the Chemical Metaphor. 79-89
  
• Manuel Nickschas, Uwe Brinkschulte:
  Guiding Organic Management in a Service-Oriented Real-Time Middleware Architecture. 90-101
  
• Chungwoo Lee, Jaeil Hwang, Joonwoo Lee, Chulbum Ahn, Bowon Suh, Dong-Hoon Shin, Yunmook Nah, Doo-Hyun Kim:
  Self-describing and Data Propagation Model for Data Distribution Service. 102-113
  

Real Time

• Megumi Ito, Shuichi Oikawa:
  Improving Real-Time Performance of a Virtual Machine Monitor Based System. 114-125
  
• Florian Kluge, Sascha Uhrig, Jörg Mische, Theo Ungerer:
  A Two-Layered Management Architecture for Building Adaptive Real-Time Systems. 126-137
  
• Siddharth Choudhuri, Tony Givargis:
  Real-Time Access Guarantees for NAND Flash Using Partial Block Cleaning. 138-149
  
• Guenter Khyo, Peter P. Puschner, Martin Delvai:
  An Operating System for a Time-Predictable Computing Node. 150-161
  
• Woochul Kang, Sang Hyuk Son:
  Data Services in Distributed Real-Time Embedded Systems. 162-173
  

Quality of Service and Performance

• Boyoung Rhee, Sungchol Cho, Sunyoung Han, Chun-Hyon Chang, Jung-Guk Kim:
  QoS-Adaptive Router Based on Per-Flow Management over NGN. 174-185
  
• Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi:
  Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults. 186-197
  
• Julie S. Fant, Robert G. Pettit IV:
  Cost-Performance Tradeoff for Embedded Systems. 198-208
  
• See-hwan Yoo, Tae-Kyung Kim, Chuck Yoo:
  Resolving Performance Anomaly Using ARF-Aware TCP. 209-220
  

Applications

• Ichiro Satoh:
  Context-Aware Deployment of Services in Public Spaces. 221-232
  
• Jackei H. K. Wong, Wilfred W. K. Lin, Allan K. Y. Wong, Tharam S. Dillon:
  An Ontology Supported Meta-interface for the Development and Installation of Customized Web Based Telemedicine Systems. 233-244
  
• Franz J. Rammig:
  Cyber Biosphere for Future Embedded Systems. 245-255
  
• Cristiano di Flora, Christian Prehofer:
  Leveraging GIS Technologies for Web-Based Smart Places Services. 256-267
  

Pervasive and Mobile Systems

• Federica Paci, Elisa Bertino, Sam Kerr, Aaron Lint, Anna Cinzia Squicciarini, Jungha Woo:
  VeryIDX - A Digital Identity Management System for Pervasive Computing Environments. 268-279
  
• Brahim Ayari, Abdelmajid Khelil, Neeraj Suri:
  Delay-Aware Mobile Transactions. 280-291
  
• Tatsuo Nakajima, Hiroo Ishikawa, Yuki Kinebuchi, Midori Sugaya, Lei Sun, Alexandre Courbot, Andrej van der Zee, Aleksi Aalto, Kwon Ki Duk:
  An Operating System Architecture for Future Information Appliances. 292-303
  
• Lynn Choi, Jae Kyun Jung, Byong-Ha Cho, Hyohyun Choi:
  M-Geocast: Robust and Energy-Efficient Geometric Routing for Mobile Sensor Networks. 304-316
  

Wireless Embedded Systems

• Yukikazu Nakamoto, Issei Abe, Tatsunori Osaki, Hiroyuki Terada, Yu Moriyama:
  Toward Integrated Virtual Execution Platform for Large-Scale Distributed Embedded Systems. 317-322
  
• Mohammad Iftekhar Husain, Shambhu J. Upadhyaya, Madhusudhanan Chandrasekaran:
  A Novel Approach for Security and Robustness in Wireless Embedded Systems. 323-335
  
• Gabriella Carrozza, Marcello Cinque:
  The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies. 336-347
  
• Adam Ji Dou, Vana Kalogeraki:
  RG-EDF: An I/O Scheduling Policy for Flash Equipped Sensor Devices. 348-359
  
• Sunggu Lee, Younggyu Yang:
  Methods for Increasing Coverage in Wireless Sensor Networks. 360-368
  

Synthesis, Verification and Protection

• Michel Raynal:
  Locks Considered Harmful: A Look at Non-traditional Synchronization. 369-380
  
• Fabrice Kordon, Jérôme Hugues, Xavier Renault:
  From Model Driven Engineering to Verification Driven Engineering. 381-393
  
• Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen:
  On Scalable Synchronization for Distributed Embedded Real-Time Systems. 394-405
  
• Seongje Cho, Hyeyoung Chang, Yookun Cho:
  Implementation of an Obfuscation Tool for C/C++ Source Code Protection on the XScale Architecture. 406-416
  
• George Din, Diana Vega, Ina Schieferdecker:
  Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking. 417-430