11397 search results - page 2065 / 2280 » A Relational Abstraction for Functions |
224
click to vote
ICDT
2003
ACM
16 years 14 days ago
2003
ACM
Abstract. Repairing a database means bringing the database in accordance with a given set of integrity constraints by applying modifications that are as small as possible. In the ...
208
click to vote
HYBRID
2010
Springer
16 years 11 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
233
click to vote
CLOUD
2010
ACM
16 years 10 days ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
222
click to vote
WOLLIC
2010
Springer
16 years 9 days ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
179
click to vote
HICSS
2002
IEEE
16 years 6 days ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...