2899 search results - page 77 / 580 » Dynamic Trees in Practice |
102
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
118
Voted
PVM
2007
Springer
15 years 9 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
209
Voted
GLOBAL
2003
Springer
15 years 8 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
114
Voted
JAVA
1999
Springer
15 years 7 months ago
1999
Springer
As Java technology matures, an increasing number of applications that have traditionally been the domain of languages such as C++ are implemented in Java. Many of these applicatio...
142
Voted
DEBS
2010
ACM
15 years 6 months ago
2010
ACM
An effective means for building Internet-scale distributed applications, and in particular those involving group-based information sharing, is to deploy peer-to-peer overlay netwo...