663 search results - page 128 / 133 » Web Service Interactions: Analysis and Design |
DSVIS
2005
Springer
14 years 1 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...
GROUP
2003
ACM
14 years 26 days ago
2003
ACM
Most of the available knowledge management systems pay little attention to two important aspects: the need of supporting emerging communities of interest together with the officia...
WSC
2001
13 years 9 months ago
2001
The Washington State Ferries are one of the largest ferry systems in the world. Accidents involving Washington State Ferries are rare events. However, low probability, high conseq...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
In this paper we propose a hierarchical clustering engine, called SnakeT, that is able to organize on-the-fly the search results drawn from 16 commodity search engines into a hier...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Most P2P VoD schemes focused on service architectures and overlays optimization without considering segments rarity and the performance of prefetching strategies. As a result, the...