913 search results - page 111 / 183 » Full Abstraction for Linda |
APSEC
1999
IEEE
14 years 1 months ago
1999
IEEE
One of the characteristics of large software systems is that they evolve over time. Evolution patterns include modifications related to the implementation, interfaces and the over...
CRYPTO
1998
Springer
14 years 1 months ago
1998
Springer
ded abstract of this paper appears in Advances in Cryptology { Crypto 98 Proceedings, Lecture Notes in Computer Science Vol. 1462, H. Krawczyk ed., Springer-Verlag, 1998. This is t...
ICALP
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We consider systems of finite automata performing together computation on an input string. Each automaton has its own read head that moves independently of the other head...
PODC
1990
ACM
14 years 29 days ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
ACCV
2009
Springer
14 years 29 days ago
2009
Springer
Abstract. In this paper we present an efficient technique to obtain accurate semantic classification on the pixel level capable of integrating various modalities, such as color, ed...