1183 search results - page 136 / 237 » On flow-sensitive security types |
128
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
105
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Generic classes can be used to improve performance by allowing compile-time polymorphism. But the applicability of compile-time polymorphism is narrower than that of runtime polym...
147
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...
121
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
The ubiquity of web applications has led to an increased focus on the development of attacks targeting these applications. One particular type of attack that has recently become p...
112
click to vote
BIOSURVEILLANCE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper reviews the results of a study into combining evidence from multiple streams of surveillance data in order to improve timeliness and specificity of detection ...