The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (2004)
Florence, Italy
Apr. 14, 2004 to Apr. 16, 2004
ISSN: 1050-4729
ISBN: 0-7695-2109-6
TABLE OF CONTENTS
Introduction
Keynote Address

Architecture Driven Modeling in Software Development (Abstract)

Manfred Broy , Technische Universit?t M?nchen
pp. 3-12
Panel
Session: Security

Modeling Complex Systems by Separating Application and Security Concerns (Abstract)

Michael Eonsuk Shin , Texas Tech University
Hassan Gomaa , George Mason University
pp. 19-28

Dealing with Complex Networks of Process Interactions: A Security Measure (Abstract)

S. J. Lynden , University of Newcastle upon Tyne
P. Periorellis , University of Newcastle upon Tyne
O. C. Idowu , University of Newcastle upon Tyne
P. Andras , University of Newcastle upon Tyne
M. P. Young , University of Newcastle upon Tyne
pp. 29-36
Session: Networks

TT<sup>ET</sup>: Event-Triggered Channels on a Time-Triggered Base (Abstract)

Vilgot Claesson , Technical University Darmstadt
Neeraj Suri , Technical University Darmstadt
pp. 39-46
Session: Validation

Integrated Fault Diagnostics on the Grid (Abstract)

Geoffrey Allan , University of Sheffield
Max Ong , University of Sheffield
Visakan Kadirkamanathan , University of Sheffield and Rolls-Royce University Technology Centre in Control and Systems Engineering
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

Robust On-Line Approximation Control of Uncertain Nonlinear Systems Subject to Constraints (Abstract)

Jay Farrell , University of California at Riverside
Manu Sharma , Barron Associates, Inc.
Marios Polycarpou , University of Cypress
pp. 66-74
Session: Formal Specification

Requirements Validation by Lifting Retrenchments in B (Abstract)

Michael Poppleton , University of Southampton
Richard Banach , Department of Computer Science
pp. 87-96

Relating Π-calculus to Object-Z (Abstract)

Kenji Taguchi , University of Bradford
Jin Song Dong , National University of Singapore
Gabriel Ciobanu , Romanian Academy
pp. 97-106
Session: Tools

Towards a Tool for Derivation of Implementation Constraints (Abstract)

Jonas Vasell , Halmstad University
Magnus Jonsson , Halmstad University
P. Mattias Weckst? , Halmstad University
pp. 119-127

Supporting Rigorous Evolution of UML Models (Abstract)

Doris L. Carver , Louisiana State University
Sheena R. Judson , Louisiana State University
Robert B. France , Colorado State University
pp. 128-137

Independence Transformations and Tools for Components (Abstract)

D. Woit , Ryerson University
M. Fan , Ryerson University
pp. 138-146
Session: Managing Complexity

Using Contexts to Manage System Complexity (Abstract)

Robert Laddaga , Massachusetts Institute of Technology
Paul Robertson , Dynamic Object Language Labs
pp. 149-158
Session: Case Studies

Visualising Object-Oriented Source Code Complexity Using XML (Abstract)

R. M. Marks , University of Ulster
F. G. Wilkie , University of Ulster
pp. 161-170

Domain Visualization for Dealing with Complex Information Systems (Abstract)

Paolo Donzelli , University of Maryland at College Park
Paolo Bresciani , ITC-irst
pp. 171-180

A Web-Based Infrastructure for the Management of Semantic Meta-Data (Abstract)

Gianluca Ripa , CEFRIEL - Politecnico di Milano
Luigi Lavazza , CEFRIEL - Politecnico di Milano
Emma Tracanella , CEFRIEL - Politecnico di Milano
Vieri Del Bianco , CEFRIEL - Politecnico di Milano
pp. 181-190

A CORBA-Based Multi-Agent System Integration Framework (Abstract)

Shuzi Yang , Huazhong University of Science and Technology
Liming Liu , Hong Kong University of Science and Technology
Tao Cheng , Huazhong University of Science and Technology
Bo Wu , Huazhong University of Science and Technology
Zailin Guan , Huazhong University of Science and Technology
pp. 191-198

Design of a Microprocessor-Based Control System of a Compression Molding Process (Abstract)

George K. Adam , Technological Educational Institute of Larissa
pp. 207-212

Monitoring and Optimizing Industrial Production Processes (Abstract)

M. Monsignori , EXITECH
P. Nesi , Universit? degli Studi di Firenze
L. Braccesi , Universit? degli Studi di Firenze
pp. 213-222

System for the Production Control and Automatic Packaging of Plastic Air Sleeve Guides (Abstract)

Francisco J. Barrientos Garc? , CARTIF - Centro de Automatizaci?
Jos? R. Per?n Gonz?lez , CARTIF - Centro de Automatizaci?
F?lix Miguel Trespaderne , University of Valladolid
Eusebio de la Fuente L?pez , University of Valladolid
Isaac Garc?a Incertis , CARTIF - Centro de Automatizaci?
pp. 223-227
Session: Burning Problems

Verification of NASA Emergent Systems (Abstract)

Mike Hinchey , NASA GSFC
Walt Truszkowski , NASA GSFC
James Rash , NASA GSFC
pp. 231-238

Software Information Leaks: A Complexity Perspective (PDF)

Shawn A. Bohner , Virginia Tech
Boby George , Virginia Tech
Ruben Prieto-Diaz , James Madison University
pp. 239-248
Author Index

Author Index (PDF)

pp. 259
40 ms
(Ver )