CSDL - Proceedings W

PDF

Conference Organization (PDF)

pp. x

PDF

Fault Tolerant Systems

null

Event-Driven Support of Real-Time Sentient Objects (Abstract)

Paulo Ver?ssimo

Antonio Casimiro, Univ. of Lisboa

pp. 2

PDF

Operating System Supports to Enhance Fault Tolerance of Real-Time Systems (Abstract)

Yukikazu Nakamoto, NEC Networks Development Laboratories

pp. 10

PDF

Asynchrony and Real-Time Dependable Computing (Abstract)

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

pp. 18

PDF

Algorithms for Dependable Hard Real-Time Systems (Abstract)

Peter Puschner, Technische Universitat Wien

pp. 26

PDF

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

PDF

Enhanced Object Models

null

A TMO-Based Software Architecture for Distributed Real-Time Multimedia Processing (Abstract)

Doo-Hyun Kim, Dae-Jeon, Korea

K. H. (Kane) Kim, University of California

pp. 42

PDF

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

PDF

Modeling of a Real-Time Distributed Network Management based onTMN and the TMOModel (Abstract)

Moon Hae Kim, Konkuk University

Sun-Hwa Lim, ETRI

Jung-Guk Kim, HUFS

pp. 56

PDF

Mobile Computing

null

Self\star: A Data-Flow Oriented Component Framework for Pervasive Dependability (Abstract)

Christof FETZER, AT&T Labs - Research

Karin HOGSTEDT, AT&T Labs - Research

pp. 66

PDF

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

PDF

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

PDF

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

PDF

Timing and Execution Analysis

null

Timing Analysis of Optimised Code (Abstract)

Raimund Kirner, Technische Universitat Wien

Peter Puschner, Technische Universitat Wien

pp. 100

PDF

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.

Nerina Bermudoy

pp. 106

PDF

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

PDF

Web Services - "Middleware for Middleware"

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

PDF

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

PDF

Object and Process Migration in .NET (Abstract)

Peter Tr?ger, University of Potsdam, Germany

Andreas Polze, University of Potsdam, Germany

pp. 139

PDF

Configurable Embedded System Support

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

PDF

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

PDF

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

PDF

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

PDF

A Word for Operational Flexibility in Distributed Safety-Critical Systems (Abstract)

Lu?s Almeida, Universidade de Aveiro, Portugal

pp. 177

PDF

Security and Fault Tolerance

null

Security and Middleware (Abstract)

Anders Andersen, University of Troms\emptyset Norway

Gordon Blair, University of Troms\emptyset, Norway

Per Harald Myrvang, University of Troms\emptyset, Norway

Tage Stabell-Kul\emptyset, University of Troms\emptyset, Norway

pp. 186

PDF

The Starfish System: Providing Intrusion Detection and Intrusion Tolerance for Middleware Systems (Abstract)

Kim Potter Kihlstrom, Westmont College

Priya Narasimhan, Carnegie Mellon University

pp. 191

PDF

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

PDF

Quality of Service (QoS)

null

QoS Modeling Language for High Quality Systems (Abstract)

pp. 210

PDF

Handling QoS in a Dynamic Real-Time Environment (Abstract)

pp. 217

PDF

Middleware

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

PDF

A Special Checkpointing Object Method Based Primary-Passive TMO Replication Scheme and Middleware Support (Abstract)

K. H. (Kane) Kim

Yuqing Li, University of California

Jeff (Juqiang) Liu, Wright State University,

pp. 234

PDF

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

PDF

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

PDF

Multicast and Group Communication

null

Group Communication in Distributed Multimedia Objects (Abstract)

pp. 258

PDF

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

PDF

An Efficient Real-time Multicast Protocol RFRM (Abstract)

Y. S. Hong, Dongguk University

J. H. No, Dongguk University

pp. 273

PDF

Case Studies and Practical Experiences

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

PDF

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

PDF

Challenges in Building Scalable Network Centric Real-Time Information Dissemination Systems (Abstract)

Scott Arthur Moody, Boeing Phantom Works

pp. 296

PDF

Data Dissemination and Communication

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

PDF

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

PDF

Author Index

Author Index (PDF)

pp. 319