3742 search results - page 69 / 749 » On the Use of Formal Techniques for Validation |
171
click to vote
ICSE
2007
IEEE-ACM
16 years 10 days ago
2007
IEEE-ACM
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...
171
click to vote
EUROPAR
2006
Springer
15 years 9 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
181
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
The extensibility, flexibility, expressiveness, and platform-neutrality of XML delivers key advantages for interoperability. The interoperability of XML Web services often comes a...
150
click to vote
WSC
1998
15 years 7 months ago
1998
Verification and validation are two very important steps in simulation modeling. Consequently, they are under constant review and examination from many different perspectives. Res...
160
click to vote
WETICE
1998
IEEE
15 years 10 months ago
1998
IEEE
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...