5630 search results - page 1064 / 1126 » Computability in Specification |
126
click to vote
NSPW
2003
ACM
15 years 9 months ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
126
click to vote
SIGECOM
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a new ascending-price multi-unit auction protocol. As far as the authors are aware, this is the first protocol that has an open format, and in which sincere b...
132
click to vote
SSDBM
2010
IEEE
15 years 9 months ago
2010
IEEE
With the growing focus on semantic searches and interpretations, an increasing number of standardized vocabularies and ontologies are being designed and used to describe data. We ...
145
click to vote
CF
2010
ACM
15 years 9 months ago
2010
ACM
We develop two simple interval-based models for dynamic superscalar processors. These models allow us to: i) predict with great accuracy performance and power consumption under va...
135
click to vote
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...