Results 1 to 20 of 560
Sort by:

  • SageMath
  • Referenced in 1974 articles [sw00825]
  • extremely strong emphasis on openness, community, cooperation, and collaboration: we are building...

  • Nuprl
  • Referenced in 394 articles [sw06751]
  • flexible knowledge base and supports the cooperation of independent formal tools...

  • CVC4
  • Referenced in 124 articles [sw09485]
  • combination. CVC4 is the fourth in the Cooperating Validity Checker family of tools...

  • Reo
  • Referenced in 88 articles [sw06353]
  • compositional construction of connectors that orchestrate the cooperative behavior of instances of components or services...

  • MACS-VRPTW
  • Referenced in 83 articles [sw06303]
  • second colony minimizes the traveled distances. Cooperation between colonies is performed by exchanging information through...

  • LEO-II
  • Referenced in 51 articles [sw00512]
  • higher-order theorem prover designed for fruitful cooperation with specialist provers for natural fragments ... order logic. At present LEO-II can cooperate with TPTP compliant first-order automated theorem...

  • CVC
  • Referenced in 48 articles [sw09462]
  • cooperating validity checker. Decision procedures for decidable logics and logical theories have proven ... verification. This paper describes the CVC (“Cooperating Validity Checker”) decision procedure. CVC implements a framework...

  • ECOS
  • Referenced in 58 articles [sw12123]
  • solution methods have been developed in cooperation with Prof. Stephen Boyd of Stanford University...

  • GreatSPN
  • Referenced in 57 articles [sw00384]
  • composed of many separate programs that cooperate in the construction and analysis of PN models...

  • CVC Lite
  • Referenced in 56 articles [sw07581]
  • site for the current version of CVC. -------------- Cooperating theorem provers: a case study combining...

  • kappalab
  • Referenced in 50 articles [sw06086]
  • framework of multicriteria decision making or cooperative game theory...

  • EasyLocal++
  • Referenced in 39 articles [sw04104]
  • framework is composed of a set of cooperating classes, which belong to five main categories...

  • SINTEF
  • Referenced in 38 articles [sw02984]
  • developed by the department in cooperation with NORSKOG, Norges Skogeierforbund and the Department of Forest...

  • Slatec
  • Referenced in 35 articles [sw04367]
  • Energy Laboratories. The objective is to cooperatively assemble and install at each site a mathematical...

  • ABS
  • Referenced in 31 articles [sw21211]
  • asynchronous method calls, interfaces for encapsulation, and cooperative scheduling of method activations inside concurrent objects...

  • KQML
  • Referenced in 31 articles [sw29718]
  • systems to share knowledge in support of cooperative problem solving. KQML focuses on an extensible...

  • OpenModelica
  • Referenced in 28 articles [sw19753]
  • developer to participate in the project and cooperate around OpenModelica, tools, and applications...

  • MCPSO
  • Referenced in 17 articles [sw30149]
  • MCPSO: a multi-swarm cooperative particle swarm optimizer. A new optimization algorithm -- MCPSO, multi-swarm ... cooperative particle swarm optimizer, inspired by the phenomenon of symbiosis in natural ecosystems. MCPSO...

  • OpenGeoSys
  • Referenced in 22 articles [sw09098]
  • proven to be a valuable tool for cooperation between different developer teams, for example...

  • PRISM-games
  • Referenced in 20 articles [sw12934]
  • synthesis for probabilistic systems with competitive or cooperative behaviour. Models are described in a probabilistic...