• 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...