3274 search results - page 424 / 655 » Access Support in Object Bases |
166
click to vote
DLS
2007
15 years 10 months ago
2007
Mirror-based systems are object-oriented reflective architectures built around a set of design principles that lead to reflective APIs which foster a high degree of reusability, l...
164
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
163
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
154
click to vote
CN
1998
15 years 5 months ago
1998
In traditional commerce, brokers act as middlemen between customers and providers, aggregating, repackaging and adding value to products, services or information. In the broadest ...
140
click to vote
SIGGRAPH
1997
ACM
15 years 10 months ago
1997
ACM
In this paper, we introduce the progressive simplicial complex (PSC) representation, a new format for storing and transmitting triangulated geometric models. Like the earlier prog...