4285 search results - page 431 / 857 » Differential Behavioral Analysis |
170
click to vote
ESORICS
2005
Springer
16 years 12 days ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
203
click to vote
IFL
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
157
click to vote
MMMACNS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The recent proliferation of Internet worms has raised questions about defensive measures. To date most techniques proposed are passive, in-so-far as they attempt to block...
158
click to vote
SIGMETRICS
2004
ACM
16 years 9 days ago
2004
ACM
In this paper, we consider a set of HTTP flows using TCP over a common drop-tail link to download files. After each download, a flow waits for a random think time before reques...
192
click to vote
GLVLSI
2010
IEEE
15 years 12 months ago
2010
IEEE
On-chip memory organization is one of the most important aspects that can influence the overall system behavior in multiprocessor systems. Following the trend set by high-perform...