Sciweavers

14720 search results - page 2403 / 2944
» Interface
Sort
View
214
Voted
CCS
2008
ACM
15 years 9 months ago
Towards automatic reverse engineering of software security configurations
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
Rui Wang 0010, XiaoFeng Wang, Kehuan Zhang, Zhuowe...
ITP
2010
178views Mathematics» more  ITP 2010»
15 years 9 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon
CHI
2008
ACM
15 years 9 months ago
Knowledge in the head and on the web: using topic expertise to aid search
The importance of background knowledge for effective searching on the Web is not well understood. Participants were given trivia questions on two topics and asked to answer them f...
Geoffrey B. Duggan, Stephen J. Payne
CHI
2008
ACM
15 years 9 months ago
Word usage and posting behaviors: modeling blogs with unobtrusive data collection methods
We present a large-scale analysis of the content of weblogs dating back to the release of the Blogger program in 1999. Over one million blogs were analyzed from their conception t...
Adam D. I. Kramer, Kerry Rodden
CHI
2008
ACM
15 years 9 months ago
User experience at google: focus on the user and all else will follow
This paper presents an overview of the User Experience (UX) team at Google. We focus on four aspects of working within Google's product development organization: (1) a bottom...
Irene Au, Richard Boardman, Robin Jeffries, Patric...
« Prev « First page 2403 / 2944 Last » Next »