3468 search results - page 381 / 694 » An open logical framework |
221
click to vote
POS
1998
Springer
15 years 8 months ago
1998
Springer
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
136
click to vote
PET
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Webs of trust constitute a decentralized infrastructure for establishing the authenticity of the binding between public keys and users and, more generally, trust relation...
127
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
We investigate the problem of refining SQL queries to satisfy cardinality constraints on the query result. This has applications to the many/few answers problems often faced by da...
142
Voted
AIMSA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper describes two approaches to integrating standalone information processing techniques into a semantic application capable of acquiring and maintaining knowledge...
118
Voted
ISMB
2007
15 years 7 months ago
2007
Autopolyploidization and allopolyploidization events multiply the number of chromosomes and genomic content. Genome rearrangement phylogenetics requires that all genomes analyzed ...