9. WORDS 2003 (Fall): Anacapri (Capri Island), Italy

Introduction

• Message from the General Co-Chairs.
  
• Message from the Program Co-Chairs.
  
• Conference Committee.
  

Invited Address

• Brian Randell:
  Edsger Dijkstra. 3-
  

Special Invited paper

• Bhavani M. Thuraisingham:
  Dependable Infrastructures and Data Managers for Sensor Networks. 11-
  

Session 1: Infrastructures for Real-Time Systems and Control Systems

• E. Douglas Jensen:
  Application QoS-Based Time-Critical Automated Resource Management in Battle Management Systems. 19-25
  
• Hermann Kopetz, Neeraj Suri:
  On the Limits of the Precise Specification of Component Interfaces. 26-27
  
• Franz-Josef Rammig, Carsten Rust:
  Modeling of Dynamically Modifiable Embedded Real-Time Systems. 28-34
  
• Wolfgang A. Halang:
  Automated Control Systems for the Safety Integrity Levels 3 and 4. 35-
  

Session 2: Real-Time Systems

• Uwe Brinkschulte:
  Scalable Online Feasibility Tests for Admission Control in a Java Real-Time System. 45-52
  
• Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner:
  Input-Dependency Analysis for Hard Real-Time Software. 53-60
  
• Stefan Schemmer, Edgar Nett:
  Achieving Reliable and Timely Task Execution in Mobile Embedded Applications. 61-68
  
• Marion G. Ceruti, Joan L. Kaina:
  Enhancing Dependability of the Battlefield Single Integrated Picture through Metrics for Modeling and Simulation of Time-Critical Scenarios. 69-
  

Session 3: Multimedia and Basic Service

• Haining Liu, Magda El Zarki:
  Towards the Delay and Synchronization Control for Networked Real-Time Multi-Object Multimedia Applications. 79-86
  
• Waseem Sheikh, Basit Shafiq, Raymond A. Paul, Arif Ghafoor:
  Provision of Multimedia Services in a Mobile Ad Hoc Network. 87-93
  
• Domenico Cotroneo, Cristiano di Flora, Antonino Mazzeo, Luigi Romano, Stefano Russo, Giacinto Paolo Saggese:
  Providing Digital Time Stamping Services to Mobile Devices. 94-100
  
• Moon-hae Kim, Eun Hwan Jo, Doo-Hyun Kim:
  Global Time-Based Synchronization of Real-Time Multimedia Streaming. 101-
  

Session 4: Security, Safety, and other Works in Progress

• Andrea Coccoli, Andrea Bondavalli:
  Analysis of Safety Related Architectures. 111-117
  
• Frank Drews, Lonnie R. Welch:
  An Architecture and a General Optimization Framework for Resource Management in Dynamic, Distributed Real-Time Systems. 118-124
  
• Roman Gumzej, Wolfgang A. Halang:
  An Approach to Configuration Management and Co-Simulation in Distributed Embedded Systems. 125-130
  
• Y. S. Hong, J. H. No:
  A Fault-Tolerant Real-Time Multicast Protocol RFRM/X. 131-135
  
• Rajeev Gandhi:
  Tolerance to Access-Point Failures in Dependable Wireless Local-Area Networks. 136-143
  
• Yoshiaki Kakuda, Kanako Suezawa, Shinji Inoue, Hidenori Nakazato:
  Redundant Optical Path Design Based on Multiagents and Its Experimental Evaluation. 144-
  

Session 5: Fault-Tolerance and Software Engineering

• Carlos F. Reverte, Priya Narasimhan:
  Decentralized Resource Management and Fault-Tolerance for Distributed CORBA Applications. 155-162
  
• Nik Looker, Jie Xu:
  Assessing the Dependability of SOAP RPC-Based Web Services by Fault Injection. 163-170
  
• Hui Ding, Can Zheng, Gul Agha, Lui Sha:
  Automated Verification of the Dependability of Object-Oriented Real-Time Systems. 171-178
  
• Joni da Silva Fraga, Frank Siqueira, Fábio Favarim:
  An Adaptive Fault-Tolerant Component Model. 179-186
  
