373 search results - page 15 / 75 » Model Checking Techniques applied to the design of Web Servi... |
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
CAISE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
EICS
2010
ACM
14 years 11 months ago
2010
ACM
In this paper we present a method and the associated tool support able to exploit the content of Web service annotations in model-based user interface design and development. We a...
101
click to vote
WSC
2008
15 years 6 hour ago
2008
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...
AIMSA
2004
Springer
15 years 3 months ago
2004
Springer
The ability to automatically compose web services, and to monitor their execution, is an essential step to substantially decrease time and costs in the development, integration, a...