-
Jolie
- Referenced in 10 articles
[sw12396]
- project time -- concepts related to Service-Oriented Computing and the traditional approach to the modelling ... framework for programming dynamically evolvable distributed service-oriented applications that are correct-by-construction...
-
Wendy
- Referenced in 6 articles
[sw01246]
- tool to synthesize partners for services Service-oriented computing proposes services as building blocks which...
-
Impromptu
- Referenced in 8 articles
[sw01293]
- software services. The framework exploits service-oriented programming and computational intelligence to support software systems...
-
BPA-Sec4Cloud
- Referenced in 1 article
[sw17688]
- needs is growing rapidly. In addition, Service-oriented Computing has been adopted to realize business...
-
ASKALON
- Referenced in 17 articles
[sw08430]
- high-performance computing raises the idea to provide tools as interacting Grid services that share ... services over the Grid. We have developed the ASKALON tool set to support performance-oriented ... comprises four tools, coherently integrated into a service-oriented architecture. SCALEA is a performance instrumentation...
-
caGrid
- Referenced in 10 articles
[sw20965]
- efficient access to and sharing of distributed computational resources in cancer research. To address this ... caGrid is a model-driven and service-oriented architecture that synthesizes and extends a number...
-
soCloud
- Referenced in 1 article
[sw16036]
- soCloud: a service-oriented component-based paas for managing portability, provisioning, elasticity, and high availability ... across multiple clouds. Multi-cloud computing is a promising paradigm to support very large scale ... world wide distributed applications. Multi-cloud computing is the usage of multiple, independent cloud environments ... clouds. This article presents soCloud a service-oriented component-based Platform as a Service...
-
InstQL
- Referenced in 1 article
[sw02055]
- software architectures like multi-agent and service-oriented systems. Our domain-specific action language ... translating InstQL queries into AnsProlog, the same computational language as InstAL. The result...
-
jETI
- Referenced in 15 articles
[sw00471]
- We present jETI, a redesign of the Electronic...
-
MapReduce
- Referenced in 263 articles
[sw00546]
- MapReduce is a new parallel programming model initially...
-
MetaGame
- Referenced in 10 articles
[sw00572]
- Failing model checking runs should be accompanied by...
-
simpA
- Referenced in 7 articles
[sw00863]
- simpA: an agent-oriented approach for programming concurrent...
-
WSAT
- Referenced in 37 articles
[sw01022]
- This paper presents Web Service Analysis Tool (WSAT...
-
PRISM
- Referenced in 442 articles
[sw01186]
- PRISM: Probabilistic symbolic model checker. In this paper...
-
Rapide
- Referenced in 38 articles
[sw01249]
- Rapide: A language and toolset for simulation of...
-
CPN/Tools
- Referenced in 27 articles
[sw01261]
- CPN/Tools: A tool for editing and simulating coloured...
-
GridSim
- Referenced in 49 articles
[sw01392]
- The GridSim toolkit allows modeling and simulation of...
-
PiDuce
- Referenced in 21 articles
[sw01418]
- PiDuce- A project for experimenting web services technologies...
-
mCRL2
- Referenced in 55 articles
[sw01496]
- mCRL2 stands for micro Common Representation Language 2...
-
Design/CPN
- Referenced in 37 articles
[sw01952]
- Modeling and verification of cryptographic protocols using coloured...