1662 search results - page 2 / 333 » Privately Finding Specifications |
SCN
2010
Springer
14 years 7 months ago
2010
Springer
This paper introduces and explores the new concept of Time-Specific Encryption (TSE). In (Plain) TSE, a Time Server broadcasts a key at the beginning of each time unit, a Time Inst...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents a method for finding a specification page on the web for a given object (e.g., "Titanic") and its class label (e.g., "film"). A specificati...
FM
2008
Springer
14 years 11 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
BMCBI
2002
14 years 9 months ago
2002
Background: The identification of species or species groups with specific oligo-nucleotides as molecular signatures is becoming increasingly popular for bacterial samples. However...
BIRD
2008
Springer
14 years 11 months ago
2008
Springer
The latest developments in DNA sequencing tech niques paved the way for tremendous increase in bio logical databases. Once the whole DNA sequen...