11168 search results - page 2182 / 2234 » Abstract State Processes |
ERCIMDL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. With the rapid development of on-line information services, information technologies for on-line information processing have been receiving much attention recently. Clust...
EUROCRYPT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We consider the question of protecting the privacy of customers buying digital goods. More specifically, our goal is to allow a buyer to purchase digital goods from a ve...
FOSSACS
2001
Springer
14 years 1 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
ICCS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...
ICVS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In recent years, distributed computer vision has gained a lot of attention within the computer vision community for applications such as video surveillance and object tra...