496 search results - page 70 / 100 » Model Checking Expressive Web Service Descriptions |
DALT
2005
Springer
14 years 2 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
ISPW
2009
IEEE
14 years 3 months ago
2009
IEEE
Web service orchestration is popular because the application logic is defined from a central and unique point of view, but it suffers from scalability issues. In choreography, the ...
IS
2010
13 years 7 months ago
2010
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
DEXAW
2005
IEEE
14 years 2 months ago
2005
IEEE
We describe a methodology for creating composite web services, a key ingredient in spatial data infrastructure (SDI) applications, which we demonstrate on an emergency management ...
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...