1206 search results - page 207 / 242 » Concurrent Abstract Predicates |
98
Voted
DSVIS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
100
Voted
EDO
2005
Springer
15 years 6 months ago
2005
Springer
A distribution model for the new generation of component languages, which allows to plug required into provided interfaces, is presented together with the distributed component la...
EGOV
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Issues related to technology, including diffusion, acceptance, adoption, and adaptation, have been the focus of research for different disciplines including Information S...
107
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
ICSOC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Composite web services can be orchestrated in a decentralized manner by breaking down the original service specification into a set of partitions and executing them on a...