1567 search results - page 206 / 314 » A Mechanized Model of the Theory of Objects |
196
click to vote
POPL
2006
ACM
16 years 1 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
110
click to vote
SMA
2003
ACM
15 years 6 months ago
2003
ACM
The prediction of collisions amongst N rigid objects may be reduced to a series of computations of the time to first contact for all pairs of objects. Simple enclosing bounds and...
132
click to vote
IWMM
2010
Springer
15 years 3 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
110
click to vote
FLAIRS
2006
15 years 3 months ago
2006
We have been using the concept map of the domain, enhanced with pedagogical concepts called learning objectives, as the overlay student model in our intelligent tutors for program...
121
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The goal of Model Management is the development of new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be perf...