1054 search results - page 6 / 211 » Translation Validation of System Abstractions |
117
click to vote
SAMOS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract— The translation of user requirements to system constraints and parameters during an exploration exercise is a hard problem, especially in the context of large scale emb...
128
click to vote
FORTE
2007
15 years 4 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
JGO
2008
15 years 3 months ago
2008
Abstract In order to study the uniformly translating solution of some non-linear evolution equations such as the complex Ginzburg
104
click to vote
FDL
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
136
click to vote
ICRE
1998
IEEE
15 years 7 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...