Conferences in DBLP

International Conference on Engineering of Complex Computer Systems (iceccs)
2006 (conf/iceccs/2006)

1. José Luiz Fiadeiro
   Physiological vs. Social Complexity in Software Design. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2006, pp:3- [Conf]
   
2. Reinhard Klemm
   Efficient Dynamic Multikeys in Enterprise JavaBeans. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2006, pp:7-16 [Conf]
   
3. Jane Huffman Hayes, Inies C. M. Raphael, Elizabeth Ashlee Holbrook, David M. Pruett
   A Case History of International Space Station Requirement Faul. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2006, pp:17-26 [Conf]
   
4. Jing Liu, Jifeng He
   Reactive Component based Service-Oriented Design - A Case Study. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2006, pp:27-36 [Conf]
   
5. Magnus E. Larsson, Phillip A. Laplante
   On the Complexity of Design in Imaging Software. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2006, pp:37-46 [Conf]
   
6. Dae-Kyoo Kim, Lunjin Lu
   Inference of Design Pattern Instances in UML models via Logic Programming. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2006, pp:47-56 [Conf]
   
7. Joshua J. Pauli, Dianxiang Xu
   Integrating Functional and Security Requirements with Use Case Decomposition. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2006, pp:57-66 [Conf]
   
8. Xiaoshan Li
   A Characterization of UML Diagrams and their Consistency. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2006, pp:67-76 [Conf]
   
9. Mara Nikolaidou, A. Tsadimas, Nancy Alexopoulou, A. Dais, Dimosthenis Anagnostopoulos
   A UML Profile utilizing Enterprise Information System Configuration. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2006, pp:77-88 [Conf]
   
10. Susan Stepney, Fiona Polack, Heather R. Turner
    Engineering Emergence. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:89-97 [Conf]
    
11. Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock
    A Layered Behavioural Model of Platelets. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:98-106 [Conf]
    
12. Peter H. Welch, Fred R. M. Barnes, Fiona Polack
    Communicating Complex Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:107-120 [Conf]
    
13. Yuting Chen, Shaoying Liu, Fumiko Nagoya
    A Tool-Supported Review Approach to Detecting Structural Consistency Violations. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:121-130 [Conf]
    
14. Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi
    Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:131-138 [Conf]
    
15. Huibiao Zhu, Jifeng He, Jonathan P. Bowen
    From Algebraic Semantics to Denotational Semantics for Verilog. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:139-151 [Conf]
    
16. Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora
    Formal Specification-based Online Monitoring. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:152-162 [Conf]
    
17. Roy Sterritt, Michael G. Hinchey
    Biologically-Inspired Concepts for Self-Management of Complexity. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:163-168 [Conf]
    
18. Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen
    Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:169-176 [Conf]
    
19. Ray Walshe
    Modelling Bacterial Growth Patterns in the presence of Antibiotic. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:177-188 [Conf]
    
20. Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
    A Type System for the Relational Calculus of Object Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:189-198 [Conf]
    
21. Milos Besta, Frank A. Stomp
    An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:199-208 [Conf]
    
22. Duoduo Liao
    A Real-time High-fidelity Driving Simulator System Based on PC Clusters. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:209-216 [Conf]
    
23. Gregory M. Provan
    Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:217-226 [Conf]
    
24. Jovan Cakic, Richard F. Paige
    Origins of the Grid Architectural Style. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:227-235 [Conf]
    
25. Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi
    A GRID based Framework and tools for automating production of cross media content. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:236-248 [Conf]
    
26. Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton
    On the Generation of Object Databases using Booster. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:249-258 [Conf]
    
27. David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira
    Automation of Java Card component development using the B method. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:259-268 [Conf]
    
28. Ana Cavalcanti, Phil Clayton
    Verification of Control Systems using Circus. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:269-278 [Conf]
    
29. Norman F. Schneidewind
    Reliability - Security Model. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:279-288 [Conf]