2687 search results - page 180 / 538 » Formal Analysis of PKCS |
105
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
131
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
124
click to vote
HPCC
2005
Springer
15 years 10 months ago
2005
Springer
Tuning parallel code can be a time-consuming and difficult task. We present our approach to automate the performance analysis of OpenMP applications that is based on the notion of ...
140
click to vote
IFL
2005
Springer
15 years 10 months ago
2005
Springer
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
136
click to vote
MABS
2004
Springer
15 years 10 months ago
2004
Springer
Some types of animals exploit patterns created in the environment as external mental states, thus obtaining an extension of their mind. In the case of social animals the creation a...