913 search results - page 59 / 183 » Full Abstraction for Linda |
AMR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Although many different types of technologies for information systems have evolved over the last decades (such as databases, video systems, the Internet and mobile telec...
BERTINORO
2005
Springer
14 years 2 months ago
2005
Springer
Abstract Virtual path management in dynamic networks poses a number of challenges related to combinatorial optimisation, fault and traffic handling. Ideally such management should ...
CLEF
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we present the results of BUAP/UPV universities in WebCLEF, a particular task of CLEF 2005. Particularly, we evaluate our information retrieval system at th...
EDCC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Current paper proposes an efficient alternative for traditional gatelevel fault simulation. The authors explain how Structurally Synthesized Binary Decision Diagrams (SSB...
ERCIMDL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The works of a significant author are accompanied by a variety of artifacts ranging from the scholarly to the popular. In order to better support the needs of the scholar...