
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 welldefined 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 webbased, distributed mathematical knowledge base. This system is a mathematical service ... where the formal representation allows semanticsbased 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 highlevel specification language for modeling interactions in distributed ... paper contains the outline for an operational semantics definition of PROMELA...

DistOrc
 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...

KEMDEM
 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 (INDCCA2...

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...

IF2.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 realtime 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 (gc6.1alpha5 ... interfaces. Asir has very similar syntax and semantics as C language. Furthermore...

Transactors
 Referenced in 6 articles
[sw20929]
 facilitating the study of distributed faulttolerance from a semantic point of view. We formalize ... distributed processes can use to create globallyconsistent checkpoints. We provide an operational semantics...