3931 search results - page 598 / 787 » Separation logic and abstraction |
167
click to vote
OTM
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that mak...
206
click to vote
PCM
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. Automatic liver segmentation from abdominal computed tomography (CT) images is one of the most important steps for computeraided diagnosis (CAD) for liver CT. However, th...
201
click to vote
PDCAT
2005
Springer
16 years 28 days ago
2005
Springer
Fault tolerant algorithms are often designed under the t-out-of-n assumption, which is based on the assumption that all processes or components fail independently with equal proba...
186
click to vote
PPAM
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. A large number of MPI implementations are currently available, each of which emphasize diļ¬erent aspects of high-performance computing or are intended to solve a speciļ¬...
186
click to vote
SIGADA
2005
Springer
16 years 28 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for veriļ¬cation of real-time properties. The framework aims at overcoming the need for the framework user to hav...