33 search results - page 4 / 7 » isola 2010 |
101
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
120
Voted
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
We present a method for the prediction of the performance of a service-oriented architecture during its early stage of development. The system under scrutiny is modelled with the U...
101
Voted
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has...
102
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
108
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...