1567 search results - page 32 / 314 » A Mechanized Model of the Theory of Objects |
108
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...
123
click to vote
WWW
2011
ACM
14 years 8 months ago
2011
ACM
There is a widespread intuitive sense that different kinds of information spread differently on-line, but it has been difficult to evaluate this question quantitatively since it ...
134
click to vote
METRICS
1996
IEEE
15 years 5 months ago
1996
IEEE
This paper describes the results of a study where the impact of Object-Oriented design on software quality characteristics is experimentally evaluated. A suite of metrics for OO d...
115
click to vote
SSD
2005
Springer
15 years 7 months ago
2005
Springer
Topological predicates are an important element of database systems that allow manipulation of spatial data. Based on the necessity for such systems to handle uncertainty, we intro...
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...