The Community for Technology Leaders
Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on (2003)
Guadalajara, Mexico
Jan. 15, 2003 to Jan. 17, 2003
ISSN: 1530-1443
ISBN: 0-7695-1929-6
TABLE OF CONTENTS
Fault Tolerant Systems

null (PDF)

pp. null

Asynchrony and Real-Time Dependable Computing (Abstract)

Gerard Le Lann , INRIA, B.P. 105, 78153 Le Chesnay Cedex, France
pp. 18

Algorithms for Dependable Hard Real-Time Systems (Abstract)

Peter Puschner , Technische Universitat Wien
pp. 26

An Optimal Atomic Broadcast Protocol and an Implementation Framework (Abstract)

Michel RAYNAL , IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France
Doug PALMER , Dept of Computing Science, University of Newcastle, NE1 7RU, UK
Paul EZHILCHELVAN , Dept of Computing Science, University of Newcastle, NE1 7RU, UK
pp. 32
Enhanced Object Models

null (PDF)

pp. null

Reliable Compare & Swap for Fault-Tolerant Synchronization (Abstract)

Philippe RAIPIN PARVEDY , IRISA, Universite de Rennes 1, Campus de Beaulieu, 35042 Rennes Cedex, France
Michel RAYNAL , IRISA, Universite de Rennes 1, Campus de Beaulieu, 35042 Rennes Cedex, France
pp. 50
Mobile Computing

null (PDF)

pp. null

Improving Dependability of Service Oriented Architectures for Pervasive Computing (Abstract)

S. Russo , Universita degli Studi di Napoli "Federico II"
C.Di Flora , Universita degli Studi di Napoli "Federico II"
D. Cotroneo , Universita degli Studi di Napoli "Federico II"
pp. 74

Software Infrastructure for Building Large-Scaled Smart Environments (Abstract)

Tatsuo Nakajima , Waseda University
Eiji Tokunaga , Waseda University
Makoto Kurahashi , Waseda University
Hiro Ishikawa , Waseda University
Daiki Ueno , Waseda University
pp. 82

Query Plans with Roaming Sources: Shifting Streams of Data (Abstract)

Richard R. Muntz , UCLA Multimedia Systems Laboratory
Alvin Chen , UCLA Multimedia Systems Laboratory
Kai Chung Lui , UCLA Multimedia Systems Laboratory
pp. 90
Timing and Execution Analysis

null (PDF)

pp. null

Timing Analysis of Optimised Code (Abstract)

Peter Puschner , Technische Universitat Wien
Raimund Kirner , Technische Universitat Wien
pp. 100

A Tool for Automatic Flow Analysis of C-programs for WCET Calculation (Abstract)

Bjorn Lisper , Malardalen University, Vasterras, Sweden.
Jan Gustafsson , Malardalen University, Vasterras, Sweden.
Christer Sandberg , Malardalen University, Vasterras, Sweden.
pp. 106

Search-based Execution-Time Verification in Object-Oriented and Component-Based Real-Time System Development (Abstract)

Hans-Gerhard Gross , Software Engineering, Sauerwiesen 6
Nikolas Mayer , Software Engineering, Sauerwiesen 6
pp. 113
Web Services - "Middleware for Middleware"

null (PDF)

pp. null

Portal Replication for Web Application Availability Via SOA (Abstract)

Simon Parkin , School of Computing Science, University of Newcastle
Graham Morgan , School of Computing Science, University of Newcastle
Simon Woodman , School of Computing Science, University of Newcastle
pp. 122

Verification of Web Services Using an Enhanced UDDI Server (Abstract)

A. Saimi , Arizona State University
W. T. Tsai , Arizona State University
R. Paul , Arizona State University
L. Yu , Arizona State University
B. Xiao , Arizona State University
Z. Cao , Arizona State University
pp. 131

Object and Process Migration in .NET (Abstract)

Andreas Polze , University of Potsdam, Germany
Peter Tr?ger , University of Potsdam, Germany
pp. 139
Configurable Embedded System Support

null (PDF)

pp. null

Re-) Configurable Real-Time Operating Systems and Their Applications (Abstract)

Tales Heimfarth , Universit?t Paderborn
Marcelo G? , Universit?t Paderborn
Carsten B? , Universit?t Paderborn
pp. 148

A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems (Abstract)

William Nace , Carnegie Mellon University
Charles P. Shelton , Carnegie Mellon University
Philip Koopman , Carnegie Mellon University
pp. 156

