Search Sciweavers | Sciweavers

2272 search results - page 165 / 455

» A Calculus for

159

click to vote

ACTA
2005

90views more ACTA 2005»

MOMI: a calculus for mobile mixins

15 years 4 months ago

Download www.di.unito.it

MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuri...

Lorenzo Bettini, Betti Venneri, Viviana Bono

claim paper

Read More »

click to vote

JACIII
2007

48views more JACIII 2007»

Experimental Signal Analysis of Robot Impacts in a Fractional Calculus Perspective

15 years 4 months ago

Download www.fujipress.jp

Miguel F. M. Lima, José António Tenr...

claim paper

Read More »

133

click to vote

CJ
2004

105views more CJ 2004»

Generalized Template Splay: A Basic Theory and Calculus

15 years 4 months ago

Download www.cedar-forest.org

act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...

George F. Georgakopoulos, David J. McClurkin

claim paper

Read More »

click to vote

CORR
2004
Springer

81views Education» more CORR 2004»

A Sequent Calculus and a Theorem Prover for Standard Conditional Logics

15 years 4 months ago