2623 search results - page 225 / 525 » tools 2010 |
194
click to vote
SIN
2010
ACM
15 years 4 months ago
2010
ACM
Policy override is gaining traction in the research community to improve the efficiency and usability of authorization mechanisms. These mechanisms turn the conventional privilege...
207
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
160
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
We describe Chronicle, a new system that allows users to explore document workflow histories. Chronicle captures the entire video history of a graphical document, and provides lin...
169
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
The current search engine model considers users not trustworthy, so no tools are provided to let them specify what they are looking for or in what context, which severely limits wh...
248
click to vote
WKDD
2010
CPS
15 years 4 months ago
2010
CPS
In physics, structure of glass and ion trajectories are essentially based on statistical analysis of data acquired through experimental measurement and computer simulation [1, 2]. ...