• GitHub

  • Referenced in 1342 articles [sw23170]
  • Awesome LLC)[3] is a web-based hosting service for version control using...
  • UCI-ml

  • Referenced in 2971 articles [sw04074]
  • currently maintain 251 data sets as a service to the machine learning community ... sets through our searchable interface. Our old web site is still available, for those...
  • Pfam

  • Referenced in 102 articles [sw23108]
  • Pfam: clans, web tools and services. Pfam is a database of protein families that currently ... detail, together with the new associated web pages. Improvements to the range of Pfam ... first set of Pfam web services that allow programmatic access to the database and associated ... also presented. Pfam is available on the web in the UK (http://www.sanger.ac.uk/Software/Pfam/),...
  • COWS

  • Referenced in 50 articles [sw06955]
  • calculus for orchestration of web services. We introduce COWS (Calculus for Orchestration of Web Services ... facto standard language for orchestration of web services. COWS combines in an original ... modelling imperative and orchestration constructs, e.g. web services, flow graphs, fault and compensation handlers...
  • WSAT

  • Referenced in 37 articles [sw01022]
  • This paper presents Web Service Analysis Tool (WSAT), a tool for analyzing and verifying composite ... web service designs, with the state of the art model checking techniques. Web services ... communicating via XML messages. Communication among web services is asynchronous, and it is supported ... store incoming messages. Data transmission among web services is standardized via XML, and the specification...
  • MCMAS

  • Referenced in 68 articles [sw09463]
  • areas including robotics, security protocols, web-services, etc. For example, security specifications involving anonymity...
  • Taverna

  • Referenced in 44 articles [sw08764]
  • programmatic access in the form of Web services. Bioinformatics scientists will need to orchestrate these ... Web services in workflows as part of their analyses. Results: The Taverna project has developed...
  • Amazon EC2

  • Referenced in 44 articles [sw29777]
  • Compute Cloud (Amazon EC2) is a web service that provides secure, resizable compute capacity ... cloud. It is designed to make web-scale cloud computing easier ... developers. Amazon EC2’s simple web service interface allows you to obtain and configure capacity...
  • JBoss

  • Referenced in 49 articles [sw21835]
  • caching, messaging, transactions, and a full web services stack. It offers full support and deployment ... included for many popular Java EE 7 web-based frameworks, including Spring, Spring Web Flow...
  • BPEL2oWFN

  • Referenced in 27 articles [sw06956]
  • BPEL2oWFN translates a web service expressed in WS-BPEL (Web Service Business Process Execution Language...
  • Zing

  • Referenced in 38 articles [sw01037]
  • level protocol descriptions, work-flow specifications, web services, device drivers, and protocols in the core...
  • Eucalyptus

  • Referenced in 23 articles [sw19229]
  • clouds. Eucalyptus is a set of web services, modeled after and compatible with Amazon ... Web Services (AWS). Written mostly in Java, Eucalyptus integrates components from over 100 open source...
  • PDB2PQR

  • Referenced in 33 articles [sw13087]
  • problem, we have developed the PDB2PQR web service (http://agave.wustl.edu/pdb2pqr/). This server automates many...
  • IntAct

  • Referenced in 29 articles [sw21665]
  • annotations of the interacting proteins. A web service allows direct computational access to retrieve interaction...
  • PiDuce

  • Referenced in 20 articles [sw01418]
  • PiDuce- A project for experimenting web services technologies The PiDuce project comprises a programming language ... distributed runtime environment devised for experimenting Web services technologies by relying on solid theories about ... WSDL, thus enabling interoperability with existing Web services.We thoroughly describe the PiDuce project: the programming...
  • TulaFale

  • Referenced in 14 articles [sw00986]
  • TulaFale: a security tool for web services. Web services security specifications are typically expressed...
  • SWORD

  • Referenced in 12 articles [sw10584]
  • SWORD: A developer toolkit for web service composition. The formidable problem of automatic or semi ... automatic composition of existing Web services is the subject of much current attention. We address ... composition of a class of web services including “information-providing” services. In SWORD, a service ... kinds of queries supported by typical Web services and thus result in simplicity and efficiency...
  • LTSA-WS

  • Referenced in 13 articles [sw10585]
  • tool for model-based verification of web service compositions and choreography. In this paper ... based approach to verifying compositions of web service implementations. The tool supports verification of properties ... implementation, testing and deployment of web service compositions can be eased through the understanding...
  • ADIC

  • Referenced in 80 articles [sw03392]
  • purpose of this web is to provide the support services for users of ADIC software...
  • BPEL2PN

  • Referenced in 18 articles [sw06954]
  • Business Process Execution Language for Web Services into a Petri net according to the Petri...