Preliminary List of Presentations Scheduled for WORDS ’97, Feb. 5 (3pm) ~ 7, 1997 Title Presenter & co- Affiliation authors =============================================================== Real-Time Dependable - Michel RAYNAL IRISA, France Decisions in Timed Asynchronous Distributed Systems --------------------------------------------------------------- Taxonomy for QoS - Bikash Sabata SRI International Specifications - Saurav Information, CA Chatterjee - Michael Davis - Jaroslaw J. Sydir - Thomas F. Rome Laboratory, Lawrence New York --------------------------------------------------------------- Developing a Real-time - S. E. Mitchell University of Metaobject Protocol - A. J. Wellings York, UK. - A. Burns --------------------------------------------------------------- A Framework for Real- - Juha Taina University of Time Object-Oriented - Sang Son Virginia, VA Database Model --------------------------------------------------------------- Applying Object- - Carlos Eduardo Federal Oriented Concepts to Pereira University of Rio the Development of Real- Grande do Sul, Time Industrial Brazil Automation Systems --------------------------------------------------------------- Process-Oriented - Dieter K. Hammer Eindhoven Development of Embedded University of Systems: Modeling Technology, The Behavior and Netherlands Dependability --------------------------------------------------------------- Object Techonogy for - Michael D. Gates The MITRE the Integration of the - Peter C. Krupp Corporation, MA Infrastructure, Data - John A. Maurer Manager, and Tracker - Michael A. for Command and Control Squadrito Applications - Bhavani M.Thuraisingham - Thomas M. Wheeler --------------------------------------------------------------- Object-Oriented - Andrew A. Hanish La Trobe Behaviour Modelling for - Tharam S. Dillon University, Real-Time Design Australia --------------------------------------------------------------- A Framework for - Bran Selic ObjectTime Location Transparency Limited, Canada in Distributed Systems --------------------------------------------------------------- A Configuration - Orlando Loques Universidade Approach for - Rodrigo A. Federal Distributed Object- Botafogo Fluminense, Oriented System - Julius Leite Brazil Customization --------------------------------------------------------------- An Approach for - Eltefaat Shokri SoHaR Inc., CA Adaptive Fault- - Herbet Hecht Tolerance in Object- - Jerry Dussault Oriented Open - Kane Kim University of Distributed Systems - Patric Crane California, Irvine, CA --------------------------------------------------------------- RTR Model: An Approach - Joni Fraga Universidade for Dealing With Real- - Jean-Marie Federal de Santa Time Programming in Farines Catarina Cx. Open Distributed - Olinto Furtado Brazil Systems --------------------------------------------------------------- Timed-Event Abstraction - Josef Hooman Eindhoven and Timing Constraints - Onno van University of in Distributed Real- Roosmalen Technology, The Time Programming Netherlands --------------------------------------------------------------- Integrating Time-Aware - M. Gergeleit German National COBRA Objects into O-O - E. Nett Research Center Real-Time COmputations for Information Technology (GMD), Germany --------------------------------------------------------------- Incremental - Jeffrey J P Tsai University of Verification Of - Avinash Sahay Illinois at Architecture - Ray Paul Chicago, IL Specification Language For Real-Time Systems --------------------------------------------------------------- An Object-Oriented SNMR - I-Ling Yen Michigan State Framework for University, MI Dependable Systems --------------------------------------------------------------- Formal Timing Analysis - Leo Motus TTU, Estonia of OMT designs using LIMITS --------------------------------------------------------------- Sequence Specification - Yamin Wang University of for Concurrent Object- - Ramakrishna V. Minnesota, MN Oriented Applications Vishnuvajjala - Wei-Tek Tsai --------------------------------------------------------------- Value-Driven Resource - Andrea CNUCE/CNR, Italy Assignment in Object- Bondavalli IEI/CNR, Italy Oriented Real-Time - Felicita Di University of Dependable Systems iandomenico Pisa, Italy - Ivan Mura --------------------------------------------------------------- Asynchronous Recovery - Hiroaki Higaki Tokyo Denki in Distributed Objects - Katsuya Tanaka University, Japan - Makoto Takizawa --------------------------------------------------------------- A Framework for Adding - Jin Song Dong CSIRO Division of Time into Formal Object - Lin Zucconi Information Models Technology, Australia --------------------------------------------------------------- Integration of time in - Laurencot, P. Universite canonical testers for - Castanet, R. Bordeaux I, real-time systems FRANCE --------------------------------------------------------------- A Framework of Secure - Ludovic-Rousseau CEDRIC/CNAM, Object System - Stéphane Natkin France Architecture --------------------------------------------------------------- Object-Based Message - Takayuki Tokyo Denki Ordering in Group Tachikawa University, Japan Communication - Makoto Takizawa --------------------------------------------------------------- An Architecture for a - Sangjoon Ahn Konkuk Tightly Coupled - Seungro Lee University, Korea Conferencing System - Dongman Lee - Sunyoung Han --------------------------------------------------------------- A Model for a Flexible - Jan Bosch University of and Predictable Object- - Peter Molin Karlskrona, Oriented Real-Time Sweden System --------------------------------------------------------------- Architecture of an - Nobuhiro Kataoka Mitsubishi Autonomous Distributed - Hisao Koizumi Electric System and - Hideaki Simizu Corporation, Verification of Japan Implementation as a Logistics Information Management System --------------------------------------------------------------- Safety verification - Eun Mi Kim Osaka University, method for object- - Shinji Kusumoto Japan oriented design - Tatsuhiro specification - Case Tsuchiya study for a control - Tohru Kikuno program - (Tentative) --------------------------------------------------------------- Data Scope Complexity - Chi-Ming Chung Tamkang Measurement for Object- - Timothy K. Shih University, Oriented Software - Ying-Hong Wang Taiwan - Ying-Hong Kuo - Wei-Chuan Lin --------------------------------------------------------------- Cesium: Testing Hard - Guillermo A. University of Real-time and Alvarez California, San Dependability - Flaviu Cristian Diego, CA Properties of Distributed Protocols --------------------------------------------------------------- Agent communication - Ryozo Kishimoto NTT, Japan network for multimedia communication services --------------------------------------------------------------- An Object-Oriented, - Taehyung Wang University of Real-Time Shadow - Phillip C.-Y. California, Generation Algorithm Sheu Irvine, CA - Soochan Hwang --------------------------------------------------------------- Object-Oriented Real - David C. Kung Univ. of Texas at Time Systems Modeling - John Lin Arlington, TX and Verification - Pei Hsia --------------------------------------------------------------- On-Board Preventive - Ann T. Tai SoHaR Inc., CA Maintenace: Analysis of - Savio N. Chau Jet Propulsion Effectiveness and - Leon Alkalaj Laboratory, CA Optimal Duty Period - Herbert Hecht --------------------------------------------------------------- Deadlocks in Fully - Viral Shah Arizona State Uncoordinated - Sandeepan Sanyal University, AZ Checkpointing Rollback - Sourav Recovery Systems Bhattacharya --------------------------------------------------------------- Toward Cost Reduction - Cuong M. Nguyen Naval Surface in Operation and Warfare Center, Maintenance of Complex VA Real-Time Defense Systems Via Optimal Allocation of Human- Function Resource --------------------------------------------------------------- Diversity in the - Victoria Hilford University of Software Development - Michael R. Lyu Houston, TX Process - Bojan Cukic - Anouar Jamoussi - Farokh B. Bastani --------------------------------------------------------------- Multimedia Service - Jung-Guk Kim HUFS, Korea Object Modeling - Jin-Pyo Hong - Byoung-Joon Min University of - Moon Hae Kim Inchon, Korea Konkuk University, Korea --------------------------------------------------------------- Modeling of a Highly - Moon Hae Kim Konkuk Reliable Real-Time - Yong-Woo Park University, Korea Distributed System - Seung-Min Yang using the RTO.k Model Soongsil and the Monitor Objects University, Korea --------------------------------------------------------------- Time-Bounded - Kane Kim University of Cooperative Recovery - Luiz Bacellar California, with the Distributed Irvine, CA Real-Time Conversation United Scheme Technologies Research Center, CT --------------------------------------------------------------- Probabilistic Analysis - L. E. Moser University of of Real-Time Dependable - P. M. Melliar- California, Santa Systems Smith Barbara, CA ===============================================================