69 search results - page 4 / 14 » A SQL database system for solving constraints |
105
click to vote
PAM
2012
Springer
13 years 7 months ago
2012
Springer
Network administrators are faced with the increasingly challenging task of monitoring their network’s health in real time, drawing upon diverse and voluminous measurement data fe...
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
100
click to vote
ARTMED
2006
14 years 11 months ago
2006
Objective. In this article, we propose new methods to visualize and reason about spatiotemporal epidemiological data. Background. Efficient computerized reasoning about epidemics ...
127
click to vote
AISS
2010
14 years 6 months ago
2010
With the proliferation of the computer Cloud, new software delivery methods were created. In order to build software to fit into one of these models, a scalable, easy to deploy st...
202
click to vote
PLDI
2009
ACM
16 years 11 days ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...