211 search results - page 30 / 43 » Formal Modelling and Verification in Service-Oriented Comput... |
69
Voted
ASM
2008
ASM
14 years 11 months ago
2008
ASM
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...
ARTS
1997
Springer
15 years 1 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
HPCA
2002
IEEE
15 years 10 months ago
2002
IEEE
Several studies of speculative execution based on values have reported promising performance potential. However, virtually all microarchitectures in these studies were described i...
MAM
2006
14 years 9 months ago
2006
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous recone architecture. The EPICURE contribution is the resu...
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...