298 search results - page 19 / 60 » Computer security: quality rather than quantity |
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
A firm energy market for Colombia is presented. Firm energy—the ability to provide energy in a dry period—is the product needed for reliability in Colombia’s hydrodominated ...
CASCON
2007
13 years 11 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
IMC
2010
ACM
13 years 7 months ago
2010
ACM
The monitoring of packets destined for reachable, yet unused, Internet addresses has proven to be a useful technique for measuring a variety of specific Internet phenomenon (e.g.,...
CPAIOR
2008
Springer
13 years 11 months ago
2008
Springer
We consider the problem of estimating the model count (number of solutions) of Boolean formulas, and present two techniques that compute estimates of these counts, as well as eith...
WPES
2004
ACM
14 years 3 months ago
2004
ACM
In an open environment such as the Internet, the decision to collaborate with a stranger (e.g., by granting access to a resource) is often based on the characteristics (rather tha...