2687 search results - page 401 / 538 » Formal Analysis of PKCS |
157
click to vote
ITICSE
2006
ACM
16 years 13 days ago
2006
ACM
Professors often develop anecdotal guidelines about how each student’s past performance in their academic major relates to their performance in later courses. While these guidel...
185
click to vote
PLDI
2006
ACM
16 years 12 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
161
click to vote
ECBS
2005
IEEE
16 years 2 days ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
160
click to vote
ICDAR
2005
IEEE
16 years 2 days ago
2005
IEEE
Printing and scanning of text documents introduces degradations to the characters which can be modeled. Interestingly, certain combinations of the parameters that govern the degra...
165
click to vote
METRICS
2005
IEEE
16 years 1 days ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...