6 search results - page 1 / 2 » fidji 2004 |
FIDJI
2004
Springer
14 years 4 months ago
2004
Springer
FIDJI
2004
Springer
14 years 2 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
FIDJI
2004
Springer
14 years 4 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...
FIDJI
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. MoCha is an exogenous coordination middleware for distributed communication based on mobile channels. Channels allow anonymous, and point-to-point communication among nod...
FIDJI
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. GOLD (Grid-based Information Models to Support the Rapid Innovation of New High Value-Added Chemicals) is concerned with the dynamic formation and management of virtual o...