4421 search results - page 389 / 885 » Libraries |
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents a realization for the reliable and fast startup of distributed systems written in Erlang. The traditional startup provided by the Erlang/OTP library is sequenti...
107
Voted
DAM
2006
15 years 5 months ago
2006
In the paper, the computational complexity of several variants of the problem of isothermic DNA sequencing by hybridization, is analyzed. The isothermic sequencing is a recent met...
161
Voted
ENTCS
2006
15 years 5 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
138
Voted
IJHPCA
2008
15 years 5 months ago
2008
pc.sagepub.com/cgi/content/abstract/22/3/284 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:International Journal...
127
Voted
IPM
2008
15 years 5 months ago
2008
Awareness has been extensively studied in human computer interaction (HCI) and computer supported cooperative work (CSCW). The success of many collaborative systems hinges on effe...