3500 search results - page 216 / 700 » Implementing Java on Clusters |
122
Voted
JPDC
2008
15 years 13 days ago
2008
This paper gives an overview of two middleware systems that have been developed over the last 6 years to address the challenges involved in developing parallel and distributed imp...
88
Voted
CADE
2008
Springer
16 years 23 days ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
MIDDLEWARE
2005
Springer
15 years 6 months ago
2005
Springer
We present WildCAT, an extensible Java framework to ease the creation of context-aware applications. WildCAT provides a simple yet powerful dynamic model to represent an applicati...
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...
ECOOP
2006
Springer
15 years 4 months ago
2006
Springer
The assembly of components that can handle continuously changing data results in programs that are more interactive. Unfortunately, the code that glues together such components is ...