686 search results - page 7 / 138 » Web Service Call Parallelization Using OpenMP |
PPOPP
2009
ACM
14 years 8 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
CLADE
2003
IEEE
14 years 27 days ago
2003
IEEE
As Grids are emerging as the next-generation computing platform, the need for Web-based portals that hide low level details of accessing Grid services for deployment and execution ...
CW
2005
IEEE
13 years 9 months ago
2005
IEEE
This paper explores the use of ARIS for Semantic Web Service development. It proposes an ARIS-based transformation methodology for the automatic specification and development of S...
SERA
2009
Springer
14 years 2 months ago
2009
Springer
Agent Based Web Services Market (AWSM) is a framework for agents to present and sell their capabilities as web services. Agents take certain roles and cooperate to constitute agent...
ICWS
2010
IEEE
13 years 9 months ago
2010
IEEE
Data intensive applications, e.g. in life sciences, pose new efficiency challenges to the service composition problem. Since today computing power is mainly increased by multiplica...