3169 search results - page 359 / 634 » A General Framework for Large Scale Systems Development |
148
click to vote
DOLAP
2009
ACM
16 years 1 months ago
2009
ACM
Recommending database queries is an emerging and promising field of investigation. This is of particular interest in the domain of OLAP systems where the user is left with the te...
175
click to vote
ICALP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
165
click to vote
FMCAD
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
198
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Multitenant data infrastructures for large cloud platforms hosting hundreds of thousands of applications face the challenge of serving applications characterized by small data foo...
168
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Current imaging methods such as Magnetic Resonance Imaging (MRI), Confocal microscopy, Electron Microscopy (EM) or Selective Plane Illumination Microscopy (SPIM) yield...