• Stefano Cimmino, Carlo Marchetti, Roberto Baldoni:
  A Guided Tour on Total Order Specifications. 187-194
  
• Tatsuo Nakajima:
  Middleware Design and Human Factor. 195-
  

Session 6: Distributed Systems and Mobile Environments

• Stefan Arbanowski, Stephan Steglich, Ilja Radusch, Radu Popescu-Zeletin:
  Super Distributed Objects: An Execution Environment for I-Centric Services. 201-200
  
• Tatsuo Nakajima:
  A Presence Service Architecture for Supporting Spontaneous Interaction. 209-216
  
• Hector A. Duran-Limon, Gordon S. Blair, Adrian Friday, Thirunavukkarasu Sivaharan, George Samartzidis:
  A Resource and QoS Management Framework for a Real-Time Event System in Mobile Ad Hoc Environments. 217-224
  
• Yunmook Nah, K. H. (Kane) Kim, Taehyung Wang, Moon-hae Kim, Jonghoon Lee, Young-Kyu Yang:
  A Cluster-Based TMO-Structured Scalable Approach for Location Information Systems. 225-233
  
• Reinaldo de Barros Correia, Luiz F. Rust da Costa Carmo, Edmundo L. Cecilio, Luiz F. Bacellar, Luci Pirmez:
  A Proactive Management and Rerouting Framework for QoS Critical Distributed Applications Using Active Technology. 234-
  

Session 7: Component-Based Software Architecture and Engineering

• Luca Simoncini:
  Architectural Challenges for "Ambient Dependability". 245-249
  
• Christof Fetzer, Neeraj Suri:
  Practical Aspects of IP Take-Over Mechanisms. 250-254
  
• Alex Talevski, Elizabeth Chang, Tharam S. Dillon:
  Meta Model Driven Framework for the Integration and Extension of Application Components. 255-261
  
• Robert G. Pettit IV, Hassan Gomaa:
  Improving the Reliability of Concurrent Object-Oriented Software Designs. 262-269
  
• Christopher D. Gill:
  RT-POD: A Framework for Real-Time Systems Participation in Own Defense. 270-
  

Session 8: Embedded Computing Systems

• Paolo Bellavista, Antonio Corradi:
  Mobile Middleware Solutions for the Adaptive Management of Multimedia QoS to Wireless Portable Devices. 283-291
  
• Jiyong Park, Saehwa Kim, Seongsoo Hong:
  Weaving Aspects into Real-Time Operating System Design Using Object-Oriented Model Transformation. 292-298
  
• Andreas Rasche, Peter Tröger, Michael Dirska, Andreas Polze:
  Foucault's Pendulum in the Distributed Control Lab. 299-306
  
• K. H. (Kane) Kim:
  Timeliness Assurance via Hybrid Approaches during Design of Distributed Embedded Computing Systems. 307-
  

Session 9: Dependability: Research Trends and Field Experiences

• Douglas Niehaus, David L. Andrews:
  Using the Multi-Threaded Computation Model as a Unifying Framework for Hardware-Software Co-Design and Implementation. 317-324
  
• Mario Dal Cin:
  Extending UML towards a Useful OO-Language for Modeling Dependability Features. 325-330
  
• Ravishankar K. Iyer, Shuo Chen, Jun Xu, Zbigniew Kalbarczyk:
  Security Vulnerabilities - From Data Analysis to Protection Mechanisms. 331-338
  
• Heinz W. Schmidt, Ian D. Peake, Jue Xie, Ian E. Thomas, Bernd J. Krämer, Alexander Fay, Peter Bort:
  Modelling Predictable Component-Based Distributed Control Architectures. 339-346
  
• Wilfried Steiner, Michael Paulitsch, Hermann Kopetz:
  Multiple Failure Correction in the Time-Triggered Architecture. 347-354
  
• Arturo M. Amendola, Roberto Di Maio, M. L. Iacobuzio, Fabio Poli, Fernando Scalabrini:
  Lessons Learned in Designing and Evaluating Railway Control Systems. 355-
  

Last update Fri May 25 08:49:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page