8874 search results - page 1641 / 1775 » A New Implementation of Automath |
113
click to vote
SOUPS
2006
ACM
15 years 10 months ago
2006
ACM
The focus of our approach to the usability considerations of privacy and security has been on providing people with information they can use to understand the implications of thei...
136
click to vote
STORAGESS
2006
ACM
15 years 10 months ago
2006
ACM
New designs for petabyte-scale storage systems are now capable of transferring hundreds of gigabytes of data per second, but lack strong security. We propose a scalable and effici...
137
click to vote
UIST
2006
ACM
15 years 10 months ago
2006
ACM
With the availability of affordable new desktop fabrication techniques such as 3D printing and laser cutting, physical models are used increasingly often during the architectural ...
134
click to vote
VEE
2006
ACM
15 years 10 months ago
2006
ACM
Many critical IT infrastructures require non-disruptive operations. However, the operating systems thereon are far from perfect that patches and upgrades are frequently applied, i...
125
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Microscopic analysis of malicious code (malware) requires the aid of a variety of powerful tools. Chief among them is a debugger that enables runtime binary analysis at an instruc...