Table of Contents

• Committees [doi]
• Welcome [doi]
• Reviewers [doi]
• Change Types of Dynamic System ReconfigurationD Arcy Walsh, Francis Bordeleau, Bran Selic. 3-12 [doi]
• An auto-Configurable, and, Adaptable, Metric-driven Cluster-head Organisation for Hybrid Multi-hop RoutingNikos Migas, William J. Buchanan. 13-22 [doi]
• Assistant-Based Mobile Supply Chain ManagementSteffen Kern, Torsten Dettborn, Ronny Eckhaus, Yang Ji, Christian Erfurth, Wilhelm Rossak, Peter Braun II. 23-31 [doi]
• A Modelling Proposal for Aspect-Oriented Software ArchitecturesJennifer Pérez, Elena Navarro, Patricio Letelier, Isidro Ramos. 32-41 [doi]
• A Prototypical Platform for Architecture Oriented DevelopmentPeter Tabeling, Rasmus Hofmann. 42-51 [doi]
• Safe Integration of New Concerns in a Software ArchitectureOlivier Barais, Anne-Françoise Le Meur, Laurence Duchien, Julia L. Lawall. 52-64 [doi]
• A Framework for Understanding Heuristics in Architectural OptimisationCameron Maxwell, Tim O Neill, John Leaney. 65-72 [doi]
• Evaluating Alternatives for Architecture-Oriented RefactoringSven Wohlfarth, Matthias Riebisch. 73-79 [doi]
• A Model Transformation Approach for Design Pattern EvolutionsJing Dong, Sheng Yang, Kang Zhang. 80-92 [doi]
• Deploying Loosely Coupled, Component-based Applications into Distributed EnvironmentsAbbas Heydarnoori, Farhad Mavaddat, Farhad Arbab. 93-102 [doi]
• Adaptive Tracking in Distributed Wireless Sensor NetworksLizhi Yang, Chuan Feng, Jerzy W. Rozenblit, Haiyan Qiao. 103-111 [doi]
• Reliable Multihop Bulk Transfer Service for Wireless Sensor NetworksPéter Völgyesi, András Nádas, Ákos Lédeczi. 112-122 [doi]
• Requirements for Distributed Mission-Critical Decision Support SystemsStephanie M. White. 123-129 [doi]
• Collaborative Embedded Systems Development: Survey of State of the PracticeJarkko Hyysalo, Päivi Parviainen, Maarit Tihinen. 130-138 [doi]
• Present and Future Requirements in Developing Industrial Embedded Real-Time Systems - Interviews with Designers in the Vehicle DomainKaj Hänninen, Jukka Mäki-Turja, Mikael Nolin. 139-150 [doi]
• Using a Timed Petri Net (TPN) to Model a Bank ATMTony Spiteri Staines. 151-158 [doi]
• Designing algorithm-oriented generic library on .NET frameworkOndrej Rysavy, Frantisek Scuglik, Miroslav Svéda. 159-163 [doi]
• Correct-ed through Construction: A Model-based Approach to Embedded Systems RealityEthan K. Jackson, Janos Sztipanovits. 164-176 [doi]
• Model Transformations in the Model-Based Development of Real-time SystemsTivadar Szemethy, Gabor Karsai, Daniel Balasubramanian. 177-186 [doi]
• An Enhanced Model For Agent Based Requirement Gathering And Pre-System AnalysisPrabhat Ranjan, Arun Kumar Misra. 187-195 [doi]
• Domain-Specific Modeling Languages for Configuring and Evaluating Enterprise DRE System Quality of ServiceStoyan Paunov, James Hill, Douglas C. Schmidt, Steven D. Baker, John M. Slaby. 196-208 [doi]
• Design and Evaluation of In-vehicle Sensor Network for Web based ControlTae-Hwan Kim, Seung-Il Lee, Yong-Doo Lee, Won-Kee Hong. 209-218 [doi]
• Modeling and Analysis of Functionality in eHome Systems: Dynamic Rule-based Conflict DetectionIbrahim Armac, Michael Kirchhof, Liviana Manolescu. 219-228 [doi]
• Aligning Computing Systems with their Environment: An Agile PerspectiveFrank Keenan, David W. Bustard. 229-240 [doi]
• Conceptual PatternsBernhard Gröne. 241-246 [doi]
• Guided Architecture-based Design Optimisation of CBSsDavid Livolsi, Tim O Neill, John Leaney, Mark Denford, Kyle Dunsire. 247-258 [doi]
• Requirements Engineering for the Adviser Portal Bank SystemJens Bæk Jørgensen, Kristian Bisgaard Lassen. 259-268 [doi]
• A View-Based Approach for Improving Software Documentation PracticesJoachim Bayer, Dirk Muthig. 269-278 [doi]
• UMLintr: A UML Profile for Specifying IntrusionsMohammed Hussein, Mohammad Zulkernine. 279-288 [doi]
• Variability Mechanism Centric Process Family ArchitecturesArnd Schnieders. 289-298 [doi]
• Modeling Dependencies in Product Families with COVAMOFMarco Sinnema, Sybren Deelstra, Jos Nijhuis, Jan Bosch. 299-307 [doi]
• The Feature-Architecture Mapping (FArM) Method for Feature-Oriented Development of Software Product LinesPeriklis Sochos, Matthias Riebisch, Ilka Philippow. 308-318 [doi]
• A Goal-Oriented Approach for Safety Requirements SpecificationElena Navarro, Pedro Sánchez, Patricio Letelier, Juan A. Pastor, Isidro Ramos. 319-326 [doi]
• Mission Dependability Modeling and Evaluation of Repairable Systems Considering Maintenance CapacityFang Liu, Bo Guo, Jianyin Zhao. 327-333 [doi]
• The Accuracy of Fault Prediction in Modified Code - Statistical Model vs. Expert EstimationPiotr Tomaszewski, Jim Håkansson, Lars Lundberg, Håkan Grahn. 334-343 [doi]
• Reliability Analysis of Multistate Systems Based on Bayesian NetworksZhongbao Zhou, Guang Jin, Doudou Dong, Jinglun Zhou. 344-352 [doi]
• Multi-Objective Design Space Exploration Methodologies for Platform based SOCsClaudio Talarico, Esteban Rodriguez-Marek, Min-Sung Koh. 353-359 [doi]
• Novel Optimizing Approach in the Area of STEP-Based Construction of Sessionless, Power-Constrainted, TAM and Time Optimal Test SchedulesJosef Strnadel, Arghya Kumar Dhali. 360-367 [doi]
• Modified Pseudo LRU Replacement AlgorithmHassan Ghasemzadeh, Sepideh Sepideh Mazrouee, Mohammad Reza Kakoee. 368-376 [doi]
• A Model-Based Statistical Usage Testing of Communication ProtocolsMiroslav Popovic, Ilija Basicevic, Ivan Velikic, Jelena Tatic. 377-386 [doi]
• A Performance Validation Tool for J2EE ApplicationsJiang Guo, Yuehong Liao, Behzad Parviz. 387-396 [doi]
• A Measurement-Based Analysis of the Responsiveness of the Linux KernelMatteo Marchesotti, Roberto Podestá, Mauro Migliardi. 397-408 [doi]
• A Unified Approach for Verification and Validation of Systems and Software Engineering ModelsLuay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne. 409-418 [doi]
• Model Checking Procedures for Infinite State SystemsNikola Bogunovi, Edgar Pek. 419-425 [doi]
• Automated Translation of C/C++ Models into a Synchronous FormalismHamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard. 426-436 [doi]
• Supporting Design Patterns with AnnotationsKlaus Meffert. 437-445 [doi]
• Performance Considerations on Composite ApplicationsMarcel Seelig. 445-452 [doi]
• Rava: Designing a Java Extension with Dynamic Object RolesChengwan He, Zhijie Nie, Bifeng Li, Lianlian Cao, Keqing He. 453-459 [doi]
• Modelling and Reasoning for Confidentiality Requirements in Software DevelopmentAdeniyi Onabajo, Jens H. Jahnke. 460-467 [doi]
• Customer-oriented Development of Complex Distributed SystemsIvonne Erfurth. 468-476 [doi]
• Experiments and Investigations for the Personal High Performance Computing (PHPC) built on top of the 64-bit processing and clustering systemsVictor Chang. 477-478 [doi]
• Retrieving Software Components from a Heterogeneous Repository: a Semantic Syntactic ApproachRichard A. Pyne, Ezra Kaahwa Mugisa. 479-480 [doi]
• A Collaboration-Oriented Software Architecture Modeling System - JArchiDesignerJiang Guo, Yuehong Liao, Behzad Parviz. 481-482 [doi]
• Achieving Reusability through InteroperabilityHaroon Saleem Khan. 483-484 [doi]
• An Analysis and Measurement of the Equivalent Model of Serial Queues for a Load Balancer and a Web Server of a Web Cluster with a Low Rejection RateYing-Wen Bai, Yu-Nien Yang. 485-486 [doi]
• Distinguishing between Automatic and Manual Aspects of Model Driven DevelopmentYucong Duan, Yuqing Gu, Xiaolan Fu, Shing-Chi Cheung, Jing Wang, Qingwu Hu. 487-488 [doi]
• A Real-time Interactive Instructor Framework for Distance EducationXinyou Zhao, Mitsuji Matsumoto, Yan Zhang. 489-490 [doi]
• Modifications on Event Streams for the Real-Time Analysis of Distributed Fixed-Priority SystemsSteffen Kollmann, Karsten Albers, Frank Bodmann, Frank Slomka. 491-492 [doi]
• DILSA : Distributed In-door Location System ArchitectureKi-Hyeon Kim, Bong-Soo Ha, Yong-Doo Lee, Won-Kee Hong. 493-494 [doi]
• WSN-based Intelligent Telematics SystemJung-sick Byun, Woo-Suk Shim, Won-Kee Hong. 495-496 [doi]
• SET: Interactive Tool for Learning and Training Scan-Based DFT Principles and Their Consequences to Parameters of Embedded SystemJosef Strnadel, Zdenek Kotásek. 497-498 [doi]
• Standardized Content Service System for Distributed E-learning ResourceTao Huang, Zongkai Yang, Jixin Wang, Qingtang Liu, Xia Li, Gang Zhao. 499-500 [doi]
• A State Equation for Petri Nets with Delaying PlacesMatthias Werner, Gero Mühl. 501-502 [doi]
• Evaluating Cognitive Information Complexity MeasureDharmender Singh Kushwaha, Arun Kumar Misra. 503-504 [doi]
• A Hybrid Intrusion Detection and Visualization SystemJianfeng Peng, Chuan Feng, Jerzy W. Rozenblit. 505-506 [doi]
• FireAnt: A Tool for Reducing Enterprise Product Line Architecture Deployment, Configuration, and Testing CostsJules White, Douglas C. Schmidt. 507-508 [doi]