3742 search results - page 32 / 749 » On the Use of Formal Techniques for Validation |
104
click to vote
CADE
2007
Springer
16 years 2 days ago
2007
Springer
Fault tolerance mechanisms are a key ingredient of dependable systems. In particular, software-implemented hardware fault tolerance (SIHFT) is gaining in popularity, because of its...
107
click to vote
ECMDAFA
2007
Springer
15 years 6 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...
105
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
We propose a new representation to describe mobile agents computations, where the underlying control structures are diffusing computations. Usually, distributed coms are abstracte...