4411 search results - page 821 / 883 » Communication Complexity and Its Applications |
147
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
168
click to vote
AIIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A clustering method is presented which can be applied to relational knowledge bases. It can be used to discover interesting groupings of resources through their (semantic...
210
click to vote
SMALLTALK
2007
Springer
15 years 10 months ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
117
click to vote
UIST
2005
ACM
15 years 10 months ago
2005
ACM
On the desktop, an application can expect to control its user interface down to the last pixel, but on the World Wide Web, a content provider has no control over how the client wi...
117
click to vote
ASIACRYPT
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we revisit a known but ignored weakness of the RC4 keystream generator, where secret state info leaks to the generated keystream, and show that this leakage, also kno...