• PITA

  • Referenced in 19 articles [sw06950]
  • others. These languages share a similar distribution semantics, and methods have been devised to translate...
  • MPFR

  • Referenced in 214 articles [sw03312]
  • both efficient and has a well-defined semantics. It copies the good ideas from ... significand). MPFR is free. It is distributed under the GNU Lesser General Public License...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • gives a semantics to communication of mathematical services in distributed theorem proving and symbolic computation...
  • MCINTYRE

  • Referenced in 8 articles [sw22925]
  • logic programming languages based on the distribution semantics. A successful approximate approach is based...
  • OMDoc

  • Referenced in 87 articles [sw07138]
  • Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge. In this ... standard that allows the representation of the semantics and structure of various kinds of mathematical...
  • MAFRA

  • Referenced in 15 articles [sw02353]
  • MAFRA -- A MApping FRAmework for distributed ontologies. Ontologies as means for conceptualizing and structuring domain ... seen as a key to realize the Semantic Web vision. However, the decentralized nature ... interoperability, mapping mechanisms between distributed ontologies in the Semantic Web are required. In this paper ... interactive, incremental and dynamic framework for mapping distributed ontologies...
  • Church

  • Referenced in 50 articles [sw08946]
  • semantics of Church is defined in terms of evaluation histories and conditional distributions on such...
  • MBase

  • Referenced in 17 articles [sw08724]
  • MBase system, a web-based, distributed mathematical knowledge base. This system is a mathematical service ... where the formal representation allows semantics-based retrieval of distributed mathematical facts. We classify...
  • PiDuce

  • Referenced in 21 articles [sw01418]
  • project comprises a programming language and a distributed runtime environment devised for experimenting Web services ... programming language and its semantics, the architecture of the distributed runtime and its implementation...
  • DIEGO

  • Referenced in 13 articles [sw02178]
  • Graph Objects. Their operational semantics definition follows the lines of distributed graph transformation, thereby permitting...
  • cplint

  • Referenced in 4 articles [sw22924]
  • Logic Programming languages that follow the distribution semantics. In this paper we describe...
  • PROMELA

  • Referenced in 30 articles [sw07635]
  • semantics of PROMELA. PROMELA is a high-level specification language for modeling interactions in distributed ... paper contains the outline for an operational- semantics definition of PROMELA...
  • Dist-Orc

  • Referenced in 5 articles [sw10063]
  • allows structured programming of distributed and timed computations. Several formal semantics have been proposed ... including a rewriting logic semantics developed by the authors. Orc also has a fully fledged ... most distributed languages, there exists a fairly substantial gap between Orc’s formal semantics ... deployable in a distributed implementation just by using Orc’s formal semantics, and (ii) they...
  • KEM-DEM

  • Referenced in 59 articles [sw03093]
  • such that KEM is used for distribution of a session key and DEM, along with ... session. This paper shows that KEM semantically secure against adaptively chosen ciphertext attacks (IND-CCA2...
  • INDUS

  • Referenced in 2 articles [sw10500]
  • software for collaborative discovery from autonomous, semantically heterogeneous, distributed information sources. Development of high throughput ... others). However, the massive size, semantic heterogeneity, autonomy, and distributed nature of the data repositories ... setting, describes algorithms for learning classifiers from distributed data that offer rigorous performance guarantees (relative ... package for collaborative discovery from autonomous, semantically heterogeneous, distributed data sources...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • asynchronous systems (such as telecommunication protocols or distributed applications, in general). The toolbox was built ... this representation allowed us to study the semantics of real-time primitives for asynchronous systems...
  • DISSECT

  • Referenced in 2 articles [sw27167]
  • DISSECT (DIStributional SEmantics Composition Toolkit) is part of the COMPOSES (COMPositional Operations in SEmantic Space...
  • NeXeme

  • Referenced in 7 articles [sw01615]
  • expressive language for distributed computing. This paper presents a semantics for this Scheme extension...
  • Risa/Asir

  • Referenced in 111 articles [sw00806]
  • component (the memory manager), a free software distributed by Boehm (gc-6.1alpha5 ... interfaces. Asir has very similar syntax and semantics as C language. Furthermore...
  • Transactors

  • Referenced in 6 articles [sw20929]
  • facilitating the study of distributed fault-tolerance from a semantic point of view. We formalize ... distributed processes can use to create globally-consistent checkpoints. We provide an operational semantics...