2702 search results - page 378 / 541 » Practically Applicable Formal Methods |
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
The idea of design domain specific Mother Model of IP block family as a base of modeling of system integration is presented here. A common reconfigurable Mother Model for ten diff...
106
click to vote
WECWIS
2005
IEEE
15 years 7 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
122
click to vote
FASE
2005
Springer
15 years 7 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
114
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. QoS-based service selection mechanisms will play an essential role in service-oriented architectures, as e-Business applications want to use services that most accurately...
102
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...