default search action
Search dblp for Publications
export results for "toc:db/conf/iceccs/iceccs2006.bht:"
@inproceedings{DBLP:conf/iceccs/BelliniBN06, author = {Pierfrancesco Bellini and Ivan Bruno and Paolo Nesi}, title = {A {GRID} based Framework and tools for automating production of cross media content}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {236--248}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.79}, doi = {10.1109/ICECCS.2006.79}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/BelliniBN06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/BestaS06, author = {Milos Besta and Frank A. Stomp}, title = {An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {199--208}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.49}, doi = {10.1109/ICECCS.2006.49}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/BestaS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/CakicP06, author = {Jovan Cakic and Richard F. Paige}, title = {Origins of the Grid Architectural Style}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {227--235}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.67}, doi = {10.1109/ICECCS.2006.67}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/CakicP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/CavalcantiC06, author = {Ana Cavalcanti and Phil Clayton}, title = {Verification of Control Systems using Circus}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {269--278}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.72}, doi = {10.1109/ICECCS.2006.72}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/CavalcantiC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/ChenLN06, author = {Yuting Chen and Shaoying Liu and Fumiko Nagoya}, title = {A Tool-Supported Review Approach to Detecting Structural Consistency Violations}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {121--130}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.46}, doi = {10.1109/ICECCS.2006.46}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/ChenLN06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/DaviesWCC06, author = {Jim Davies and James Welch and Alessandra Cavarra and Edward Crichton}, title = {On the Generation of Object Databases using Booster}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {249--258}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.65}, doi = {10.1109/ICECCS.2006.65}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/DaviesWCC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/DeharbeGM06, author = {David D{\'{e}}harbe and Bruno Emerson Gurgel Gomes and Anamaria Martins Moreira}, title = {Automation of Java Card component development using the {B} method}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {259--268}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.51}, doi = {10.1109/ICECCS.2006.51}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/DeharbeGM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/Fiadeiro06, author = {Jos{\'{e}} Luiz Fiadeiro}, title = {Physiological vs. Social Complexity in Software Design}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {3}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.68}, doi = {10.1109/ICECCS.2006.68}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/Fiadeiro06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/HayesRHP06, author = {Jane Huffman Hayes and Inies C. M. Raphael and Elizabeth Ashlee Holbrook and David M. Pruett}, title = {A Case History of International Space Station Requirement Faul}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {17--26}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.77}, doi = {10.1109/ICECCS.2006.77}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/HayesRHP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/KimL06, author = {Dae{-}Kyoo Kim and Lunjin Lu}, title = {Inference of Design Pattern Instances in {UML} models via Logic Programming}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {47--56}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.58}, doi = {10.1109/ICECCS.2006.58}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/KimL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/Klemm06, author = {Reinhard Klemm}, title = {Efficient Dynamic Multikeys in Enterprise JavaBeans}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {7--16}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.54}, doi = {10.1109/ICECCS.2006.54}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/Klemm06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/LarssonL06, author = {Magnus E. Larsson and Phillip A. Laplante}, title = {On the Complexity of Design in Imaging Software}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {37--46}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.64}, doi = {10.1109/ICECCS.2006.64}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/LarssonL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/Li06, author = {Xiaoshan Li}, title = {A Characterization of {UML} Diagrams and their Consistency}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {67--76}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.78}, doi = {10.1109/ICECCS.2006.78}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/Li06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/LiangDSDS06, author = {Hui Liang and Jin Song Dong and Jing Sun and Roger Duke and Rudolph E. Seviora}, title = {Formal Specification-based Online Monitoring}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {152--162}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.56}, doi = {10.1109/ICECCS.2006.56}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/LiangDSDS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/Liao06, author = {Duoduo Liao}, title = {A Real-time High-fidelity Driving Simulator System Based on {PC} Clusters}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {209--216}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.45}, doi = {10.1109/ICECCS.2006.45}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/Liao06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/LiuH06, author = {Jing Liu and Jifeng He}, title = {Reactive Component based Service-Oriented Design - {A} Case Study}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {27--36}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.70}, doi = {10.1109/ICECCS.2006.70}, timestamp = {Wed, 14 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iceccs/LiuH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/MargariaKNS06, author = {Tiziana Margaria and Christian Kubczak and Marc Njoku and Bernhard Steffen}, title = {Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {169--176}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.61}, doi = {10.1109/ICECCS.2006.61}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/MargariaKNS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/NikolaidouTADA06, author = {Mara Nikolaidou and Anargyros Tsadimas and Nancy Alexopoulou and Alexandros Dais and Dimosthenis Anagnostopoulos}, title = {A {UML} Profile utilizing Enterprise Information System Configuration}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {77--88}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.48}, doi = {10.1109/ICECCS.2006.48}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/NikolaidouTADA06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/PauliX06, author = {Joshua J. Pauli and Dianxiang Xu}, title = {Integrating Functional and Security Requirements with Use Case Decomposition}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {57--66}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.59}, doi = {10.1109/ICECCS.2006.59}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/PauliX06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/Provan06, author = {Gregory M. Provan}, title = {Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {217--226}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.63}, doi = {10.1109/ICECCS.2006.63}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/Provan06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/PuZQHY06, author = {Geguang Pu and Chong Zhang and Zongyan Qiu and Jifeng He and Wang Yi}, title = {Integrating Timed Automata into Tabu Algorithm for {HW-SW} Partitioning}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {131--138}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.60}, doi = {10.1109/ICECCS.2006.60}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/PuZQHY06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/SchneiderTCW06, author = {Steve A. Schneider and Helen Treharne and Ana Cavalcanti and Jim Woodcock}, title = {A Layered Behavioural Model of Platelets}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {98--106}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.80}, doi = {10.1109/ICECCS.2006.80}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/SchneiderTCW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/Schneidewind06, author = {Norman F. Schneidewind}, title = {Reliability - Security Model}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {279--288}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.71}, doi = {10.1109/ICECCS.2006.71}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/Schneidewind06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/StepneyPT06, author = {Susan Stepney and Fiona Polack and Heather R. Turner}, title = {Engineering Emergence}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {89--97}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.55}, doi = {10.1109/ICECCS.2006.55}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/StepneyPT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/SterrittH06, author = {Roy Sterritt and Michael G. Hinchey}, title = {Biologically-Inspired Concepts for Self-Management of Complexity}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {163--168}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.52}, doi = {10.1109/ICECCS.2006.52}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/SterrittH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/Walshe06, author = {Ray Walshe}, title = {Modelling Bacterial Growth Patterns in the presence of Antibiotic}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {177--188}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.62}, doi = {10.1109/ICECCS.2006.62}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/Walshe06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/WelchBP06, author = {Peter H. Welch and Fred R. M. Barnes and Fiona Polack}, title = {Communicating Complex Systems}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {107--120}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.53}, doi = {10.1109/ICECCS.2006.53}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/WelchBP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/ZhaoZLQ06, author = {Liang Zhao and Xiangpeng Zhao and Quan Long and Zongyan Qiu}, title = {A Type System for the Relational Calculus of Object Systems}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {189--198}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.47}, doi = {10.1109/ICECCS.2006.47}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/ZhaoZLQ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/ZhuHB06, author = {Huibiao Zhu and Jifeng He and Jonathan P. Bowen}, title = {From Algebraic Semantics to Denotational Semantics for Verilog}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {139--151}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.57}, doi = {10.1109/ICECCS.2006.57}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/ZhuHB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iceccs/2006, title = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://ieeexplore.ieee.org/xpl/conhome/11122/proceeding}, isbn = {0-7695-2530-X}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iceccs/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.