11561 search results - page 330 / 2313 » Open Distributed Processing |
207
click to vote
ISPAN
2002
IEEE
15 years 11 months ago
2002
IEEE
Index is an important element in databases, and the existence of index is unavoidable. When an index has been built on a particular attribute, database operations (e.g. selection,...
188
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
161
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
157
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
Inthispaper, anewparallel processingsystemforcommercial applications, so called SPAX, is described. SPAX cost-effectively overcomes the SMP limitation by providing scalabilityof t...
232
Voted
ICDCS
1994
IEEE
15 years 10 months ago
1994
IEEE
In a multidatabase environment with mobile computers involved, the nature of computing is such that the user may not wait for the submitted global transaction to complete before d...