1028 search results - page 91 / 206 » Character sets of strings |
159
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
145
click to vote
STOC
2006
ACM
16 years 4 months ago
2006
ACM
It is proved that several interactive proof systems are zero-knowledge against general quantum attacks. This includes the Goldreich?Micali?Wigderson classical zero-knowledge proto...
152
click to vote
STOC
2004
ACM
16 years 4 months ago
2004
ACM
We propose a modification to the framework of Universally Composable (UC) security [3]. Our new notion, involves comparing the protocol executions with an ideal execution involvin...
118
click to vote
BTW
2009
Springer
15 years 10 months ago
2009
Springer
: Frequent successful publications by specific institutions are indicators for identifying outstanding centres of research. This institution data are present in scholarly papers as...
136
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
—Many software engineering applications require points-to analysis. Client applications range from optimizing compilers to program development and testing environments to reverse...