10038 search results - page 1625 / 2008 » Model Checking for Managers |
206
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents an evaluation of the design decisions made in four state-of-the-art constraint solvers; Choco, ECLiPSe, Gecode, and Minion. To assess the impact of design deci...
212
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Multidimensional databases support efficiently on-line analytical processing (OLAP). In this paper, we depict a model dedicated to multidimensional databases. The approach we prese...
159
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Context awareness is one of the important fields in ubiquitous computing. Smart Home, a specific instance of ubiquitous computing, provides every family with opportunities to enjo...
135
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We present Risk Integrated's Enterprise Spreadsheet Platform (ESP), a technical approach to the near-elimination of spreadsheet risk in the enterprise computing environment, ...
205
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
XML data warehouses form an interesting basis for decision-support applications that exploit complex data. However, native XML database management systems currently bear limited p...