• WSAT

  • Referenced in 37 articles [sw01022]
  • loosely coupled distributed systems communicating via XML messages. Communication among web services is asynchronous ... store incoming messages. Data transmission among web services is standardized via XML, and the specification ... behavior signature) relies on a stack of XML based standards (e.g. WSDL, BPEL4WS, WSCI ... interesting verification problems undecidable, even when XML message contents are abstracted away. (3) XML data...
  • XPi

  • Referenced in 7 articles [sw09430]
  • typed process calculus for XML messaging. We present XPi, a core calculus for XML messaging ... type system disciplines XML message handling at the level of channels, patterns, and processes...
  • TulaFale

  • Referenced in 14 articles [sw00986]
  • expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose ... running in parallel), plus XML syntax (to express SOAP messaging), logical predicates (to construct...
  • RADA

  • Referenced in 4 articles [sw20732]
  • about guard applications that determine whether XML messages should be allowed to cross network security...
  • gSOAP

  • Referenced in 3 articles [sw20996]
  • schema types and the SOAP/REST XML messaging protocols to easy-to-use and efficient ... exposing (legacy) C and C++ applications as XML Web services by auto-generating XML serialization...
  • BeepBeep

  • Referenced in 2 articles [sw02026]
  • prevent erroneous or out-of-sequence XML messages from reaching the server...
  • XMPP

  • Referenced in 7 articles [sw07051]
  • wide range of applications including instant messaging, presence, multi-party chat, voice and video calls ... middleware, content syndication, and generalized routing of XML data. The technology pages provide more information...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • MapReduce

  • Referenced in 267 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • PiDuce

  • Referenced in 21 articles [sw01418]
  • PiDuce- A project for experimenting web services technologies...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • JoCaml

  • Referenced in 27 articles [sw02065]
  • JoCaml: A language for concurrent distributed and mobile...
  • S-PLUS

  • Referenced in 630 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 885 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • CPLEX

  • Referenced in 2804 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...