![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
13th ECBS 2006: Potsdam, Germany
- 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany. IEEE Computer Society 2006, ISBN 0-7695-2546-6
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 R. Rossak, Peter Braun:
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 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 Rysavý, 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
- 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 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 Bogunovic, 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.