713 search results - page 9 / 143 » Static and Dynamic Semantics of the Web |
SOCO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...
ESOP
2011
Springer
14 years 1 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
DEXAW
2008
IEEE
15 years 4 months ago
2008
IEEE
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...
WIRI
2005
IEEE
15 years 3 months ago
2005
IEEE
Web service technologies are becoming a new paradigm for distributed computing. With increasing number of web services available on the internet, there is an urgent need for infor...
PLDI
2006
ACM
15 years 3 months ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...