The Community for Technology Leaders
RSS Icon
Subscribe
Engineering of Complex Computer Systems, IEEE International Conference on (2004)
Florence, Italy
Apr. 14, 2004 to Apr. 16, 2004
ISBN: 0-7695-2109-6
TABLE OF CONTENTS
Introduction
pp. viii-ix
Keynote Address
Manfred Broy , Technische Universit?t M?nchen
pp. 3-12
Panel
Session: Security
O. C. Idowu , University of Newcastle upon Tyne
S. J. Lynden , University of Newcastle upon Tyne
M. P. Young , University of Newcastle upon Tyne
P. Andras , University of Newcastle upon Tyne
pp. 29-36
Session: Networks
Vilgot Claesson , Technical University Darmstadt
Neeraj Suri , Technical University Darmstadt
pp. 39-46
Session: Validation
Max Ong , University of Sheffield
Geoffrey Allan , University of Sheffield
Xiaoxu Ren , University of Sheffield
Haydn Thompson , University of Sheffield and Rolls-Royce University Technology Centre in Control and Systems Engineering
Peter Fleming , University of Sheffield and Rolls-Royce University Technology Centre in Control and Systems Engineering
pp. 59-65
Jay Farrell , University of California at Riverside
Marios Polycarpou , University of Cypress
pp. 66-74
Session: Formal Specification
Michael Poppleton , University of Southampton
Richard Banach , Department of Computer Science
pp. 87-96
Kenji Taguchi , University of Bradford
Jin Song Dong , National University of Singapore
Gabriel Ciobanu , Romanian Academy
pp. 97-106
Session: Tools
Jonas Vasell , Halmstad University
P. Mattias Weckst? , Halmstad University
pp. 119-127
Robert B. France , Colorado State University
Doris L. Carver , Louisiana State University
pp. 128-137
D. Woit , Ryerson University
M. Fan , Ryerson University
pp. 138-146
Session: Managing Complexity
Paul Robertson , Dynamic Object Language Labs
pp. 149-158
Session: Case Studies
R. M. Marks , University of Ulster
F. G. Wilkie , University of Ulster
pp. 161-170
Paolo Donzelli , University of Maryland at College Park
Paolo Bresciani , ITC-irst
pp. 171-180
Gianluca Ripa , CEFRIEL - Politecnico di Milano
Emma Tracanella , CEFRIEL - Politecnico di Milano
Vieri Del Bianco , CEFRIEL - Politecnico di Milano
pp. 181-190
Zailin Guan , Huazhong University of Science and Technology
Tao Cheng , Huazhong University of Science and Technology
Bo Wu , Huazhong University of Science and Technology
Shuzi Yang , Huazhong University of Science and Technology
pp. 191-198
George K. Adam , Technological Educational Institute of Larissa
pp. 207-212
M. Monsignori , EXITECH
L. Braccesi , Universit? degli Studi di Firenze
pp. 213-222
Francisco J. Barrientos Garc? , CARTIF - Centro de Automatizaci?
Isaac Garc?a Incertis , CARTIF - Centro de Automatizaci?
F?lix Miguel Trespaderne , University of Valladolid
Eusebio de la Fuente L?pez , University of Valladolid
Jos? R. Per?n Gonz?lez , CARTIF - Centro de Automatizaci?
pp. 223-227
Session: Burning Problems
Walt Truszkowski , NASA GSFC
Mike Hinchey , NASA GSFC
pp. 231-238
Boby George , Virginia Tech
Ruben Prieto-Diaz , James Madison University
pp. 239-248
Author Index
Author Index (PDF)
pp. 259
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool