Sciweavers

3101 search results - page 346 / 621
» Using Relational Databases in the Engineering Repository Sys...
Sort
View
SIGMOD
2003
ACM
196views Database» more  SIGMOD 2003»
16 years 6 months ago
Spreadsheets in RDBMS for OLAP
One of the critical deficiencies of SQL is lack of support for ndimensional array-based computations which are frequent in OLAP environments. Relational OLAP (ROLAP) applications ...
Andrew Witkowski, Srikanth Bellamkonda, Tolga Bozk...
IBERAMIA
2004
Springer
16 years 1 days ago
Checking Social Properties of Multi-agent Systems with Activity Theory
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
ESOP
2005
Springer
16 years 6 days ago
A Type System Equivalent to a Model Checker
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
Mayur Naik, Jens Palsberg
ECIS
2000
15 years 8 months ago
An Empirical Study of System Development Method Tailoring in Practice
Little research has been conducted to date on the specific topic of the tailoring of systems development methods. Two related research areas--contingency factors research and metho...
Brian Fitzgerald, Nancy L. Russo, Tom O'Kane
222
Voted
COOPIS
1996
IEEE
15 years 10 months ago
A Methodology for Building a Data Warehouse in a Scientific Environment
Rational drug design is an example where integrated access to heterogeneous scientific data is urgently needed, as it becomes rapidly available due to new experimental and computa...
Karl Aberer, Klemens Hemm