9520 search results - page 1637 / 1904 » or 2011 |
236
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
237
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
225
click to vote
GLOBE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Distributed or peer-to-peer storage solutions rely on the introduction of redundant data to be fault-tolerant and to achieve high reliability. One way to introduce redund...
227
click to vote
GPCE
2011
Springer
14 years 6 months ago
2011
Springer
Embedded, textual DSLs are often provided as an API wrapped around object-oriented application frameworks to ease framework integration. While literature presents claims that DSL-...
284
click to vote
GRAPP
2011
14 years 6 months ago
2011
We present a physically-based multiphase model for simulating water and air bubbles with Smoothed Particle Hydrodynamics (SPH). Since the high density ratio of air and water is pr...