5451 search results - page 670 / 1091 » Typed Operational Semantics |
186
click to vote
SOSE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...
150
Voted
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
Current WSDL-based description specifies only the operation signatures and locations of Web services. It is widely recognized that a richer description is needed. WS-Security, WS-...
154
click to vote
CALCO
2007
Springer
16 years 27 days ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
177
click to vote
ECML
2007
Springer
16 years 27 days ago
2007
Springer
Knowledge representations using semantic web technologies often provide information which translates to explicit term and predicate taxonomies in relational learning. We show how t...
183
click to vote
ECTEL
2007
Springer
16 years 27 days ago
2007
Springer
Web2.0 is a conceptual framework that aims at enhancing the World Wide Web with semantic and social functionnalities. For this framework to fully develop, there is a need for concr...