3052 search results - page 101 / 611 » Weakly Distributive Domains |
211
click to vote
FIDJI
2004
Springer
15 years 9 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
131
click to vote
GSEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper outlines an original Computational Grid deployment protocol which is entirely based on Java, leveraging the portability of this language for distributing custo...
155
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Impact analysis is seen as an important technique for controlling the evolution of software systems. Numerous approaches have been proposed which aim to assess the impact of chang...
159
click to vote
SP
1996
IEEE
15 years 8 months ago
1996
IEEE
We present new results on a distributable changedetection method inspired by the natural immune system. A weakness in the original algorithm was the exponential cost of generating...
124
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...