• Nuprl

  • Referenced in 396 articles [sw06751]
  • open, distributed architecture centered around a flexible knowledge base and supports the cooperation of independent...
  • TAEMS

  • Referenced in 7 articles [sw07177]
  • constructed models in the context of cooperative distributed problem solving and real-time scheduling...
  • Kumo

  • Referenced in 5 articles [sw06963]
  • understandability of proofs. Kumo supports distributed cooperative proving. Users can send proof parts ... proof parts are saved in a distributed database, the consistency of which is maintained...
  • Greenstone

  • Referenced in 8 articles [sw01271]
  • University of Waikato, and developed and distributed in cooperation with UNESCO and the Human Info...
  • Reo

  • Referenced in 88 articles [sw06353]
  • presents a paradigm for composition of distributed software components and services based on the notion ... compositional construction of connectors that orchestrate the cooperative behavior of instances of components or services...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri Nets and their ... composed of many separate programs that cooperate in the construction and analysis of PN models ... different machines in a distributed computing environment. The modular structure of GreatSPN2.0 makes it open...
  • DCMOGADES

  • Referenced in 2 articles [sw02761]
  • DCMOGADES: Distributed cooperation model of multi-objective genetic algorithm with distributed scheme To find design ... illustrated. The proposed algorithm is called Distributed Cooperation model of Multi-Objective Genetic Algorithm with...
  • SYNTHESIS

  • Referenced in 8 articles [sw00944]
  • implemented as a set of distributed component wrappers that cooperatively interact with each other...
  • ZEUS

  • Referenced in 7 articles [sw07744]
  • knowledge- level cooperation between autonomous agents promises significant benefits to distributed systems engineering, such...
  • OpenModelica

  • Referenced in 28 articles [sw19753]
  • simulation environment based on free software distributed in binary and source code form for research ... developer to participate in the project and cooperate around OpenModelica, tools, and applications...
  • ABS

  • Referenced in 31 articles [sw21211]
  • specification language for designing executable models of distributed object-oriented systems. The language combines advanced ... asynchronous method calls, interfaces for encapsulation, and cooperative scheduling of method activations inside concurrent objects...
  • RSBR_

  • Referenced in 19 articles [sw02934]
  • Meningitis data mining by cooperatively using GDT-RS and RSBR. This paper describes an application ... rough sets based systems, namely Generalized Distribution Table and Rough Set (GDT-RS) and Rough...
  • Global Arrays

  • Referenced in 10 articles [sw07425]
  • physically distributed dense multi-dimensional arrays, without need for explicit cooperation by other processes. Unlike...
  • Ur/Web

  • Referenced in 8 articles [sw17454]
  • reason about distributed, multithreaded applications via a mix of transactions and cooperative preemption. We give...
  • PIROL

  • Referenced in 3 articles [sw02981]
  • components by means of distributed control flows. (9) The coordinated cooperation of multiple users...
  • OpenGeoSys

  • Referenced in 24 articles [sw09098]
  • proven to be a valuable tool for cooperation between different developer teams, for example ... orientation (OO) provides a suitable framework for distributed code development; however, the parallelization...
  • JCobox

  • Referenced in 16 articles [sw21212]
  • CoBoxes are a novel programming concept for distributed, concurrent object-oriented software, developed ... concurrently running groups of objects with multiple cooperative tasks. The CoBox concept has been integrated...
  • Aquarius

  • Referenced in 5 articles [sw26678]
  • Aquarius prover. Aquarius is a distribution theorem prover for first order logic with equality, developed ... processes, one on each workstation, which work cooperatively toward the solution of the problem. Aquarius ... variants of a general methodology for distributed deduction, called deduction by Clause-Diffusion. The subdivision ... among the processes, their activities and their cooperation are defined by the Clause-Diffusion method...
  • GSO

  • Referenced in 1 article [sw19035]
  • multiple optima, annual crop planning, cooperative exploration, distributed search, multiple source localization, contaminant boundary mapping...
  • DISCOUNT

  • Referenced in 15 articles [sw19613]
  • teamwork method for knowledge-based distribution. It uses an extended version of unfailing Knuth-Bendix ... DISCOUNT features many different control strategies that cooperate using the teamwork approach. Competition between multiple ... entrants in the competition (DISCOUNT/GL), while a distributed DISCOUNT system running on two workstations...