2432 search results - page 183 / 487 » Cryptographic logical relations |
128
click to vote
CORR
2008
Springer
15 years 27 days ago
2008
Springer
Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little ...
121
Voted
CAI
2006
Springer
15 years 26 days ago
2006
Springer
The number of news reports published online is now so great that it is impossible for any person to read all of them. Not all of these reports are equally interesting. Automating ...
95
Voted
IANDC
2006
15 years 25 days ago
2006
We study several algebras of graphs and hypergraphs and the corresponding notions of equational sets and recognizable sets. We generalize and unify several existing results which ...
91
Voted
DKE
1999
15 years 15 days ago
1999
In this paper, we propose a formal model for multilevel databases. This model aims at being a generic model, that is it can be interpreted for any kind of database (relational, ob...
100
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
With the growing use of dynamic web content generated from relational databases, traditional caching solutions for throughput and latency improvements are ineffective. We describe...