1567 search results - page 37 / 314 » A Mechanized Model of the Theory of Objects |
APSEC
1999
IEEE
15 years 5 months ago
1999
IEEE
The management of complexity in large systems is traditionally focused on the modeling and management of classes and hierarchies of classes. In order to improve the compositional ...
110
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
113
click to vote
ENTCS
2011
14 years 8 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
118
click to vote
AINA
2007
IEEE
15 years 7 months ago
2007
IEEE
The evolution and existence of stable trust relations have been studied extensively in the context of social theory. However, reputation systems or trust schemes have only been re...