1438 search results - page 209 / 288 » An Expressive Extension of TLC |
214
click to vote
SIGMOD
2000
ACM
15 years 10 months ago
2000
ACM
We investigate the problem of using materialized views to answer SQL queries. We focus on modern decision-support queries, which involve joins, arithmetic operations and other (po...
158
click to vote
CC
2000
Springer
15 years 10 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
150
click to vote
DIAGRAMS
2000
Springer
15 years 10 months ago
2000
Springer
Venn diagrams and Euler circles have long been used as a means of expressing relationships among sets using visual metaphors such as \disjointness" and \containment" of t...
181
click to vote
COOPIS
1999
IEEE
15 years 10 months ago
1999
IEEE
The Web so far has been incredibly successful at delivering information to human users. So successful actually, that there is now an urgent need to go beyond a browsing human and ...
185
click to vote
ICFP
1999
ACM
15 years 10 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...