18429 search results - page 206 / 3686 » Typing dynamic typing |
185
click to vote
ICNC
2005
Springer
16 years 1 days ago
2005
Springer
We have developed a calculus, called Ipi, for describing the aberrance in biological models. Our approach extends the traditional pi calculus to handle aberrant process in the sign...
179
click to vote
ICTCS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
170
click to vote
AMTA
2004
Springer
15 years 12 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...
136
click to vote
ICEIS
2003
IEEE
15 years 11 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...
154
click to vote
ACISP
2003
Springer
15 years 11 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. ...