284 search results - page 33 / 57 » WSAT: A Tool for Formal Analysis of Web Services |
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
CCGRID
2005
IEEE
13 years 10 months ago
2005
IEEE
Given the heterogeneous nature of biological data and their intensive use in many tools, in this paper we propose a semantic data access and integration (DAI) service, based on th...
ASWC
2008
Springer
13 years 10 months ago
2008
Springer
Today's knowledge workers have to spend a large amount of time and manual effort on creating, analyzing, and modifying textual content. While more advanced semantically-orient...
ICSE
2010
IEEE-ACM
13 years 6 months ago
2010
IEEE-ACM
SOABench is a framework for the automatic generation, execution and analysis of testbeds for evaluating the performance of service-oriented middleware. Testbeds can be characteriz...
COMPSAC
2010
IEEE
13 years 6 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...