4397 search results - page 274 / 880 » Relational Algebra Operations |
134
click to vote
COORDINATION
2004
Springer
15 years 10 months ago
2004
Springer
Linda tuple spaces are flat and unstructured, in the sense that they do not allow for expressing preferences of tuples; for example, we could be interested in indicating tuples th...
155
click to vote
ISSAC
2004
Springer
15 years 10 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
135
Voted
FM
2001
Springer
15 years 9 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
136
click to vote
WEBDB
1999
Springer
15 years 8 months ago
1999
Springer
We propose a framework for navigation-driven evaluation of virtual mediated views. The approach is based on lazy mediators that translate incoming client navigations on a virtual ...
156
Voted
COMPGEOM
1997
ACM
15 years 8 months ago
1997
ACM
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...