Results 171 to 180 of about 19,536 (227)

Timo Vartiainen kunniatohtoriksi

, 2020
openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Automatic Analysis of TiMo Systems in PAT

2013 18th International Conference on Engineering of Complex Computer Systems, 2013
TiMo is a process calculus for mobile systems where timers could be to used to control process mobility and interaction. Despite its syntactic simplicity, TiMo is able to describe complex systems. Interesting properties of such systems refers to process migration, time constraints, bounded liveness and optimal reachability.
Gabriel Ciobanu
exaly   +2 more sources

An Interview with Timo Teräsvirta

Studies in Nonlinear Dynamics & Econometrics, 2018
Terasvirta was carried out by Fredj Jawadi in June 2017 in Paris during the Third International Workshop on Financial Markets and Nonlinear Dynamics (www.fmnd.fr) for which Professor Terasvirta was a Guest of Honor for the Workshop. (This abstract was borrowed from another version of this item.)
openaire   +1 more source

Timo

2009
Il genere Thymus appartiene alla famiglia delle Lamiacaee e comprende numerose specie distribuite nell’area mediterranea. Il nome deriva dal greco “δίμοσ” (profumo) per sottolineare l’intenso e gradevole aroma che la pianta produce. Secondo altri autori il nome trae origine dalla parola egiziana “tham”, che si riferisce ad una pianta profumata usata ...
LA BELLA, Salvatore, VIRGA, Giuseppe
openaire   +1 more source

TiMo: Timed Mobility in Distributed Systems

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013
A simple and expressive formalism called TiMo is presented as a simplified version of timed distributed pi-calculus. TiMo aims to bridge the gap between the existing theoretical approach of process calculi and forthcoming realistic languages for multi-agent systems.
openaire   +1 more source