1364 search results - page 150 / 273 » Comparative Branching-Time Semantics |
129
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
In contrast to traditional document retrieval, a web page as a whole is not a good information unit to search because it often contains multiple topics and a lot of irrelevant inf...
123
click to vote
WWW
2002
ACM
16 years 4 months ago
2002
ACM
Richly interlinked, machine-understandable data constitute the basis for the Semantic Web. We provide a framework, CREAM, that allows for creation of metadata. While the annotatio...
246
Voted
PADL
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
119
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
155
click to vote
IDTRUST
2009
ACM
15 years 10 months ago
2009
ACM
We introduce a formal semantics based calculus of trust that explicitly represents trust and quantifies the risk associated with trust in public key infrastructure (PKI) and iden...