608 search results - page 20 / 122 » Method Engineering: Towards Methods as Services |
VLDB
2007
ACM
14 years 1 months ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
ISESE
2002
IEEE
14 years 18 days ago
2002
IEEE
Recent software systems contain a lot of functions to provide various services. According to this tendency, software testing becomes more difficult than before and cost of testing...
SOCO
2011
Springer
2011
Springer
A novel approach to annotating web service based on interface concept mapping and semantic expansion
13 years 2 months ago
With the rapid development of web service technology in these years, traditional standards have been matured during the process of service registry and discovery. However, it is di...
CIKM
2004
Springer
14 years 1 months ago
2004
Springer
The Google search engine uses a method called PageRank, together with term-based and other ranking techniques, to order search results returned to the user. PageRank uses link ana...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...