Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Monreale, Giacoma Valentina"'
Soft Constraint Logic Programming is a natural and flexible declarative programming formalism, which allows to model and solve real-life problems involving constraints of different types. In this paper, after providing a slightly more general and ele
Externí odkaz:
http://arxiv.org/abs/1212.2056
Publikováno v:
EPTCS 18, 2010, pp. 46-61
Reactive systems (RSs) represent a meta-framework aimed at deriving behavioral congruences for those computational formalisms whose operational semantics is provided by reduction rules. RSs proved a flexible specification device, yet so far most of t
Externí odkaz:
http://arxiv.org/abs/1002.2869
Publikováno v:
In Journal of Logic and Algebraic Programming 2011 80(2):113-136
Publikováno v:
Foundations of Software Science and Computational Structures ISBN: 9783642005954
FoSSaCS
FoSSaCS
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics is provided by rewriting rules. Despite its applicability, reactive sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::975ffbe1cd361c75b9e7990940618b07
https://ir.cwi.nl/pub/16675
https://ir.cwi.nl/pub/16675
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.
Autor:
Hoch, Nicklas, Monreale, Giacoma Valentina, Montanari, Ugo, Sammartino, Matteo, Siwe, Alain Tcheukam
Publikováno v:
Software Engineering for Collective Autonomic Systems; 2015, p185-220, 36p
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.
Autor:
Bures, Tomas, Nicola, Rocco De, Gerostathopoulos, Ilias, Hoch, Nicklas, Kit, Michal, Koch, Nora, Monreale, Giacoma Valentina, Montanari, Ugo, Pugliese, Rosario, Serbedzija, Nikola, Wirsing, Martin, Zambonelli, Franco
Publikováno v:
2013 IEEE 7th International Conference on Self-Adaptation & Self-Organizing Systems Workshops; 2013, p71-76, 6p