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

Message from the Technical Program Co-Chairs.
Conference Organization.

Fault Tolerant Systems

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

Enhanced Object Models

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

Mobile Computing

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

Timing and Execution Analysis

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

Web Services - "Middleware for Middleware"

Simon J. Woodman, Graham Morgan, Simon E. Parkin:
Portal Replication for Web Application Availability Via SOA. 122-130
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
Peter Tröger, Andreas Polze:
Object and Process Migration in .NET. 139-

Configurable Embedded System Support

Carsten Böke, Marcelo Götz, Tales Heimfarth:
Re-) Configurable Real-Time Operating Systems and Their Applications. 148-155
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
Carlos Eduardo Pereira, Marcelo Götz:
Architectural solutions for enhancing the real-time behavior of distributed embedded systems. 164-168
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
Luís Almeida:
A Word for Operational Flexibility in Distributed Safety-Critical Systems. 177-

Security and Fault Tolerance

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

Quality of Service (QoS)

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

Middleware

Krishnakumar Balasubramanian, Nanbor Wang, Douglas C. Schmidt:
Towards Composable Distributed Real-time and Embedded Software. 226-233
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
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
Stephen S. Yau, Yu Wang, Dazhi Huang:
Middleware Support for Embedded Software with Multiple QoS Properties for Ubiquitous Computing Environments. 250-

Multicast and Group Communication

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

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
Avelino F. Zorzo, Panayiotis Periorellis, Alexander Romanovsky:
Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience. 288-295
Scott Arthur Moody:
Challenges in Building Scalable Network Centric Real-Time Information Dissemination Systems. 296-

Data Dissemination and Communication

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

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