3824 search results - page 453 / 765 » Geometry Constructions Language |
135
click to vote
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
155
Voted
ENTCS
2008
15 years 4 months ago
2008
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primi...
113
click to vote
ENTCS
2006
15 years 4 months ago
2006
The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are w...
139
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
107
Voted
ENTCS
2006
15 years 4 months ago
2006
This paper presents a three-step approach for interoperabilising heterogeneous semantic resources. Firstly, we construct homogeneous representations of these resources in a pivot ...