8. WORDS 2003: Guadalajara, Mexico

8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 15-17 January 2003, Guadalajara, Mexico. IEEE Computer Society 2003, ISBN 0-7695-1929-6 BibTeX

Message from the Technical Program Co-Chairs.
Electronic Edition (link) BibTeX
Conference Organization.
Electronic Edition (link) BibTeX

Fault Tolerant Systems

Paulo Veríssimo, Antonio Casimiro:
Event-Driven Support of Real-Time Sentient Objects. 2-9
Electronic Edition (link) BibTeX
Yukikazu Nakamoto:
Operating System Supports to Enhance Fault Tolerance of Real-Time Systems. 10-17
Electronic Edition (link) BibTeX
Gérard Le Lann:
Asynchrony and Real-Time Dependable Computing. 18-25
Electronic Edition (link) BibTeX
Peter P. Puschner:
Algorithms for Dependable Hard Real-Time Systems. 26-31
Electronic Edition (link) BibTeX
Paul D. Ezhilchelvan, Doug Palmer, Michel Raynal:
An Optimal Atomic Broadcast Protocol and an Implementation Framework. 32-
Electronic Edition (link) BibTeX

Enhanced Object Models

Doo-Hyun Kim, K. H. (Kane) Kim:
A TMO-Based Software Architecture for Distributed Real-Time Multimedia Processing. 42-49
Electronic Edition (link) BibTeX
Philippe Raipin Parvédy, Michel Raynal:
Reliable Compare & Swap for Fault-Tolerant Synchronization. 50-55
Electronic Edition (link) BibTeX
Moon-hae Kim, Sun Hwa Lim, Jung-Guk Kim:
Modeling of a Real-Time Distributed Network Management based onTMN and the TMOModel. 56-
Electronic Edition (link) BibTeX

Mobile Computing

Christof Fetzer, Karin Högstedt:
Self\star: A Data-Flow Oriented Component Framework for Pervasive Dependability. 66-73
Electronic Edition (link) BibTeX
Domenico Cotroneo, Cristiano di Flora, Stefano Russo:
Improving Dependability of Service Oriented Architectures for Pervasive Computing. 74-81
Electronic Edition (link) BibTeX
Tatsuo Nakajima, Eiji Tokunaga, Hiro Ishikawa, Daiki Ueno, Makoto Kurahashi:
Software Infrastructure for Building Large-Scaled Smart Environments. 82-89
Electronic Edition (link) BibTeX
Alvin Chen, Kai Chung Lui, Richard R. Muntz:
Query Plans with Roaming Sources: Shifting Streams of Data. 90-
Electronic Edition (link) BibTeX

Timing and Execution Analysis

Raimund Kirner, Peter P. Puschner:
Timing Analysis of Optimised Code. 100-105
Electronic Edition (link) BibTeX
Jan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo:
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation. 106-112
Electronic Edition (link) BibTeX
Hans-Gerhard Groß, Nikolas Mayer:
Search-based Execution-Time Verification in Object-Oriented and Component-Based Real-Time System Development. 113-
Electronic Edition (link) BibTeX

Web Services - "Middleware for Middleware"

Simon Woodman, Graham Morgan, Simon Parkin:
Portal Replication for Web Application Availability Via SOA. 122-130
Electronic Edition (link) BibTeX
Wei-Tek Tsai, Raymond A. Paul, Zhibin Cao, Lian Yu, Akihiro Saimi, Bingnan Xiao:
Verification of Web Services Using an Enhanced UDDI Server. 131-138
Electronic Edition (link) BibTeX
Peter Tröger, Andreas Polze:
Object and Process Migration in .NET. 139-
Electronic Edition (link) BibTeX

Configurable Embedded System Support

