Search Sciweavers | Sciweavers

3061 search results - page 50 / 613

» interactions 2010

click to vote

ENTCS
2007

72views more ENTCS 2007»

Observational Equivalence for the Interaction Combinators and Internal Separation

13 years 9 months ago

Download www-lipn.univ-paris13.fr

We deﬁne an observational equivalence for Lafont’s interaction combinators, which we prove to be the least discriminating non-trivial congruence on total nets (nets admitting ...

Damiano Mazza

claim paper

Read More »

click to vote

ENTCS
2002

101views more ENTCS 2002»

Towards Automatic Mediation between Heterogeneous Software Components

13 years 9 months ago

Download page.mi.fu-berlin.de

An approach to software composition from heterogeneous components is presented. The focus is on heterogeneity of interaction styles. The interface of a component is described in an...

Klaus-Peter Löhr

claim paper

Read More »

click to vote

EOR
2000

64views more EOR 2000»

Determination of weights of interacting criteria from a reference set

13 years 9 months ago

Download www.math.byu.edu

In this paper, we present a model allowing to determine the weights related to interacting criteria. This is done on the basis of the knowledge of a partial ranking over a referen...

Jean-Luc Marichal, Marc Roubens

claim paper

Read More »

click to vote

ICS
2010
Tsinghua U.

129views Distributed And Parallel Com...» more ICS 2010»

Interactive Proofs For Quantum Computations

14 years 7 months ago

Download www.cs.huji.ac.il

Dorit Aharonov, Michael Ben-Or, Elad Eban

claim paper

Read More »