2284 search results - page 138 / 457 » The new iris data: modular data generators |
127
Voted
DICTA
2007
15 years 2 months ago
2007
Existing asymmetric encryption algorithms require the storage of the secret private key. Stored keys are often protected by poorly selected user passwords that can either be guess...
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
Modern applications for mobile computing require high performance architectures. On the other hand, there are restrictions such as storage or power consumption. The use of reconï¬...
100
Voted
IEAAIE
1994
Springer
15 years 4 months ago
1994
Springer
In this paper we discuss the design and development of an interlingua for a large-scale MT project. We also discuss how the resulting KANT interlingua constrains complexity, suppo...
189
Voted
POPL
2007
ACM
16 years 29 days ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...
85
Voted
DAC
2001
ACM
16 years 1 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...