11374 search results - page 392 / 2275 » Demonstration of the CROSSMARC System |
197
click to vote
SIGMOD
1999
ACM
15 years 12 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...
174
click to vote
ECOOPW
1999
Springer
15 years 12 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...
243
click to vote
LCTRTS
1999
Springer
15 years 12 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...
225
click to vote
ISSTA
1998
ACM
15 years 12 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...
268
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...