3624 search results - page 363 / 725 » Abstract Algebraic Logic |
181
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
In the last several years, large OLAP databases have become common in a variety of applications such as corporate data warehouses and scientific computing. To support interactive ...
288
click to vote
VLDB
2002
ACM
16 years 6 months ago
2002
ACM
Abstract This paper describes the overall design and architecture of the Timber XML database system currently being implemented at the University of Michigan. The system is based u...
154
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
151
click to vote
CALCO
2007
Springer
16 years 25 days ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
154
click to vote
FASE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...