Introduction

• 
  Welcome.
• 
  Reviewers.
• 
  Committees.

Adaptive Computing

• 
  D'Arcy Walsh, Francis Bordeleau, Bran Selic: Change Types of Dynamic System Reconfiguration. 3-12
• 
  Nikos Migas, William J. Buchanan: An auto-Configurable, and, Adaptable, Metric-driven Cluster-head Organisation for Hybrid Multi-hop Routing. 13-22

Architectures

• 
  Steffen Kern, Torsten Dettborn, Ronny Eckhaus, Yang Ji, Christian Erfurth, Wilhelm Rossak, Peter Braun II: Assistant-Based Mobile Supply Chain Management. 23-31
• 
  Jennifer Pérez, Elena Navarro, Patricio Letelier, Isidro Ramos: A Modelling Proposal for Aspect-Oriented Software Architectures. 32-41
• 
  Peter Tabeling, Rasmus Hofmann: A Prototypical Platform for Architecture Oriented Development. 42-51
• 
  Olivier Barais, Anne-Françoise Le Meur, Laurence Duchien, Julia L. Lawall: Safe Integration of New Concerns in a Software Architecture. 52-64

Design Evolution

• 
  Cameron Maxwell, Tim O'Neill, John Leaney: A Framework for Understanding Heuristics in Architectural Optimisation. 65-72
• 
  Sven Wohlfarth, Matthias Riebisch: Evaluating Alternatives for Architecture-Oriented Refactoring. 73-79
• 
  Jing Dong, Sheng Yang, Kang Zhang: A Model Transformation Approach for Design Pattern Evolutions. 80-92

Distributed Systems Design

• 
  Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab: Deploying Loosely Coupled, Component-based Applications into Distributed Environments. 93-102
• 
  Lizhi Yang, Chuan Feng, Jerzy W. Rozenblit, Haiyan Qiao: Adaptive Tracking in Distributed Wireless Sensor Networks. 103-111
• 
  Péter Völgyesi, András Nádas, Ákos Lédeczi: Reliable Multihop Bulk Transfer Service for Wireless Sensor Networks. 112-122

Embedded and Real-Time Software Systems

• 
  Stephanie M. White: Requirements for Distributed Mission-Critical Decision Support Systems. 123-129
• 
  Jarkko Hyysalo, Päivi Parviainen, Maarit Tihinen: Collaborative Embedded Systems Development: Survey of State of the Practice. 130-138
• 
  Kaj Hänninen, Jukka Mäki-Turja, Mikael Nolin: Present and Future Requirements in Developing Industrial Embedded Real-Time Systems - Interviews with Designers in the Vehicle Domain. 139-150

Formal Methods

• 
  Tony Spiteri Staines: Using a Timed Petri Net (TPN) to Model a Bank ATM. 151-158
• 
  Ondrej Rysavy, Frantisek Scuglik, Miroslav Svéda: Designing algorithm-oriented generic library on .NET framework. 159-163
• 
  Ethan K. Jackson, Janos Sztipanovits: Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality. 164-176

Model-Based System Design

• 
  Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian: Model Transformations in the Model-Based Development of Real-time Systems. 177-186
• 
  Prabhat Ranjan, Arun Kumar Misra: An Enhanced Model For Agent Based Requirement Gathering And Pre-System Analysis. 187-195
• 
  Stoyan Paunov, James H. Hill, Douglas C. Schmidt, Steven D. Baker, John M. Slaby: Domain-Specific Modeling Languages for Configuring and Evaluating Enterprise DRE System Quality of Service. 196-208

Modeling and Analysis of Complex Systems I

• 
  Tae-Hwan Kim, Seung-Il Lee, Yong-Doo Lee, Won-Kee Hong: Design and Evaluation of In-vehicle Sensor Network for Web based Control. 209-218
• 
  Ibrahim Armac, Michael Kirchhof, Liviana Manolescu: Modeling and Analysis of Functionality in eHome Systems: Dynamic Rule-based Conflict Detection. 219-228
• 
  Frank Keenan, David W. Bustard: Aligning Computing Systems with their Environment: An Agile Perspective. 229-240

Modeling and Analysis of Complex Systems II

• 
  Bernhard Gröne: Conceptual Patterns. 241-246
• 
  David Livolsi, Tim O'Neill, John Leaney, Mark Denford, Kyle Dunsire: Guided Architecture-based Design Optimisation of CBSs. 247-258

Modeling and Analysis of Complex Systems III

• 
  Jens Bæk Jørgensen, Kristian Bisgaard Lassen: Requirements Engineering for the Adviser Portal Bank System. 259-268
• 
  Joachim Bayer, Dirk Muthig: A View-Based Approach for Improving Software Documentation Practices. 269-278
• 
  Mohammed Hussein, Mohammad Zulkernine: UMLintr: A UML Profile for Specifying Intrusions. 279-288

Product-Family Models and Architectures

• 
  Arnd Schnieders: Variability Mechanism Centric Process Family Architectures. 289-298
• 
  Marco Sinnema, Sybren Deelstra, Jos Nijhuis, Jan Bosch: Modeling Dependencies in Product Families with COVAMOF. 299-307
• 
  Periklis Sochos, Matthias Riebisch, Ilka Philippow: The Feature-Architecture Mapping (FArM) Method for Feature-Oriented Development of Software Product Lines. 308-318

Reliability, Safety, Dependability, Security

