11376 search results - page 374 / 2276 » Willow System Demonstration |
199
click to vote
SIGMOD
2000
ACM
15 years 11 months ago
2000
ACM
We present MOCHA, a new self-extensible database middleware system designed to interconnect distributed data sources. MOCHA is designed to scale to large environments and is based...
170
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
Query processing in data integration occurs over network-bound, autonomous data sources. This requires extensions to traditional optimization and execution techniques for three re...
154
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
Safe language technology can be used for protection within a single address space. This protection is enforced by the language’s type system, which ensures that references to obj...
209
click to vote
LCTRTS
1999
Springer
15 years 11 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
196
click to vote
ISSTA
1998
ACM
15 years 11 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...