2596 search results - page 324 / 520 » Gradual Typing for Objects |
124
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...
120
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Our paper concerns optimal combinations of different types of reinsurance contracts. We introduce a novel approach based on the Mean-Variance-Criterion to solve this task. Two sta...
152
click to vote
VW
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this paper, we present the project Urbi et Orbi, a framework to dynamically manage distributed virtual environments (DVEs). This framework relies on a dedicated script...
160
click to vote
RT
1995
Springer
15 years 7 months ago
1995
Springer
: This paper introduces an efficient hierarchical algorithm capable of simulating light transfer for complex scenes containing non-diffuse surfaces. The algorithmstemsfroma newfor...
106
click to vote
VLDB
1991
ACM
15 years 7 months ago
1991
ACM
The Ode object-oriented database provides facilities for associating conslraims and [riggers with ohjecls. Conslrainls and triggers are associated with class (ohjea type) definiti...