• 
  Elena Navarro, Pedro Sánchez, Patricio Letelier, Juan A. Pastor, Isidro Ramos: A Goal-Oriented Approach for Safety Requirements Specification. 319-326
• 
  Fang Liu, Bo Guo, Jianyin Zhao: Mission Dependability Modeling and Evaluation of Repairable Systems Considering Maintenance Capacity. 327-333
• 
  Piotr Tomaszewski, Jim Håkansson, Lars Lundberg, Håkan Grahn: The Accuracy of Fault Prediction in Modified Code - Statistical Model vs. Expert Estimation. 334-343
• 
  Zhongbao Zhou, Guang Jin, Doudou Dong, Jinglun Zhou: Reliability Analysis of Multistate Systems Based on Bayesian Networks. 344-352

System on a Chip

• 
  Claudio Talarico, Esteban Rodriguez-Marek, Min-Sung Koh: Multi-Objective Design Space Exploration Methodologies for Platform based SOCs. 353-359
• 
  Josef Strnadel, Arghya Kumar Dhali: Novel Optimizing Approach in the Area of STEP-Based Construction of Sessionless, Power-Constrainted, TAM and Time Optimal Test Schedules. 360-367
• 
  Hassan Ghasemzadeh, Sepideh Sepideh Mazrouee, Mohammad Reza Kakoee: Modified Pseudo LRU Replacement Algorithm. 368-376

System Assessment, Testing, and Metrics

• 
  Miroslav Popovic, Ilija Basicevic, Ivan Velikic, Jelena Tatic: A Model-Based Statistical Usage Testing of Communication Protocols. 377-386
• 
  Jiang Guo, Yuehong Liao, Behzad Parviz: A Performance Validation Tool for J2EE Applications. 387-396
• 
  Matteo Marchesotti, Roberto Podestá, Mauro Migliardi: A Measurement-Based Analysis of the Responsiveness of the Linux Kernel. 397-408

Verification and Validation

• 
  Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne: A Unified Approach for Verification and Validation of Systems and Software Engineering Models. 409-418
• 
  Nikola Bogunovi, Edgar Pek: Model Checking Procedures for Infinite State Systems. 419-425
• 
  Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard: Automated Translation of C/C++ Models into a Synchronous Formalism. 426-436

Doctoral Symposium Papers

• 
  Klaus Meffert: Supporting Design Patterns with Annotations. 437-445
• 
  Marcel Seelig: Performance Considerations on Composite Applications. 445-452
• 
  Chengwan He, Zhijie Nie, Bifeng Li, Lianlian Cao, Keqing He: Rava: Designing a Java Extension with Dynamic Object Roles. 453-459
• 
  Adeniyi Onabajo, Jens H. Jahnke: Modelling and Reasoning for Confidentiality Requirements in Software Development. 460-467
• 
  Ivonne Erfurth: Customer-oriented Development of Complex Distributed Systems. 468-476

Poster Session Papers

• 
  Victor Chang: Experiments and Investigations for the Personal High Performance Computing (PHPC) built on top of the 64-bit processing and clustering systems. 477-478
• 
  Richard A. Pyne, Ezra Kaahwa Mugisa: Retrieving Software Components from a Heterogeneous Repository: a Semantic Syntactic Approach. 479-480
• 
  Jiang Guo, Yuehong Liao, Behzad Parviz: A Collaboration-Oriented Software Architecture Modeling System - JArchiDesigner. 481-482
• 
  Haroon Saleem Khan: Achieving Reusability through Interoperability. 483-484
• 
  Ying-Wen Bai, Yu-Nien Yang: 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 Rate. 485-486
• 
  Yucong Duan, Yuqing Gu, Xiaolan Fu, Shing-Chi Cheung, Jing Wang, Qingwu Hu: Distinguishing between Automatic and Manual Aspects of Model Driven Development. 487-488
• 
  Xinyou Zhao, Mitsuji Matsumoto, Yan Zhang: A Real-time Interactive Instructor Framework for Distance Education. 489-490
• 
  Steffen Kollmann, Karsten Albers, Frank Bodmann, Frank Slomka: Modifications on Event Streams for the Real-Time Analysis of Distributed Fixed-Priority Systems. 491-492
• 
  Ki-Hyeon Kim, Bong-Soo Ha, Yong-Doo Lee, Won-Kee Hong: DILSA : Distributed In-door Location System Architecture. 493-494
• 
  Jung-sick Byun, Woo-Suk Shim, Won-Kee Hong: WSN-based Intelligent Telematics System. 495-496
• 
  Josef Strnadel, Zdenek Kotásek: SET: Interactive Tool for Learning and Training Scan-Based DFT Principles and Their Consequences to Parameters of Embedded System. 497-498
• 
  Tao Huang, Zongkai Yang, Jixin Wang, Qingtang Liu, Xia Li, Gang Zhao: Standardized Content Service System for Distributed E-learning Resource. 499-500
• 
  Matthias Werner, Gero Mühl: A State Equation for Petri Nets with Delaying Places. 501-502
• 
  Dharmender Singh Kushwaha, Arun Kumar Misra: Evaluating Cognitive Information Complexity Measure. 503-504
• 
  Jianfeng Peng, Chuan Feng, Jerzy W. Rozenblit: A Hybrid Intrusion Detection and Visualization System. 505-506
• 
  Jules White, Douglas C. Schmidt: FireAnt: A Tool for Reducing Enterprise Product Line Architecture Deployment, Configuration, and Testing Costs. 507-508

last updated on Tue May 21 01:57:28 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page