Abstract is missing.
- Intelligent Agent-Based Decision-Support Systems for Complex C2 ApplicationsAlexander D. Stoyen. 2 [doi]
- Communicating TILCO: A Model for Real-Time System SpecificationPierfrancesco Bellini, Paolo Nesi. 4-14 [doi]
- TILCO-X, an Extension of TILCO Temporal LogicPierfrancesco Bellini, Paolo Nesi. 15-25 [doi]
- On-line Scheduling of Real-Time Distributed Computers With Complex Communication ConstraintsPascal Richard, Francis Cottet, Michaël Richard. 26-34 [doi]
- A Method for Verifying Real-Time Properties of Ada ProgramsThorsten Gerdsmeier, Rachel Cardell-Oliver. 35 [doi]
- Verification of Hybrid Systems: Formalization and Proof Rules in PVSErika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann. 48-57 [doi]
- Action Refinement for True Concurrent Real TimeMila E. Majster-Cederbaum, Jinzhao Wu. 58-68 [doi]
- Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance MechanismsAlberto Arazo, Yves Crouzet. 69-79 [doi]
- Compositional Construction of Protocol Behaviours with Arbitrary Channel CapacitiesAntti Puhakka. 80 [doi]
- Future Mobile Phones--Complex Design Challenges from an Embedded Systems PerspectiveFredrik Dahlgren. 92 [doi]
- Quality Attribute Conflicts - Experiences from a Large Telecommunication ApplicationDaniel Häggander, Lars Lundberg, Jonas Matton. 96-105 [doi]
- Can We Learn Anything from Hardware Preventive Maintenance?Mira Kajko-Mattsson. 106-111 [doi]
- Motivating the Corrective Maintenance Maturity Model (CM3)Mira Kajko-Mattsson. 112 [doi]
- An Object-Oriented Analysis and Design Approach for Safe Object SharingKume Izuru. 122-132 [doi]
- Design Method for Conceptual Design of By-Wire Control: Two Case StudiesKristina Ahlström, Jan Torin, Per Johannessen. 133-143 [doi]
- Designing Distributed Component-Based Systems With DCLFelix Bübl, Andreas Leicher. 144-154 [doi]
- A Framework for Analyzing and Organizing Complex SystemsSven Graupner, Vadim E. Kotov, Holger Trinks. 155 [doi]
- The Problem of Platform ComplexityHarold W. Lawson. 168 [doi]
- Towards A Framework for Architecting Mechatronics Software SystemsDe-Jiu Chen, Martin Törngren. 170-179 [doi]
- Aspect-Oriented Specification Architectures for Distributed Real-Time SystemsMika Katara, Tommi Mikkonen. 180-190 [doi]
- Independent Proprietorship and Competition in Distributed Web SearchRinat Khoussainov, Tadhg O Meara, Ahmed Patel. 191-199 [doi]
- Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and UncertaintyJeffrey D. Hicks, Alexander D. Stoyen, Qiuming Zhu. 200 [doi]
- Using a Model Checker to Test Safety PropertiesPaul Ammann, Wei Ding, Daling Xu. 212-221 [doi]
- Techniques for Testing Component-Based SoftwareYe Wu, Dai Pan, Mei-Hwa Chen. 222-232 [doi]
- Module Testing Embedded Software--An Industrial Pilot ProjectJason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper. 233 [doi]
- Analysis of Self-Stabilization for Infinite-State SystemsHsu-Chun Yen. 240-248 [doi]
- Parallel Machine Translation: Principles and PracticeFuji Ren, Hongchi Shi. 249-259 [doi]
- Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri NetsYiqin Lu, Gang Wei, To-Yat Cheung. 260-269 [doi]
- Modelling Free Flight with Collision AvoidanceMieke Massink, Nicoletta De Francesco. 270-280 [doi]