6047 search results - page 106 / 1210 » Modeling with Extend |
101
click to vote
APCCM
2008
15 years 3 months ago
2008
This paper introduces a Conceptual Data Model for Data Warehouse including multidimensional aggregation. It is based on Entity-Relationships data model. The conceptual data model ...
118
click to vote
SPIN
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
105
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Empirical binding models have previously been investigated for the energetics of protein complexation (G models) and for the influence of mutations on complexation (i....
124
click to vote
ICWE
2009
Springer
15 years 6 months ago
2009
Springer
With the advent of the Web, search has become the prominent paradigm for information seeking, not only across the online space but also within enterprises. Search engine functiona...
ICFP
2003
ACM
15 years 7 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...