Sciweavers

2757 search results - page 93 / 552
» On separating systems
Sort
View
IAT
2003
IEEE
15 years 9 months ago
SIMPLE - A Multi-Agent System for Simultaneous and Related Auctions
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
Ruy Luiz Milidiú, Taciana Melcop, Frederico...
CIKM
1994
Springer
15 years 8 months ago
Using Path Information for Query Processing in Object-Oriented Database Systems
This paper argues that most queries in object-oriented databases require traversing from one object to another in the aggregation hierarchy. Thus, the connections between objects ...
Dik Lun Lee, Wang-Chien Lee
140
Voted
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 7 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
PEPM
1991
ACM
15 years 7 months ago
Properties of Unfolding-based Meta-level Systems
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
Torben Amtoft Hansen
DAGSTUHL
2007
15 years 5 months ago
A Case for Deconstructing Hardware Transactional Memory Systems
Major hardware and software vendors are curious about transactional memory (TM), but are understandably cautious about committing to hardware changes. Our thesis is that deconstru...
Mark D. Hill, Derek Hower, Kevin E. Moore, Michael...