Sciweavers

12333 search results - page 66 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
ASWEC
2005
IEEE
14 years 2 months ago
Deriving Systems Level Security Properties of Component Based Composite Systems
This paper proposes an approach of defining systemslevel security properties of component-based composite systems. It argues that the security properties of a composite system ca...
Khaled M. Khan, Jun Han
DATE
2005
IEEE
155views Hardware» more  DATE 2005»
14 years 2 months ago
RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC
This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLD...
M. Abdelsalam Hassan, Keishi Sakanushi, Yoshinori ...
IWPC
2008
IEEE
14 years 3 months ago
Identifying Architectural Change Patterns in Object-Oriented Systems
As an object-oriented system evolves, its architecture tends to drift away from the original design. Knowledge of how the system has changed at coarse-grained levels is key to und...
Xinyi Dong, Michael W. Godfrey
ECBS
2007
IEEE
111views Hardware» more  ECBS 2007»
14 years 3 months ago
Model-Based Empirical Performance Evaluation Based on Relational Traces
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
Marko Boskovic
ACSD
2001
IEEE
112views Hardware» more  ACSD 2001»
14 years 28 days ago
Software Implementation of Synchronous Programs
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
Charles Andre, Frédéric Boulanger, A...