31686 search results - page 268 / 6338 » Resource typing in Guru |
AMTA
2004
Springer
14 years 4 months ago
2004
Springer
TransType2 is a novel kind of interactive MT in which the system and the user collaborate in drafting a target text, the system’s contribution taking the form of predictions that...
CASSIS
2004
Springer
14 years 4 months ago
2004
Springer
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks i...
ICEIS
2003
IEEE
14 years 4 months ago
2003
IEEE
: A definition of types in an information system is given from real-world abstractions through data constructs, schema and definitions to physical data values. Category theory su...
ACISP
2003
Springer
14 years 4 months ago
2003
Springer
KASUMI is a block cipher which has been adopted as a standard of 3GPP. In this paper, we study the pseudorandomness of idealized KASUMI type permutations for adaptive adversaries. ...
ESOP
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...