373 search results - page 8 / 75 » Model Checking Techniques applied to the design of Web Servi... |
149
click to vote
ICFEM
2005
Springer
15 years 11 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
145
click to vote
EUROMICRO
2004
IEEE
15 years 9 months ago
2004
IEEE
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
173
click to vote
MIDDLEWARE
2007
Springer
16 years 5 days ago
2007
Springer
Although there is a large body of research on detection and prevention of such memory corruption attacks as buffer overflow, integer overflow, and format string attacks, the web...
170
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
181
click to vote
ICWS
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...