Zobrazeno 1 - 10
of 62
pro vyhledávání: '"Senni, V."'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Lecture notes in computer science 8950 (2015): 619–640.
info:cnr-pdr/source/autori:Latella D.; Loreti M.; Massink M.; Senni V./titolo:On StocS: A stochastic extension of SCEL/doi:/rivista:Lecture notes in computer science/anno:2015/pagina_da:619/pagina_a:640/intervallo_pagine:619–640/volume:8950
info:cnr-pdr/source/autori:Latella D.; Loreti M.; Massink M.; Senni V./titolo:On StocS: A stochastic extension of SCEL/doi:/rivista:Lecture notes in computer science/anno:2015/pagina_da:619/pagina_a:640/intervallo_pagine:619–640/volume:8950
Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time through the evaluation of a predicate, in a multicast fashion. Predicate-based communication ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=cnr_________::c30018ac2d0b00a39ec0f742dd8239b1
http://www.scopus.com/inward/record.url?eid=2-s2.0-84924401848&partnerID=q2rCbXpz
http://www.scopus.com/inward/record.url?eid=2-s2.0-84924401848&partnerID=q2rCbXpz
Autor:
Galpin V., Bortolussi L., Ciancia V., Clark A., De Nicola R., Feng C., Gilmore S., Gast N., Hillston J., Lluch-Lafuente A., Loreti M., Massink M., Nenzi L., Reijsbergen D., Senni V., Tiezzi F., Tribastone M., Tschaikowski M.
Publikováno v:
Project report, QUANTICOL, Deliverable D2.1, 2014
Space is important in the QUANTICOL project because the project case studies include smart transport, and quantitative modelling of transport has inherent spatial aspects. This deliverable presents a review of the literature about spatial modelling w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::336f5c0635d50901879359157354aee2
http://www.cnr.it/prodotto/i/362768
http://www.cnr.it/prodotto/i/362768
Publikováno v:
ISTI Technical reports, 2014
Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time through the evaluation of a predicate, in a multicast fashion. Predicate-based communication ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::501394c81d98037b1202661b0793a020
http://milner.inf.ed.ac.uk/wiki/files/q1W0J1x5y/StocSTRQcolpdf.html
http://milner.inf.ed.ac.uk/wiki/files/q1W0J1x5y/StocSTRQcolpdf.html
Autor:
Bortolussi L., De Nicola R., Feng C., Galpin V., Hillston J., Latella D., Loreti M., Massink M., Senni V.
Publikováno v:
Project report, QUANTICOL, Deliverable D4.1, 2014
We report on the progress made with the development of CAS-SCEL for what concerns its design principles and the identication of primitives (such as movement primitives or space abstraction primitives) and interaction patterns (such as broadcast commu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::13d7b0cf457aa34a4652338ac0d6c7b7
https://openportal.isti.cnr.it/doc?id=people______::13d7b0cf457aa34a4652338ac0d6c7b7
https://openportal.isti.cnr.it/doc?id=people______::13d7b0cf457aa34a4652338ac0d6c7b7
Publikováno v:
Fundamenta informaticae 127 (2013): 115–134.
info:cnr-pdr/source/autori:Fioravanti F., Pettorossi A., Proietti M., Senni V./titolo:Proving Theorems by Program Transformation/doi:/rivista:Fundamenta informaticae/anno:2013/pagina_da:115/pagina_a:134/intervallo_pagine:115–134/volume:127
info:cnr-pdr/source/autori:Fioravanti F., Pettorossi A., Proietti M., Senni V./titolo:Proving Theorems by Program Transformation/doi:/rivista:Fundamenta informaticae/anno:2013/pagina_da:115/pagina_a:134/intervallo_pagine:115–134/volume:127
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=cnr_________::e2be059a38b2439d186f8d80a0d15190
http://www.cnr.it/prodotto/i/268084
http://www.cnr.it/prodotto/i/268084
Autor:
Giorgetti, A., Senni, V.
Publikováno v:
GASCom 2012-8th International Conference on random generation of combinatorial structures
GASCom 2012-8th International Conference on random generation of combinatorial structures, Jun 2012, Bordeaux, France
8th International Conference on random generation of combinatorial structures (GASCom'12), LaBRI, Bourdeaux, 25-27/06/2012
info:cnr-pdr/source/autori:Giorgetti, A.; Senni, V./congresso_nome:8th International Conference on random generation of combinatorial structures (GASCom'12)/congresso_luogo:LaBRI, Bourdeaux/congresso_data:25-27%2F06%2F2012/anno:2012/pagina_da:/pagina_a:/intervallo_pagine
GASCom 2012-8th International Conference on random generation of combinatorial structures, Jun 2012, Bordeaux, France
8th International Conference on random generation of combinatorial structures (GASCom'12), LaBRI, Bourdeaux, 25-27/06/2012
info:cnr-pdr/source/autori:Giorgetti, A.; Senni, V./congresso_nome:8th International Conference on random generation of combinatorial structures (GASCom'12)/congresso_luogo:LaBRI, Bourdeaux/congresso_data:25-27%2F06%2F2012/anno:2012/pagina_da:/pagina_a:/intervallo_pagine
International audience; This paper presents specifications and implementations of algorithms for the generation of planarLehman words (that is, A. B. Lehman's code for rooted planar maps), together with their validation.The focus is on computer assis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e5285f083b45f1b7ea7e29ba45d80b7a
https://hal.inria.fr/hal-00753008
https://hal.inria.fr/hal-00753008