8468 search results - page 274 / 1694 » The Technology of Data Stashing |
184
click to vote
CATA
2004
15 years 8 months ago
2004
Many languages are in serious danger of being lost and as a result, there has been a significant increase in language documentation projects, and also in attempts to preserve lang...
193
click to vote
CSREAESA
2004
15 years 8 months ago
2004
- MEMS technology has improved such that the capabilities of large sensor devices can now be encompassed in devices that are the size of a penny. These resource constraint devices ...
200
click to vote
IACR
2011
14 years 6 months ago
2011
Search for cryptographic keys in RAM is a new and prospective technology which can be used, primarily, in the computer forensics. In order to use it, a cryptanalyst must solve, at...
177
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Retrieving semistructured (XML) data typically requires either a structured query such as XPath, or a keyword query that does not take structure into account. In this pap...
197
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...