2596 search results - page 419 / 520 » Gradual Typing for Objects |
205
click to vote
SI3D
1995
ACM
15 years 7 months ago
1995
ACM
We introduce a promising new approach to rigid body dynamic simulation called impulse-based simulation. The method is well suited to modeling physical systems with large numbers o...
113
Voted
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Method overloading is a controversial language feature, especially in the context of Object Oriented languages, where its interaction with overriding may lead to confusing semantic...
151
Voted
HT
2009
ACM
15 years 6 months ago
2009
ACM
Adaptive hypermedia systems traditionally focus on providing personalised learning services for formal or informal learners. The learning material is typically sourced from a prop...
117
Voted
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...
155
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we present a hybrid reputation model focused on organizational structures that attempts to solve problems associated with both centralized and decentralized reputatio...