983 search results - page 8 / 197 » Object-oriented Abstractions for Distributed Programming |
ISORC
2003
IEEE
15 years 4 months ago
2003
IEEE
The paper describes design and implementation of software infrastructure for building augmented reality applications for ubiquitous computing environments. Augmented reality is on...
96
Voted
BIRTHDAY
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
121
click to vote
TOOLS
1998
IEEE
15 years 3 months ago
1998
IEEE
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...
118
click to vote
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
HPDC
2002
IEEE
15 years 4 months ago
2002
IEEE
Increasing complexity of distributed applications and commodity of resources through grids are making the tasks of deploying those applications harder. There is a clear need for s...