The Community for Technology Leaders
RSS Icon
Subscribe
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (1997)
Washington, DC
Aug. 11, 1997 to Aug. 12, 1997
ISBN: 0-8186-7971-9
TABLE OF CONTENTS
Reviewers (PDF)
pp. xii
Plenary Session
pp. null
Keynote Address
Paper Session 1
Invited Speaker Session 1
Wei-Tek Tsai , Cardiac Pacemakers Inc., Guidant Corporation,
Ramin Mojdehbakhsh , Cardiac Pacemakers Inc., Guidant Corporation,
Sanjai Rayadurgam , University of Minnesota
pp. 0032
Panel Session 1
Paper Session 2
Insup Lee , University of Pennsylvania
Oleg Sokolsky , University of Pennsylvania
pp. 0042
Carol L. Hoover , Carnegie Mellon University
Pradeep K. Khosla , Carnegie Mellon University
pp. 0048
Paper Session 3
Myong H. Kang , Naval Research Laboratory
Andrew P. Moore , Naval Research Laboratory
Ira S. Moskowitz , Naval Research Laboratory
pp. 0064
Gilberto Matos , University of Maryland
James Purtilo , University of Maryland
Elizabeth White , George Mason University
pp. 0072
A. Bondavalli , CNUCE/CNR
I. Mura , University of Pisa, Italy
M. Nelli , PDCC - Consorzio Pisa Ricerche, Pisa, Italy
pp. 0085
State-Of-The-Art Session 1
Open Discussion Session
Short Paper Session 1
pp. null
M. Dal Cin , University of Erlangen-Nuernberg
pp. 0094
Minsoon Kweon , Konkuk University
Soomyung Park , Konkuk University
Sangjin Joung , Konkuk University
Sunyoung Han , Konkuk University
Moon Hae Kim , Konkuk University
pp. 0100
F. Maurice , Universit? Paul Sabatier, bat 1R1 IRIT/SIERA
A. Benzekri , Universit? Paul Sabatier, bat 1R1 IRIT/SIERA
Y. Raynaud , Universit? Paul Sabatier, bat 1R1 IRIT/SIERA
pp. 0108
Short Paper Session 2
pp. null
Edgar Nett , German National Research Center for Information Technology
Michael Mock , German National Research Center for Information Technology
pp. 0124
Keynote Address
Paper Session 4
Rob Sumners , University of Texas at Austin
Jacob Abraham , University of Texas at Austin
pp. 0134
T.M. Khoshgoftaar , Florida Atlantic University
E.B. Allen , Florida Atlantic University
R. Halstead , Northrop Grumman
G. Trio , Northrop Grumman
R. Flass , Northrop Grumman
pp. 0155
Invited Speaker Session 2
Panel Session 2
Paper Session 5
Jeffrey J.P. Tsai , University of Illinois at Chicago
Eric Y.T. Juan , University of Illinois at Chicago
pp. 0188
Saurav Chatterjee , SRI International
Jerry Sydir , SRI International
Bikash Sabata , SRI International
Thomas Lawrence , Rome Laboratory
pp. 0194
Paper Session 6
Mehrdad Hassani , University of Maryland, College Park
David B. Stewart , University of Maryland, College Park
pp. 0215
Guillem Bernat , Universitat de les Illes Balears
Jose Miro-Julia , Universitat de les Illes Balears
Julian Proenza , Universitat de les Illes Balears
pp. 0221
State-Of-The-Art Session 2
pp. 0227
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool