1098 search results - page 3 / 220 » New Data Types and Operations to Support Geo-streams |
VLDB
1991
ACM
13 years 11 months ago
1991
ACM
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
Requirements from new types of applications call for new database system solutions. Computational science applications performing distributed computations on Grid networks with req...
FUIN
2010
13 years 2 months ago
2010
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...
JFP
2010
13 years 5 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
ENVSOFT
2007
13 years 7 months ago
2007
Numerical modelling is now used routinely to make predictions about the behaviour of environmental systems. Model calibration remains a critical step in the modelling process and ...