4126 search results - page 787 / 826 » Relationships with other Formalisms |
159
click to vote
WMPI
2004
ACM
15 years 11 months ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...
176
click to vote
AFP
2004
Springer
15 years 11 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
153
click to vote
CIKM
2004
Springer
15 years 11 months ago
2004
Springer
We study the representation, derivation and utilization of a special kind of constraints in multidatabase systems. A major challenge is when component database schemas are schemat...
159
click to vote
CIKM
2004
Springer
15 years 11 months ago
2004
Springer
The proliferation of XML as a standard for data representation and exchange in diverse, next-generation Web applications has created an emphatic need for effective XML data-integr...
164
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...