Sciweavers

2947 search results - page 338 / 590
» Analyzing Program Analyses
Sort
View
CSFW
2012
IEEE
13 years 9 months ago
Provably Secure and Practical Onion Routing
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...
Michael Backes, Ian Goldberg, Aniket Kate, Esfandi...
ICSE
2008
IEEE-ACM
16 years 7 months ago
Sufficient mutation operators for measuring test effectiveness
Mutants are automatically-generated, possibly faulty variants of programs. The mutation adequacy ratio of a test suite is the ratio of non-equivalent mutants it is able to identif...
Akbar Siami Namin, James H. Andrews, Duncan J. Mur...
SIGMOD
2009
ACM
291views Database» more  SIGMOD 2009»
16 years 6 months ago
Partial join order optimization in the paraccel analytic database
The ParAccel Analytic DatabaseTM is a fast shared-nothing parallel relational database system with a columnar orientation, adaptive compression, memory-centric design, and an enha...
Yijou Chen, Richard L. Cole, William J. McKenna, S...
ICSE
2004
IEEE-ACM
16 years 6 months ago
Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
Although object-oriented languages can improve programming practices, their characteristics may introduce new problems for software engineers. One important problem is the presenc...
Saurabh Sinha, Alessandro Orso, Mary Jean Harrold
ICSE
2008
IEEE-ACM
16 years 6 months ago
Using software engineering technology to improve the quality of medical processes
In this paper, we describe some of the key observations resulting from our work on using software engineering technologies to help detect errors in medical processes. In many ways...
Lori A. Clarke, George S. Avrunin, Leon J. Osterwe...