2804 search results - page 194 / 561 » Next Generation Internet |
141
click to vote
SOFTVIS
2006
ACM
15 years 10 months ago
2006
ACM
Software evolution visualization is a promising technique for assessing the software development process. We study how complex correlations of software evolution attributes can be...
120
click to vote
ASIACRYPT
2006
Springer
15 years 8 months ago
2006
Springer
At CRYPTO2005, Xiaoyun Wang, Hongbo Yu and Yiqun Lisa Yin proposed a collision attack on SHA-0 that could generate a collision with complexity 239 SHA-0 hash operations. Although t...
179
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
136
click to vote
LREC
2010
15 years 5 months ago
2010
Corpora of sentences annotated with grammatical information have been deployed by extending the basic lexical and morphological data with increasingly complex information, such as...
145
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The third generation partnership project (3GPP) has addressed the feasibility of interworking and specified the interworking architecture and security architecture for third gener...