1252 search results - page 66 / 251 » Foundations of Similarity and Utility |
FM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
IPOM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The IPv4 addressing scheme has been the standard for Internet communication since it was established in the 1960s. However, the enormous increase in Internet traffic usag...
SP
2008
IEEE
14 years 2 months ago
2008
IEEE
The problem of security against timing based traffic analysis in multihop networks is considered in this work. In particular, the relationship between the level of anonymity prov...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Nominal subtyping (or user-defined subtyping) and structural subtyping each have their own strengths and weaknesses. Nominal subtyping allows programmers to explicitly express de...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
User-centered security has been identified as a grand challenge in information security and assurance. It is on the brink of becoming an established subdomain of both security and...