1662 search results - page 2 / 333 » Privately Finding Specifications |
SCN
2010
Springer
13 years 3 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
14 years 6 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
13 years 7 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
13 years 5 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
13 years 6 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...