2836 search results - page 121 / 568 » Model Checking for Software Architectures |
125
click to vote
APPINF
2003
15 years 5 months ago
2003
Evolution of existing large telecommunications software currently became an important issue. Efficient methods are needed to componentize existing software identify existing compo...
144
Voted
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper examines several techniques for static timing analysis. In detail, the first part of the paper analyzes the connection of prediction accuracy (worst case execution tim...
141
Voted
VAMOS
2008
Springer
15 years 5 months ago
2008
Springer
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...
152
Voted
CC
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
130
Voted
IJDE
2007
15 years 3 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...