981 search results - page 11 / 197 » Spatio-temporal Models and Languages: An Approach Based on D... |
SSDBM
2000
IEEE
14 years 25 days ago
2000
IEEE
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
DOLAP
2005
ACM
13 years 10 months ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
ADAEUROPE
2010
Springer
14 years 1 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
IFIP
2005
Springer
14 years 2 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
WFLP
2000
Springer
14 years 18 hour ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...