739 search results - page 148 / 148 » A security framework for the analysis and design of software... |
ANCS
2008
ACM
13 years 6 months ago
2008
ACM
Accurate and real-time traffic measurement is becoming increasingly critical for large variety of applications including accounting, bandwidth provisioning and security analysis. ...
POPL
2004
ACM
14 years 5 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
WWW
2004
ACM
14 years 5 months ago
2004
ACM
Analysis of web site usage data involves two significant challenges: firstly the volume of data, arising from the growth of the web, and secondly, the structural complexity of web...
IPSN
2004
Springer
13 years 10 months ago
2004
Springer
Automatic self-calibration of ad-hoc sensor networks is a critical need for their use in military or civilian applications. In general, self-calibration involves the combination o...