213 search results - page 17 / 43 » Creating Abstractions Using Relevance Reasoning |
CSL
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
VMCAI
2007
Springer
15 years 4 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
108
click to vote
HT
1991
ACM
15 years 1 months ago
1991
ACM
Hypertext systems are being used in many applications because of their flexible structure and the great browsing freedom they give to diverse communities of users. However, this s...
IPTPS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract— For peer-to-peer services to be effective, participating nodes must cooperate, but in most scenarios a node represents a self-interested party and cooperation can neith...
I3E
2008
14 years 11 months ago
2008
Abstract. Many e-commerce sites use a recommendation system to filter the specific information that a user wants out of an overload of information. Currently, the usefulness of the...