Sciweavers

36781 search results - page 7228 / 7357
» Parameterizing by the Number of Numbers
Sort
View
SIGSOFT
2010
ACM
15 years 4 months ago
Differential static analysis: opportunities, applications, and challenges
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare
SIGSOFT
2010
ACM
15 years 4 months ago
BERT: a tool for behavioral regression testing
During maintenance, software is modified and evolved to enhance its functionality, eliminate faults, and adapt it to changed or new platforms. In this demo, we present BERT, a too...
Wei Jin, Alessandro Orso, Tao Xie
SOCIALCOM
2010
15 years 4 months ago
Failure Feedback for User Obligation Systems
In recent years, several researchers have proposed techniques for providing users with assistance in understanding and overcoming authorization denials. The incorporation of envir...
Murillo Pontual, Keith Irwin, Omar Chowdhury, Will...
SP
2010
IEEE
156views Security Privacy» more  SP 2010»
15 years 4 months ago
Round-Efficient Broadcast Authentication Protocols for Fixed Topology Classes
Abstract--We consider resource-constrained broadcast authentication for n receivers in a static, known network topology. There are only two known broadcast authentication protocols...
Haowen Chan, Adrian Perrig
UIST
2010
ACM
15 years 4 months ago
Designing adaptive feedback for improving data entry accuracy
Data quality is critical for many information-intensive applications. One of the best opportunities to improve data quality is during entry. USHER provides a theoretical, data-dri...
Kuang Chen, Joseph M. Hellerstein, Tapan S. Parikh
« Prev « First page 7228 / 7357 Last » Next »