3172 search results - page 505 / 635 » On the Random-Self-Reducibility of Complete Sets |
165
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
118
click to vote
ACL
2008
15 years 8 months ago
2008
Traditional wisdom holds that once documents are turned into bag-of-words (unigram count) vectors, word orders are completely lost. We introduce an approach that, perhaps surprisi...
159
click to vote
LREC
2010
15 years 8 months ago
2010
The paper describes an approach to expedite the process of manual annotation of a Hindi dependency treebank which is currently under development. We propose a way by which consist...
167
click to vote
ICISC
2008
15 years 8 months ago
2008
Group key agreement (GKA) allows a set of players to establish a shared secret and thus bootstrap secure group communication. GKA is very useful in many types of peer group scenar...
179
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
We study the access control integration problem for web services. Organizations frequently use many services, each with its own access control policies, that must interoperate whi...