Architectural solutions for enhancing the real-time behavior of distributed embedded systems (Abstract)

Marcelo G? , University of Paderborn
Carlos E. Pereira , Federal University of Rio Grande do Sul (UFRGS)
pp. 164

ORB Middleware Evolution for Networked Embedded Systems (Abstract)

Douglas Stuart , St. Louis. MO
Jeff Parsons , Washington University, St.Louis
Venkita Subramonian , Washington University, St.Louis
Huang-Ming Huang , Washington University, St.Louis
Douglas Niehaus , University of Kansas, Lawrence
Christopher Gill , Washington University, St.Louis
Stephen Torri , Washington University, St.Louis
pp. 169
Security and Fault Tolerance

null (PDF)

pp. null

Security and Middleware (Abstract)

Gordon Blair , University of Tromsemptyset, Norway
Per Harald Myrvang , University of Tromsemptyset, Norway
Tage Stabell-Kulemptyset , University of Tromsemptyset, Norway
Anders Andersen , University of Tromsemptyset Norway
pp. 186

MIRROR HOPPING APPROACH FOR SELECTIVE DENIAL OF SERVICE PREVENTION (Abstract)

Shah P , Department of Computer Science & Engineering, Arizona State University,Tempe, AZ 85287
Bhattacharya S , Department of Computer Science & Engineering, Arizona State University,Tempe, AZ 85287
Sharma P , Department of Computer Science & Engineering, Arizona State University,Tempe, AZ 85287
pp. 200
Quality of Service (QoS)

null (PDF)

pp. null
Middleware

null (PDF)

pp. null

Towards Composable Distributed Real-time and Embedded Software (Abstract)

Douglas C. Schmidt , University of California, Irvine
Krishnakumar Balasubramanian , Washington University, St.Louis
Nanbor Wang , Washington University, St.Louis
pp. 226

Infrastructure for Virtual Enterprises in Large-Scale Open Systems (Abstract)

Ricardo J. Rabelo , Department of Automation and Systems (DAS)
R?mulo S. Oliveira , Department of Automation and Systems (DAS)
Joni Fraga , Department of Automation and Systems (DAS)
Carlos B. Montez , Department of Automation and Systems (DAS)
Frank Siqueira , Department of Informatics and Statistics (INE)
pp. 242

Middleware Support for Embedded Software with Multiple QoS Properties for Ubiquitous Computing Environments (Abstract)

Yu Wang , Arizona State University
Dazhi Huang , Arizona State University
Stephen S. Yau , Arizona State University
pp. 250
Multicast and Group Communication

null (PDF)

pp. null

Middleware Support for Multicast-based Data Dissemination: A Working Reality (Abstract)

Kirk Pruh , University of Pittsburgh
Vincenzo Liberatore , Case Western Reserve University
Panos K. Chrysanthis , University of Pittsburgh
pp. 265

An Efficient Real-time Multicast Protocol RFRM (Abstract)

J. H. No , Dongguk University
Y. S. Hong , Dongguk University
pp. 273
Case Studies and Practical Experiences

null (PDF)

pp. null

Compliant Control and Software Agents for Internet Robotics (Abstract)

V. Liberatore , Case Western Reserve University
W. S. Newman , Case Western Reserve University
A. Al-Hammouri , Case Western Reserve University
M. Kose , Case Western Reserve University
D. Rosas , Case Western Reserve University
A. Covitch , Case Western Reserve University
pp. 280

Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience (Abstract)

P. Periorellis , University of Newcastle upon Tyne - UK
A. Romanovsky , University of Newcastle upon Tyne - UK
A.F. Zorzo , Pontifical Catholic University of RS - Brazil
pp. 288
Data Dissemination and Communication

null (PDF)

pp. null

Modelling Publish/Subscribe Communication Systems: Towards a Formal Approach (Abstract)

M. Contenti , Universita di Roma "La Sapienza"
R. Baldoni , Universita di Roma "La Sapienza"
A. Virgillito , Universita di Roma "La Sapienza"
S. Tucci Piergiovanni , Universita di Roma "La Sapienza"
pp. 304

An Interactive Object Based Multimedia System for IP Networks (Abstract)

Magda El Zarki , UC Irvine, Irvine, CA 92697
Xiaoping Wei , UC Irvine, Irvine, CA 92697
Liang Cheng , UC Irvine, Irvine, CA 92697
Haining Liu , UC Irvine, Irvine, CA 92697
pp. 312
Author Index

Author Index (PDF)

pp. 319
103 ms
(Ver 3.1 (10032016))