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)

Paul EZHILCHELVAN , Dept of Computing Science, University of Newcastle, NE1 7RU, UK
Doug PALMER , Dept of Computing Science, University of Newcastle, NE1 7RU, UK
Michel RAYNAL , IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France
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)

D. Cotroneo , Universita degli Studi di Napoli "Federico II"
C.Di Flora , Universita degli Studi di Napoli "Federico II"
S. Russo , 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
Hiro Ishikawa , Waseda University
Daiki Ueno , Waseda University
Makoto Kurahashi , Waseda University
pp. 82

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

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

null (PDF)

pp. null

Timing Analysis of Optimised Code (Abstract)

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

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

Jan Gustafsson , Malardalen University, Vasterras, Sweden.
Bjorn Lisper , 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 Woodman , School of Computing Science, University of Newcastle
Graham Morgan , School of Computing Science, University of Newcastle
Simon Parkin , School of Computing Science, University of Newcastle
pp. 122

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

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

Object and Process Migration in .NET (Abstract)

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

null (PDF)

pp. null

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

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

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

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

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

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

ORB Middleware Evolution for Networked Embedded Systems (Abstract)

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

null (PDF)

pp. null

Security and Middleware (Abstract)

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

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

Sharma P , Department of Computer Science & Engineering, Arizona State University,Tempe, AZ 85287
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
pp. 200
Quality of Service (QoS)

null (PDF)

pp. null
Middleware

null (PDF)

pp. null

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

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

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

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

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

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

null (PDF)

pp. null

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

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

An Efficient Real-time Multicast Protocol RFRM (Abstract)

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

null (PDF)

pp. null

Compliant Control and Software Agents for Internet Robotics (Abstract)

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

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

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

null (PDF)

pp. null

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

R. Baldoni , Universita di Roma "La Sapienza"
M. Contenti , Universita di Roma "La Sapienza"
S. Tucci Piergiovanni , Universita di Roma "La Sapienza"
A. Virgillito , 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
Liang Cheng , UC Irvine, Irvine, CA 92697
Haining Liu , UC Irvine, Irvine, CA 92697
Xiaoping Wei , UC Irvine, Irvine, CA 92697
pp. 312
Author Index

Author Index (PDF)

pp. 319
81 ms
(Ver 3.3 (11022016))