1847 search results - page 110 / 370 » Computational Science Simulations Based on Web Services |
FSTTCS
2009
Springer
15 years 8 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
135
click to vote
GRID
2007
Springer
15 years 1 months ago
2007
Springer
The GEMSS project has developed a service-oriented Grid that supports the provision of medical simulation services by service providers to clients such as hospitals. We outline the...
159
click to vote
PC
2006
15 years 1 months ago
2006
Cellular automata (CA) are discrete dynamic systems that have been used for modeling many physical systems. CA are often used as an alternative to model and solve large-scale syst...
98
Voted
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
Over the years, the notion of transactions has become synonymous with providing fault-tolerance, reliability and robustness to database systems. However, challenges arise when we ...
ECOWS
2007
Springer
15 years 7 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...