Sciweavers

ECBS
2006
IEEE
90views Hardware» more  ECBS 2006»
13 years 11 months ago
Evaluating Alternatives for Architecture-Oriented Refactoring
Refactoring of software systems represents an fundamental way of improving their quality properties. Large-scale refactoring has to be performed at an architectural level to execu...
Sven Wohlfarth, Matthias Riebisch
ECBS
2006
IEEE
109views Hardware» more  ECBS 2006»
13 years 11 months ago
Modeling Dependencies in Product Families with COVAMOF
Many variability modeling approaches consider only formalized dependencies, i.e. in- or exclude relations between variants. However, in real industrial product families, dependenc...
Marco Sinnema, Sybren Deelstra, Jos Nijhuis, Jan B...
ECBS
2006
IEEE
103views Hardware» more  ECBS 2006»
13 years 11 months ago
A State Equation for Petri Nets with Delaying Places
Matthias Werner, Gero Mühl
ECBS
2006
IEEE
78views Hardware» more  ECBS 2006»
13 years 11 months ago
Reliable Multihop Bulk Transfer Service for Wireless Sensor Networks
Péter Völgyesi, András Ná...
ECBS
2006
IEEE
112views Hardware» more  ECBS 2006»
13 years 11 months ago
A Goal-Oriented Approach for Safety Requirements Specification
Robotic systems are developed to execute tasks with several types of risks associated. The possible damages that can affect both the working environment and the self-system lead u...
Elena Navarro, Pedro Sánchez, Patricio Lete...
ECBS
2006
IEEE
115views Hardware» more  ECBS 2006»
13 years 11 months ago
Supporting Design Patterns with Annotations
Design patterns are an established means for building evolvable and maintainable object-oriented software. However, using them requires the developer’s extensive experience. A w...
Klaus Meffert
ECBS
2006
IEEE
158views Hardware» more  ECBS 2006»
13 years 11 months ago
Automated Translation of C/C++ Models into a Synchronous Formalism
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, L...
ECBS
2006
IEEE
143views Hardware» more  ECBS 2006»
13 years 11 months ago
Requirements Engineering for the Adviser Portal Bank System
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...
Jens Bæk Jørgensen, Kristian Bisgaard...
ECBS
2006
IEEE
175views Hardware» more  ECBS 2006»
13 years 11 months ago
Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to co...
Ethan K. Jackson, Janos Sztipanovits
ECBS
2006
IEEE
211views Hardware» more  ECBS 2006»
13 years 11 months ago
Modified Pseudo LRU Replacement Algorithm
Although the LRU replacement algorithm has been widely used in cache memory management, it is wellknown for its inability to be easily implemented in hardware. Most of primary cac...
Hassan Ghasemzadeh, Sepideh Sepideh Mazrouee, Moha...