5465 search results - page 1 / 1093 » Assigning Types to Processes |
LICS
2000
IEEE
13 years 12 months ago
2000
IEEE
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
IJCNLP
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. This paper addresses the issue of post-transfer process in paraphrasing. Our previous investigation into transfer errors revealed that case assignment tends to be incorre...
IJCNLP
2005
Springer
14 years 29 days ago
2005
Springer
We propose a novel type of document classification task that quantifies how much a given document (review) appreciates the target object using not binary polarity (good or bad) b...
IFIP
2004
Springer
14 years 25 days ago
2004
Springer
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer lit...