7. ICECCS 2001: Skövde, Sweden
7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden. IEEE Computer Society 2001 ISBN 0-7695-1159-7
Keynote Speech
- Alexander D. Stoyen: Intelligent Agent-Based Decision-Support Systems for Complex C2 Applications. 2-
Real-Time Issues
- Pierfrancesco Bellini, Paolo Nesi: Communicating TILCO: A Model for Real-Time System Specification. 4-14
- Pascal Richard, Francis Cottet, Michaël Richard: On-line Scheduling of Real-Time Distributed Computers With Complex Communication Constraints. 26-34
- Thorsten Gerdsmeier, Rachel Cardell-Oliver: A Method for Verifying Real-Time Properties of Ada Programs. 35-
Formal Issues
- Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann: Verification of Hybrid Systems: Formalization and Proof Rules in PVS. 48-57
- Alberto Arazo, Yves Crouzet: Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. 69-79
- Antti Puhakka: Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities. 80-
Keynote Speech
- Fredrik Dahlgren: Future Mobile Phones--Complex Design Challenges from an Embedded Systems Perspective. 92-
Industrial Experiences
- Daniel Häggander, Lars Lundberg, Jonas Matton: Quality Attribute Conflicts - Experiences from a Large Telecommunication Application. 96-105
- Mira Kajko-Mattsson: Can We Learn Anything from Hardware Preventive Maintenance? 106-111
- Mira Kajko-Mattsson: Motivating the Corrective Maintenance Maturity Model (CM3). 112-
Design Issues
- Kume Izuru: An Object-Oriented Analysis and Design Approach for Safe Object Sharing. 122-132
- Kristina Ahlström, Jan Torin, Per Johannessen: Design Method for Conceptual Design of By-Wire Control: Two Case Studies. 133-143
- Sven Graupner, Vadim E. Kotov, Holger Trinks: A Framework for Analyzing and Organizing Complex Systems. 155-
Keynote Speech
- Harold W. Lawson: The Problem of Platform Complexity. 168-
Architectural Issues
- De-Jiu Chen, Martin Törngren: Towards A Framework for Architecting Mechatronics Software Systems. 170-179
- Mika Katara, Tommi Mikkonen: Aspect-Oriented Specification Architectures for Distributed Real-Time Systems. 180-190
- Rinat Khoussainov, Tadhg O'Meara, Ahmed Patel: Independent Proprietorship and Competition in Distributed Web Search. 191-199
- Jeffrey D. Hicks, Alexander D. Stoyen, Qiuming Zhu: Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty. 200-
Testing Issues
- Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper: Module Testing Embedded Software--An Industrial Pilot Project. 233-
Analysis and Modeling
- Hsu-Chun Yen: Analysis of Self-Stabilization for Infinite-State Systems. 240-248
- Yiqin Lu, Gang Wei, To-Yat Cheung: Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets. 260-269
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team