2116 search results - page 246 / 424 » Resource Analysis by Sup-interpretation |
118
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
To protect against replay attacks, many Internet protocols rely on nonces to guarantee freshness. In practice, the server generates these nonces during the initial handshake, but ...
126
click to vote
CSCWD
2005
Springer
15 years 6 months ago
2005
Springer
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
177
click to vote
DAMON
2008
Springer
15 years 6 months ago
2008
Springer
Partitioning is a key database task. In this paper we explore partitioning performance on a chip multiprocessor (CMP) that provides a relatively high degree of on-chip thread-leve...
139
click to vote
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
144
click to vote
FPL
2008
Springer
15 years 5 months ago
2008
Springer
Traditional microprocessor-based solutions are insufficient to serve the dynamic throughput demands of real-time scalable multimedia processing systems. This paper introduces a Po...