2714 search results - page 200 / 543 » On the Notion of Value Object |
169
click to vote
SAS
2007
Springer
16 years 19 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
157
click to vote
COMPGEOM
2006
ACM
16 years 15 days ago
2006
ACM
Given a metric space (X, dX), c ≥ 1, r > 0, and p, q ∈ [0, 1], a distribution over mappings H : X → N is called a (r, cr, p, q)-sensitive hash family if any two points in...
146
click to vote
DSN
2005
IEEE
16 years 4 days ago
2005
IEEE
Most malicious attacks compromise system security through memory corruption exploits. Recently proposed techniques attempt to defeat these attacks by protecting program control da...
172
click to vote
CSFW
2003
IEEE
15 years 12 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
204
click to vote
ICEIS
2003
IEEE
15 years 11 months ago
2003
IEEE
: In order to meet their temporal constraints, current applications such as Web-based services and electronic commerce use the technique of data replication. To take the replicatio...