2432 search results - page 420 / 487 » High-level approach to modeling of observed system behavior |
147
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
168
click to vote
USS
2008
15 years 8 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
198
click to vote
CODES
2009
IEEE
16 years 28 days ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...
155
click to vote
DOLAP
2006
ACM
16 years 4 days ago
2006
ACM
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need b...
182
click to vote
AAAI
2008
15 years 8 months ago
2008
Query translation for Cross-Lingual Information Retrieval (CLIR) has gained increasing attention in the research area. Previous work mainly used machine translation systems, bilin...