1054 search results - page 187 / 211 » A Logic Language of Granular Computing |
113
Voted
CCS
2004
ACM
15 years 8 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
110
Voted
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
110
Voted
SAT
2004
Springer
15 years 8 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
127
click to vote
PODC
2003
ACM
15 years 8 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
115
click to vote
AINA
2010
IEEE
15 years 8 months ago
2010
IEEE
—In order for Semantic Web applications to be successful a key component should be their ability to take advantage of rich content descriptions in meaningful ways. Reasoning cons...