3742 search results - page 114 / 749 » On the Use of Formal Techniques for Validation |
152
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
180
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
158
click to vote
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
163
click to vote
PE
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we describe an analytical technique for the performance evaluation of wide-area networks carrying realistic TCP traffic, such as that produced by a large number of f...
164
click to vote
FTRTFT
1998
Springer
15 years 10 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...