2231 search results - page 50 / 447 » Alternation as a programming paradigm |
ENTCS
2006
13 years 10 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
CRYPTO
2000
Springer
14 years 2 months ago
2000
Springer
We investigate the all-or-nothing encryption paradigm which was introduced by Rivest as a new mode of operation for block ciphers. The paradigm involves composing an all-or-nothing...
MA
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Systems comprised of multiple interacting mobile agents provide an alternate network computing paradigm that integrates remote data access, message exchange and migration...
WWW
2010
ACM
13 years 8 months ago
2010
ACM
Semantic Web applications take off is being slower than expected, at least with respect to “real-world” applications and users. One of the main reasons for this lack of adoptio...
NAACL
2010
13 years 7 months ago
2010
State-of-the-art Machine Translation (MT) systems are still far from being perfect. An alternative is the so-called Interactive Machine Translation (IMT) framework. In this framew...