The Community for Technology Leaders
RSS Icon
Subscribe
Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on (1997)
Newport Beach, CA
Feb. 5, 1997 to Feb. 7, 1997
ISBN: 0-8186-8046-6
TABLE OF CONTENTS
Early Bird Session I: Session Chair: A. Bondavalli
Guillermo A. Alvarez , University of California, San Diego
Flaviu Cristian , University of California, San Diego
pp. 2
Katsuya Tanaka , Tokyo Denki University
Hiroaki Higaki , Tokyo Denki University
Makoto Takizawa , Tokyo Denki University
pp. 9
T. Wang , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
P.C.-Y. Sheu , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
Soochan Hwang , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 17
Early Bird Session II: Session Co-Chairs: T. Dillon and C. Nguyen
Jin Song Dong , Div. of Inf. Technol., CSIRO, Canberra, ACT, Australia
Lin Zucconi , Div. of Inf. Technol., CSIRO, Canberra, ACT, Australia
pp. 26
K.H. Kim , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
L. Bacellar , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 32
Ann T. Tai , SoHaR Incorporated
Herbert Hecht , SoHaR Incorporated
Savio N. Chau , Jet Propulsion Laboratory
Leon Alkalaj , Jet Propulsion Laboratory
pp. 40
Moon Hae Kim , Konkuk University
Yong-Woo Park , Konkuk University
Seung-Min Yang , Soongsil University
Jong-Kook Park , Power Systems Lab., LG Industrial Systems Co., Ltd.
pp. 48
Paper Session I Models/Language I: Session Chair: R. Paul
Dieter K. Hammer , Eindhoven University of Technology, The Netherlands
pp. 57
B. Selic , ObjecTime Ltd., Kanata, Ont., Canada
pp. 66
Andrew A. Hanish , La Trobe University
Tharam S. Dillon , La Trobe University
pp. 74
Martin Gergeleit , German National Research Center for Information Technology
Michael Mock , German National Research Center for Information Technology
Edgar Nett , German National Research Center for Information Technology
John Reumann , German National Research Center for Information Technology
pp. 83
Paper Session II Operating Systems/Architecture I: Session Chair: H. Hecht
Bikash Sabata , SRI International
Saurav Chatterjee , SRI International
Michael Davis , SRI International
Jaroslaw J. Sydir , SRI International
Thomas F. Lawrence , Rome Laboratory
pp. 100
Ludovic Rousseau , Centre d'Etudes et De Recherche en Informatique du C.N.A.M.
Stephane Natkin , Centre d'Etudes et De Recherche en Informatique du C.N.A.M.
pp. 108
Paper Session III System Engineering I: Session Chair: L. Zucconi
M.D. Gates , Mitre Corp., Bedford, MA, USA
P.C. Krupp , Mitre Corp., Bedford, MA, USA
J.A. Maurer , Mitre Corp., Bedford, MA, USA
M.A. Squadrito , Mitre Corp., Bedford, MA, USA
B.M. Thuraisingham , Mitre Corp., Bedford, MA, USA
T.M. Wheeler , Mitre Corp., Bedford, MA, USA
pp. 117
Victoria Hilford , University of Houston
Michael R. Lyu , University of Houston
Bojan Cukic , University of Houston
Anouar Jamoussi , University of Houston
Farokh B. Bastani , University of Houston
pp. 129
L. Motus , Tallinn Technical University
T. Naks , Tallinn Technical University
pp. 137
Parallel Paper Session IV.1 Models/Language II: Session Chair: D. Hammer
J. Hooman , Dept. of Comput. Sci., Eindhoven Univ. of Technol., Netherlands
O. van Roosmalen , Dept. of Comput. Sci., Eindhoven Univ. of Technol., Netherlands
pp. 153
K. Ramamritham , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 161
Yamin Wang , University of Minnesota, Minneapolis, MN
Ramakrishna V. Vishnuvajjala , University of Minnesota, Minneapolis, MN
Wei-Tek Tsai , University of Minnesota, Minneapolis, MN
pp. 163
Parallel Paper Session IV.2 Operating Systems/Architecture II: Session Chair: C. Pereira
Leyuan Shi , University of Wisconsin-Madison
Phillip Q. Hwang , National Imagery and Mapping Agency
pp. 172
Ray Paul , Testing & Evaluation, 3000 Pentagon, Purdue University
M. Farrukh Khan , Testing & Evaluation, 3000 Pentagon, Purdue University
Shahab Baqai , School of Electrical & Computer Engineering, Purdue University
Arif Ghafoor , School of Electrical & Computer Engineering, Purdue University
pp. 177
Orlando Loques , Universidade Federal Fluminense
Rodrigo A. Botafogo , Universidade Federal Fluminense
Julius Leite , Universidade Federal Fluminense
pp. 185
V. Shah , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
S. Sanyal , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
S. Bhattacharya , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 190
Paper Session V System Validation and Verification: Session Chair: M. Raynal
D. Clarke , Dept. of Comput. Sci., Kentucky Univ., Lexington, KY, USA
I. Lee , Dept. of Comput. Sci., Kentucky Univ., Lexington, KY, USA
pp. 199
P. Laurencot , Universite de Bordeaux I
R. castanet , Universite de Bordeaux I
pp. 207
Jeffrey J P Tsai , University of Illinois at Chicago
A. P. Sistla , University of Illinois at Chicago
Avinash Sahay , University of Illinois at Chicago
Ray Paul , Testing and Evaluation, 300 Pentagon, Washington, DC 20301
pp. 215
Parallel Paper Session VI.1 Models/Language III: Session Chair: S. Son
David C. Kung , The Univ. of Texas at Arlington
John Lin , The Univ. of Texas at Arlington
Pei Hsia , The Univ. of Texas at Arlington
Bill Carroll , The Univ. of Texas at Arlington
pp. 224
Jan Bosch , University of Karlskrona/Ronneby
Peter Molin , University of Karlskrona/Ronneby
pp. 232
Joni Fraga , Universidade Federal de Santa Catarina
Jean-Marie Farines , Universidade Federal de Santa Catarina
Olinto Furtado , Universidade Federal de Santa Catarina
pp. 240
Parallel Paper Session VI.2 - Applications: Session Chair: I. Lee
A. Sangjoon , Dept. of Comput. Eng., Konkuk Univ., Seoul, South Korea
Seungro Lee , Dept. of Comput. Eng., Konkuk Univ., Seoul, South Korea
Dongman Lee , Dept. of Comput. Eng., Konkuk Univ., Seoul, South Korea
Sunyoung Han , Dept. of Comput. Eng., Konkuk Univ., Seoul, South Korea
pp. 249
Eun Mi Kim , Dept. of Inf. & Math. Sci., Osaka Univ., Japan
S. Kusumoto , Dept. of Inf. & Math. Sci., Osaka Univ., Japan
T. Tsuchiya , Dept. of Inf. & Math. Sci., Osaka Univ., Japan
T. Kikuno , Dept. of Inf. & Math. Sci., Osaka Univ., Japan
pp. 256
Panel Session: Selecting Quality of Service in a Heterogeneous Environment: Bandwidth, Security, Fault Tolerance and Real-Time Behavior: Chair/Moderator: R. Soley: Panelists: P. Krupp, P. Melliar-Smit
P. M. Melliar-Smith , University of California, Santa Barbara
L. E. Moser , University of California, Santa Barbara
P. Narasimhan , University of California, Santa Barbara
pp. 272
E. Nett , German National Research Center for Information Technology (GMD)
pp. 275
Paper Session VII Dependability and Fault Tolerance: Session Chair: K. Ramamritham
Eltefaat Shokri , SoHaR Incorporated
Herbert Hecht , SoHaR Incorporated
Patrick Crane , SoHaR Incorporated
Jerry Dussault , Rome Laboratory, USAF
K. H. (Kane) Kim , University of California, Irvine
pp. 298
L. E. Moser , University of California, Santa Barbara
P. M. Melliar-Smith , University of California, Santa Barbara
E. Thomopoulos , University of California, Santa Barbara
pp. 306
Paper Session VIII Communication: Session Chair: W. Tsai
Takayuki Tachikawa , Tokyo Denki University
Makoto Takizawa , Tokyo Denki University
pp. 315
S. E. Mitchell , University of York
A. Burns , University of York
A. J. Wellings , University of York
pp. 323
Paper Session IX System Engineering II: Session Chair: K. Kikuno
C.M. Nguyen , Adv. Syst. Technol. Branch, Naval Surface Warfare Center, Dahlgren, VA, USA
K.H. Kim , Adv. Syst. Technol. Branch, Naval Surface Warfare Center, Dahlgren, VA, USA
pp. 332
Jung-Guk Kim , Hankuk Univ. of Foreign Studies, Korea
Jin Pyo Hong , Hankuk Univ. of Foreign Studies, Korea
Byoung-Joon Min , University of Inchon, Korea
Moon Hae Kim , Konkuk University, Korea
pp. 347
pp. 355
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool