Sciweavers

124 search results - page 7 / 25
» The Runtime Structure of Object Ownership
Sort
View
SAC
2010
ACM
14 years 2 months ago
Checking concurrent contracts with aspects
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
Eric Kerfoot, Steve McKeever
JMLC
1997
Springer
13 years 12 months ago
An Object-Oriented Database Programming Environment for Oberon
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
Jacques Supcik, Moira C. Norrie
SFM
2004
Springer
118views Formal Methods» more  SFM 2004»
14 years 1 months ago
On the Semantic Foundations of Standard UML 2.0
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
Bran Selic
EWCBR
1998
Springer
13 years 12 months ago
Similarity Measures for Object-Oriented Case Representations
Object-oriented case representations require approaches for similarity assessment that allow to compare two differently structured objects, in particular, objects belonging to diff...
Ralph Bergmann, Armin Stahl
COOPIS
2004
IEEE
13 years 11 months ago
SPREE: Object Prefetching for Mobile Computers
Mobile platforms combined with large databases promise new opportunities for mobile applications. However, mobile computing devices may experience frequent communication loss while...
Kristian Kvilekval, Ambuj K. Singh