| 2004 | 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 14-16 April 2004, Florence, Italy |
| 2004 | A CORBA-Based Multi-Agent System Integration Framework. Tao Cheng, Zailin Guan, Liming Liu, Bo Wu, Shuzi Yang |
| 2004 | A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages. Tommaso Bolognesi |
| 2004 | A Web-Based Infrastructure for the Management of Semantic Meta-Data. Vieri Del Bianco, Gianluca Ripa, Emma Tracanella, Luigi Lavazza |
| 2004 | An Investigation of the Approach to Specification-Based Program Review through Case Studies. Fumiko Nagoya, Shaoying Liu, Yuting Chen |
| 2004 | Architecture Driven Modeling in Software Development. Manfred Broy |
| 2004 | Dealing with Complex Networks of Process Interactions: A Security Measure. Panayiotis Periorellis, Olusola C. Idowu, Steven J. Lynden, Malcolm P. Young, Péter András |
| 2004 | Design of a Microprocessor-Based Control System of a Compression Molding Process. George K. Adam |
| 2004 | Domain Visualization for Dealing with Complex Information Systems . Paolo Donzelli, Paolo Bresciani |
| 2004 | Enterprise Information Systems Configuration: Emphasizing the Symbiotic Relationship between Applications and the Underlying Network. Mara Nikolaidou, Dimosthenis Anagnostopoulos |
| 2004 | Formal Test-Case Generation for UML Statecharts. Stefania Gnesi, Diego Latella, Mieke Massink |
| 2004 | Independence Transformations and Tools for Components. Denise M. Woit, M. Fan |
| 2004 | Integrated Fault Diagnostics on the Grid. Xiaoxu Ren, Max Ong, Geoffrey Allan, Visakan Kadirkamanathan, Haydn A. Thompson, Peter J. Fleming |
| 2004 | Major Threat: From Formal Methods without Tools to Tools without Formal Methods. Bernhard Steffen |
| 2004 | Modeling Complex Systems by Separating Application and Security Concerns. Hassan Gomaa, Michael Eonsuk Shin |
| 2004 | Monitoring and Optimizing Industrial Production Processes. L. Braccesi, Massimo Monsignori, Paolo Nesi |
| 2004 | Muse over University Organisational Ecology in Action and Service-Oriented Architectures. Sita Ramakrishnan, Ashley Cambrell |
| 2004 | Relating pi-calculus to Object-Z. Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu |
| 2004 | Requirements Validation by Lifting Retrenchments in B. Michael Poppleton, Richard Banach |
| 2004 | Robust On-Line Approximation Control of Uncertain Nonlinear Systems Subject to Constraints. Marios M. Polycarpou, Jay A. Farrell, Manu Sharma |
| 2004 | Software Information Leaks: A Complexity Perspective. Boby George, Shawn A. Bohner, Rubén Prieto Díaz |
| 2004 | Supporting Rigorous Evolution of UML Models. Sheena R. Judson, Robert B. France, Doris L. Carver |
| 2004 | System for the Production Control and Automatic Packaging of Plastic Air Sleeve Guides. Francisco J. Barrientos García, Isaac García Incertis, Félix Miguel Trespaderne, Eusebio de la Fuente López, José Ramón Perán González |
| 2004 | TTET: Event-Triggered Channels on a Time-Triggered Base. Vilgot Claesson, Neeraj Suri |
| 2004 | Towards a Tool for Derivation of Implementation Constraints. P. Mattias Weckstén, Jonas Vasell, Magnus Jonsson |
| 2004 | Using Contexts to Manage System Complexity. Paul Robertson, Robert Laddaga |
| 2004 | Verification of NASA Emergent Systems. Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey |
| 2004 | Visualising Object-Oriented Source Code Complexity Using XML. R. M. Marks, F. George Wilkie |