Carsten Böke, Marcelo Götz, Tales Heimfarth:
Re-) Configurable Real-Time Operating Systems and Their Applications. 148-155
Electronic Edition (link) BibTeX
Charles P. Shelton, Philip Koopman, William Nace:
A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems. 156-163
Electronic Edition (link) BibTeX
Carlos Eduardo Pereira, Marcelo Götz:
Architectural solutions for enhancing the real-time behavior of distributed embedded systems. 164-168
Electronic Edition (link) BibTeX
Christopher D. Gill, Venkita Subramonian, Jeff Parsons, Huang-Ming Huang, Stephen Torri, Douglas Niehaus, Douglas Stuart:
ORB Middleware Evolution for Networked Embedded Systems. 169-176
Electronic Edition (link) BibTeX
Luís Almeida:
A Word for Operational Flexibility in Distributed Safety-Critical Systems. 177-
Electronic Edition (link) BibTeX

Security and Fault Tolerance

Anders Andersen, Gordon S. Blair, Per Harald Myrvang, Tage Stabell-Kulø:
Security and Middleware. 186-190
Electronic Edition (link) BibTeX
Kim Potter Kihlstrom, Priya Narasimhan:
The Starfish System: Providing Intrusion Detection and Intrusion Tolerance for Middleware Systems. 191-199
Electronic Edition (link) BibTeX
P. Sharma, P. Shah, S. Bhattacharya:
Mirror Hopping Approach for Selective Denial of Service Prevention. 200-
Electronic Edition (link) BibTeX

Quality of Service (QoS)

Miguel A. de Miguel:
QoS Modeling Language for High Quality Systems. 210-216
Electronic Edition (link) BibTeX
Carlos Almeida:
Handling QoS in a Dynamic Real-Time Environment. 217-224
Electronic Edition (link) BibTeX

Middleware

Krishnakumar Balasubramanian, Nanbor Wang, Douglas C. Schmidt:
Towards Composable Distributed Real-time and Embedded Software. 226-233
Electronic Edition (link) BibTeX
K. H. (Kane) Kim, Yuqing Li, Jeff (Juqiang) Liu:
A Special Checkpointing Object Method Based Primary-Passive TMO Replication Scheme and Middleware Support. 234-241
Electronic Edition (link) BibTeX
Joni da Silva Fraga, Ricardo J. Rabelo, Frank Siqueira, Carlos Montez, Rômulo Silva de Oliveira:
Infrastructure for Virtual Enterprises in Large-Scale Open Systems. 242-249
Electronic Edition (link) BibTeX
Stephen S. Yau, Yu Wang, Dazhi Huang:
Middleware Support for Embedded Software with Multiple QoS Properties for Ubiquitous Computing Environments. 250-
Electronic Edition (link) BibTeX

Multicast and Group Communication

Tomoya Enokido, Seiichi Hatori, Takuya Tojo, Makoto Takizawa:
Group Communication in Distributed Multimedia Objects. 258-264
Electronic Edition (link) BibTeX
Panos K. Chrysanthis, Vincenzo Liberatore, Kirk Pruhs:
Middleware Support for Multicast-based Data Dissemination: A Working Reality. 265-272
Electronic Edition (link) BibTeX
Y. S. Hong, J. H. No:
An Efficient Real-time Multicast Protocol RFRM. 273-
Electronic Edition (link) BibTeX

Case Studies and Practical Experiences

Ahmad T. Al-Hammouri, A. Covitch, M. Kose, D. Rosas, Wyatt S. Newman, Vincenzo Liberatore:
Compliant Control and Software Agents for Internet Robotics. 280-287
Electronic Edition (link) BibTeX
Avelino F. Zorzo, Panayiotis Periorellis, Alexander Romanovsky:
Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience. 288-295
Electronic Edition (link) BibTeX
Scott Arthur Moody:
Challenges in Building Scalable Network Centric Real-Time Information Dissemination Systems. 296-
Electronic Edition (link) BibTeX

Data Dissemination and Communication

Roberto Baldoni, Mariangela Contenti, Sara Tucci Piergiovanni, Antonino Virgillito:
Modelling Publish/Subscribe Communication Systems: Towards a Formal Approach. 304-311
Electronic Edition (link) BibTeX
Magda El Zarki, Liang Cheng, Haining Liu, Xiaoping Wei:
An Interactive Object Based Multimedia System for IP Networks. 312-
Electronic Edition (link) BibTeX