1567 search results - page 73 / 314 » A Mechanized Model of the Theory of Objects |
WWW
2006
ACM
16 years 2 months ago
2006
ACM
Web Clustering is useful for several activities in the WWW, from automatically building web directories to improve retrieval performance. Nevertheless, due to the huge size of the...
110
click to vote
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
ISPDC
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents MojaveFS, a distributed file system with support for sequential consistency. It provides location transparency and makes use of replication for reliability an...
JUCS
2008
15 years 1 months ago
2008
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...
168
click to vote
ICSE
2011
IEEE-ACM
14 years 5 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...