2236 search results - page 438 / 448 » Secure Software Design in Practice |
ANCS
2008
ACM
13 years 9 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. ...
DGO
2007
13 years 8 months ago
2007
A large portion of the government, business, cultural, and scientific digital data being created today needs to be archived and preserved for future use of periods ranging from a ...
ICFP
2010
ACM
13 years 7 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
BMCBI
2008
13 years 7 months ago
2008
Background: Despite considerable efforts within the microarray community for standardising data format, content and description, microarray technologies present major challenges i...
GRID
2006
Springer
13 years 7 months ago
2006
Springer
: eScience is rapidly changing the way we do research. As a result, many research labs now need non-trivial computational power. Grid and voluntary computing are well-established s...