655 search results - page 87 / 131 » Coinduction in Concurrent Timed Systems |
110
click to vote
EDBTW
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we focus on B2B scenarios where XML views are extracted from relational databases and sent over the Web to another application that edits them and sends th...
111
click to vote
CONCUR
2000
Springer
15 years 3 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
111
click to vote
MSS
1999
IEEE
15 years 4 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
105
click to vote
CBMS
2006
IEEE
15 years 6 months ago
2006
IEEE
With the advances in medical imaging devices, large volumes of high-resolution 3D medical image data have been produced. These high-resolution 3D data are very large in size, and ...
108
click to vote
SOSP
2009
ACM
15 years 8 months ago
2009
ACM
This paper addresses the problem of scheduling concurrent jobs on clusters where application data is stored on the computing nodes. This setting, in which scheduling computations ...