11. ICECCS 2006: Stanford University, CA, USA

11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA. IEEE Computer Society 2006, ISBN 0-7695-2530-X BibTeX

Keynote Speaker

José Luiz Fiadeiro:
Physiological vs. Social Complexity in Software Design. 3
Electronic Edition (link) BibTeX

Software Experiences

Reinhard Klemm:
Efficient Dynamic Multikeys in Enterprise JavaBeans. 7-16
Electronic Edition (link) BibTeX
Jane Huffman Hayes, Inies C. M. Raphael, Elizabeth Ashlee Holbrook, David M. Pruett:
A Case History of International Space Station Requirement Faul. 17-26
Electronic Edition (link) BibTeX
Jing Liu, Jifeng He:
Reactive Component based Service-Oriented Design - A Case Study. 27-36
Electronic Edition (link) BibTeX
Magnus E. Larsson, Phillip A. Laplante:
On the Complexity of Design in Imaging Software. 37-46
Electronic Edition (link) BibTeX

Requirements Engineering

Dae-Kyoo Kim, Lunjin Lu:
Inference of Design Pattern Instances in UML models via Logic Programming. 47-56
Electronic Edition (link) BibTeX
Joshua J. Pauli, Dianxiang Xu:
Integrating Functional and Security Requirements with Use Case Decomposition. 57-66
Electronic Edition (link) BibTeX
Xiaoshan Li:
A Characterization of UML Diagrams and their Consistency. 67-76
Electronic Edition (link) BibTeX
Mara Nikolaidou, Anargyros Tsadimas, Nancy Alexopoulou, Alexandros Dais, Dimosthenis Anagnostopoulos:
A UML Profile utilizing Enterprise Information System Configuration. 77-88
Electronic Edition (link) BibTeX

Invited Session: Objects and Communication

Susan Stepney, Fiona Polack, Heather R. Turner:
Engineering Emergence. 89-97
Electronic Edition (link) BibTeX
Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock:
A Layered Behavioural Model of Platelets. 98-106
Electronic Edition (link) BibTeX
Peter H. Welch, Fred R. M. Barnes, Fiona Polack:
Communicating Complex Systems. 107-120
Electronic Edition (link) BibTeX

Hardware and Software

Yuting Chen, Shaoying Liu, Fumiko Nagoya:
A Tool-Supported Review Approach to Detecting Structural Consistency Violations. 121-130
Electronic Edition (link) BibTeX
Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi:
Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. 131-138
Electronic Edition (link) BibTeX
Huibiao Zhu, Jifeng He, Jonathan P. Bowen:
From Algebraic Semantics to Denotational Semantics for Verilog. 139-151
Electronic Edition (link) BibTeX
Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora:
Formal Specification-based Online Monitoring. 152-162
Electronic Edition (link) BibTeX

Invited Session: Autonomous and Autonomic Systems

Roy Sterritt, Michael G. Hinchey:
Biologically-Inspired Concepts for Self-Management of Complexity. 163-168
Electronic Edition (link) BibTeX
Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen:
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. 169-176
Electronic Edition (link) BibTeX
Ray Walshe:
Modelling Bacterial Growth Patterns in the presence of Antibiotic. 177-188
Electronic Edition (link) BibTeX

System Verification

Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu:
A Type System for the Relational Calculus of Object Systems. 189-198
Electronic Edition (link) BibTeX
Milos Besta, Frank A. Stomp:
An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. 199-208
Electronic Edition (link) BibTeX
Duoduo Liao:
A Real-time High-fidelity Driving Simulator System Based on PC Clusters. 209-216
Electronic Edition (link) BibTeX

Distributed Systems

Gregory M. Provan:
Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure. 217-226
Electronic Edition (link) BibTeX
Jovan Cakic, Richard F. Paige:
Origins of the Grid Architectural Style. 227-235
Electronic Edition (link) BibTeX
Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi:
A GRID based Framework and tools for automating production of cross media content. 236-248
Electronic Edition (link) BibTeX

Invited Session: Z: The Next Generation

Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton:
On the Generation of Object Databases using Booster. 249-258
Electronic Edition (link) BibTeX
David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira:
Automation of Java Card component development using the B method. 259-268
Electronic Edition (link) BibTeX
Ana Cavalcanti, Phil Clayton:
Verification of Control Systems using Circus. 269-278
Electronic Edition (link) BibTeX
Norman F. Schneidewind:
Reliability - Security Model. 279-288
Electronic Edition (link) BibTeX