1828 search results - page 206 / 366 » First-Class Type Classes |
155
click to vote
ICTAI
2006
IEEE
16 years 13 days ago
2006
IEEE
Traditional global search heuristics to solve constraint satisfaction problems focus on properties of an individual variable that mandate early search attention. If, however, one ...
118
click to vote
SRDS
2006
IEEE
16 years 12 days ago
2006
IEEE
The paper presents a comparative performance study of the two main classes of randomized binary consensus protocols: a local coin protocol, with an expected high communication com...
158
click to vote
IOLTS
2005
IEEE
16 years 2 hour ago
2005
IEEE
Selecting a strong cryptographic algorithm makes no sense if the information leaks out of the device through sidechannels. Sensitive information, such as secret keys, can be obtai...
187
click to vote
SISW
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper describes a system that supports high availability of data, until the data should be expunged, at which time it is impossible to recover the data. This design supports ...
155
click to vote
WCRE
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper we present an infrastructure that supports interoperability among various reverse engineering tools and applications. We include an Application Programmer’s Interf...