Session I: Distributed Object Systems

• 
  Ashish Shah, Dennis G. Kafura: Symphony: A Java-Based Composition and Manipulation Framework for Distributed Legacy Resources. 2-12
• 
  Jianjun Zhao: Multithreaded Dependence Graphs for Concurrent Java Programs. 13-23
• 
  Hwan Wook Sohn, David Chenho Kung, Pei Hsia: State-Based Reproducible Testing for CORBA Applications. 24-

Session II: Analysis

• 
  Maximilian Frey, Markus Podolsky: Specifying and Analyzing Distributed Object-Oriented Systems. 38-51
• 
  Lynette I. Millett, Tim Teitelbaum: Channel Dependence Analysis for Slicing Promela. 52-61
• 
  Jun Zhou, Kuo-Chung Tai: Deadlock Analysis of Synchronous Message-Passing Programs. 62-

Session III: Validation

• 
  In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee: Testing of Concurrent Programs Based on Message Sequence Charts. 72-82
• 
  Péter Kacsuk: Systematic Debugging of Parallel Programs Based on Collective Breakpoints. 83-96
• 
  Bengi Karaçali, Kuo-Chung Tai: Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs. 97-

Session IV: Applications and Methods

• 
  Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca: Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks. 110-123
• 
  Per H. Andersen, Joseph Pizzi, Runlin Zhu, Youling Cao, Donald J. Bagert, John K. Antonio, Fred Lott, John C. Grieger: Evaluation of a Methodology for the Reverse Engineering and Parallelization of Sequential Code. 124-133
• 
  Michael Gunzert, Andreas Nägele: Component-Based Development and Verification of Safety Critical Software for a Brake-by-Wire System with Synchronous Software Components. 134-

Session V: Tools

• 
  Petr Kroha, Jörg Lindner: Parallel Object Server as a Data Repository for CASE Tools. 148-155
• 
  Michael Goedicke, Torsten Meyer: Web-Based Tool Support for Dynamic Management of Distribution and Parallelism in Integrating Architecture Design and Performance Evaluation. 156-

Session VI: Applications

• 
  Günther Rackl, Filippo de Stefani, Francois Héran, Antonello Pasquarelli, Thomas Ludwig: Distributed Airport Simulation Using CORBA and DIS. 166-173
• 
  Marco Cremonini, Andrea Omicini, Franco Zambonelli: Building Mobile Agent Applications in HiMAT. 174-181
• 
  Phong Tran: An Architecture for a Distributed System for Product Engineering Lifecycle Support. 182-

Session VII: Positional

• 
  Reza Nekovei: Data Interoperability via Surrogate API Libraries. 190-196
• 
  Xiaoshan Li: Specification and Simulation of a Concurrent Real-Time System. 197-204
• 
  Chris Rudram, Peter R. Croll, Naoshi Uchihira: Building Test Cases for Use in Hypersequential Programming. 205-209
• 
  Ian Gorton, Anna Liu: Evaluating Object Transactional Monitors with OrbixOTM. 210-216
• 
  Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio: A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. 217-223

last updated on Fri May 24 05:21:33 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page