Sciweavers

22698 search results - page 3882 / 4540
» Modeling in Software Engineering
Sort
View
EDBT
2011
ACM
209views Database» more  EDBT 2011»
14 years 11 months ago
True language-level SQL debugging
We demonstrate Habitat, a declarative observational debugger for SQL. Habitat facilitates true language-level (not: plan-level) debugging of, probably flawed, SQL queries that yi...
Torsten Grust, Fabian Kliebhan, Jan Rittinger, Tom...
ESWA
2011
243views Database» more  ESWA 2011»
14 years 11 months ago
A novel case based reasoning approach to radiotherapy planning
Radiotherapy planning is a complex problem which requires both expertise and experience of an oncologist. A Case Based Reasoning (CBR) system is developed to generate dose plans f...
Sanja Petrovic, Nishikant Mishra, Santhanam Sundar
SIAMAM
2011
14 years 10 months ago
On the Optimal Receiver Activation Function for Distance-Based Geographic Transmissions
In wireless networks, the channels are often subject to random variations that limit the reliability of communications between any two radios. Geographic transmission strategies ca...
Murali Rao, Tathagata D. Goswami, Joseph Glover, J...
SIGMOD
2011
ACM
222views Database» more  SIGMOD 2011»
14 years 10 months ago
Data generation using declarative constraints
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
Arvind Arasu, Raghav Kaushik, Jian Li
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
14 years 10 months ago
Database state generation via dynamic symbolic execution for coverage criteria
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
Kai Pan, Xintao Wu, Tao Xie
« Prev « First page 3882 / 4540 Last » Next »