J. Braz. Comp. Soc. vol.9 número2

Therefore, it allows a better delay control for real-time traffic in high load situations and a geater channel use for best effort traffic when low real-time traffic is present in

[r]

Proof obligations containing set theory constructs are translated to first-order logic with equality aug- mented with (an extension of) the theory of arrays with extensionality.

For example, in figure 2 we show an example of similarity with respect to logical connectives between the formulas and (for legibility reasons, each represents a ground

In the previous section we introduce Phi–calculus as a model for the design of DLEs under a particular perspective: the one of the exchanges taking place between a

[r]

[r]

This paper presents ODEd, an ontology editor that supports the definition of con- cepts, relations and properties, using graphic representations, besides promoting automatic