1028 search results - page 91 / 206 » Character sets of strings |
CORR
2011
Springer
13 years 4 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...
STOC
2006
ACM
14 years 9 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...
STOC
2004
ACM
14 years 9 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...
BTW
2009
Springer
14 years 3 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...
SCAM
2008
IEEE
14 years 3 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...