Sciweavers

8154 search results - page 1223 / 1631
» Understanding changes in use cases: A case study
Sort
View
DAC
2002
ACM
16 years 7 months ago
Hole analysis for functional coverage data
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv
SIGSOFT
2003
ACM
16 years 7 months ago
A family of test adequacy criteria for database-driven applications
Although a software application always executes within a particular environment, current testing methods have largely ignored these environmental factors. Many applications execut...
Gregory M. Kapfhammer, Mary Lou Soffa
ISBI
2004
IEEE
16 years 7 months ago
Prompt Gamma-Ray Imaging for Small Animals
A new imaging approach has been identified and studied in a preliminary way by simulation. The new approach is prompt gamma-ray imaging (PGI) and it is suggested for use on small ...
Robin Gardner, Libai Xu
ECOOP
2009
Springer
16 years 7 months ago
Practical API Protocol Checking with Access Permissions
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich
PODS
2009
ACM
229views Database» more  PODS 2009»
16 years 7 months ago
Computing all skyline probabilities for uncertain data
Skyline computation is widely used in multi-criteria decision making. As research in uncertain databases draws increasing attention, skyline queries with uncertain data have also ...
Mikhail J. Atallah, Yinian Qi
« Prev « First page 1223 / 1631 Last » Next »