![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
11th 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
Keynote Speaker
- José Luiz Fiadeiro:
Physiological vs. Social Complexity in Software Design. 3
Software Experiences
- Reinhard Klemm:
Efficient Dynamic Multikeys in Enterprise JavaBeans. 7-16 - Jane Huffman Hayes, Inies C. M. Raphael, Elizabeth Ashlee Holbrook, David M. Pruett:
A Case History of International Space Station Requirement Faul. 17-26 - Jing Liu, Jifeng He:
Reactive Component based Service-Oriented Design - A Case Study. 27-36 - Magnus E. Larsson, Phillip A. Laplante:
On the Complexity of Design in Imaging Software. 37-46
Requirements Engineering
- Dae-Kyoo Kim, Lunjin Lu:
Inference of Design Pattern Instances in UML models via Logic Programming. 47-56 - Joshua J. Pauli, Dianxiang Xu:
Integrating Functional and Security Requirements with Use Case Decomposition. 57-66 - Xiaoshan Li:
A Characterization of UML Diagrams and their Consistency. 67-76 - Mara Nikolaidou, Anargyros Tsadimas, Nancy Alexopoulou, Alexandros Dais, Dimosthenis Anagnostopoulos:
A UML Profile utilizing Enterprise Information System Configuration. 77-88
Invited Session: Objects and Communication
- Susan Stepney, Fiona Polack, Heather R. Turner:
Engineering Emergence. 89-97 - Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock
:
A Layered Behavioural Model of Platelets. 98-106 - Peter H. Welch, Fred R. M. Barnes, Fiona Polack:
Communicating Complex Systems. 107-120
Hardware and Software
- Yuting Chen, Shaoying Liu, Fumiko Nagoya:
A Tool-Supported Review Approach to Detecting Structural Consistency Violations. 121-130 - Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi:
Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. 131-138 - Huibiao Zhu, Jifeng He, Jonathan P. Bowen:
From Algebraic Semantics to Denotational Semantics for Verilog. 139-151 - Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora:
Formal Specification-based Online Monitoring. 152-162
Invited Session: Autonomous and Autonomic Systems
- Roy Sterritt, Michael G. Hinchey:
Biologically-Inspired Concepts for Self-Management of Complexity. 163-168 - Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen:
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. 169-176 - Ray Walshe:
Modelling Bacterial Growth Patterns in the presence of Antibiotic. 177-188
System Verification
- Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu:
A Type System for the Relational Calculus of Object Systems. 189-198 - Milos Besta, Frank A. Stomp:
An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. 199-208 - Duoduo Liao:
A Real-time High-fidelity Driving Simulator System Based on PC Clusters. 209-216
Distributed Systems
- Gregory M. Provan:
Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure. 217-226 - Jovan Cakic, Richard F. Paige:
Origins of the Grid Architectural Style. 227-235 - Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi:
A GRID based Framework and tools for automating production of cross media content. 236-248
Invited Session: Z: The Next Generation
- Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton:
On the Generation of Object Databases using Booster. 249-258 - David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira:
Automation of Java Card component development using the B method. 259-268 - Ana Cavalcanti, Phil Clayton:
Verification of Control Systems using Circus. 269-278 - Norman F. Schneidewind:
Reliability - Security Model. 279-288
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.