373 search results - page 22 / 75 » Model Checking Techniques applied to the design of Web Servi... |
DSVIS
2005
Springer
15 years 3 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...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
ICSOC
2005
Springer
15 years 3 months ago
2005
Springer
Web services are rapidly emerging as the reference paradigm for the interaction and coordination of distributed business processes. In several research papers we have shown how ad...
AH
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Applying traditional Adaptive Hypermedia techniques to the personalization of news can pose a number of problems. The first main difficulty is the fact that news is inher...
WWW
2003
ACM
15 years 10 months ago
2003
ACM
The Web Services world consists of loosely-coupled distributed systems which adapt to ad-hoc changes by the use of service descriptions that enable opportunistic service discovery...