Zobrazeno 1 - 10
of 242
pro vyhledávání: '"Talcott, C."'
Publikováno v:
In Electronic Notes in Theoretical Computer Science 2000 36:405-425
Conference
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:
WRLA
Proceedings 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006) 1-2 April 2006, Vienna, Austria, 233-247
STARTPAGE=233;ENDPAGE=247;TITLE=Proceedings 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006) 1-2 April 2006, Vienna, Austria
Proceedings 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006) 1-2 April 2006, Vienna, Austria, 233-247
STARTPAGE=233;ENDPAGE=247;TITLE=Proceedings 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006) 1-2 April 2006, Vienna, Austria
We present an overview of rewriting-based systems that were presented at the workshop.
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:
Proceedings of the 6th International Workshop on Formal Aspects of Component Software (FACS'09, Eindhoven, The Netherlands, November 2-3, 2009), 129-143
STARTPAGE=129;ENDPAGE=143;TITLE=Proceedings of the 6th International Workshop on Formal Aspects of Component Software (FACS'09, Eindhoven, The Netherlands, November 2-3, 2009)
STARTPAGE=129;ENDPAGE=143;TITLE=Proceedings of the 6th International Workshop on Formal Aspects of Component Software (FACS'09, Eindhoven, The Netherlands, November 2-3, 2009)
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modelingself-adaptive systems. In this model, policies are used as a mechanism to direct and adapt the behaviorof self-adaptive systems. A PobSAM model con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::59b255f8857cf31a3c5cca103af980eb
https://research.tue.nl/en/publications/ba35b421-4d1f-4c57-800a-ca43a504f6a7
https://research.tue.nl/en/publications/ba35b421-4d1f-4c57-800a-ca43a504f6a7
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:
Coordination languages and models : Proceedings of the 5th International Conference Coordination Models and Languages7th International Conference (COORDINATION 2002) 20-23 April 2002 York, UK, 174-190
STARTPAGE=174;ENDPAGE=190;TITLE=Coordination languages and models : Proceedings of the 5th International Conference Coordination Models and Languages7th International Conference (COORDINATION 2002) 20-23 April 2002 York, UK
Lecture Notes in Computer Science ISBN: 9783540434108
COORDINATION
STARTPAGE=174;ENDPAGE=190;TITLE=Coordination languages and models : Proceedings of the 5th International Conference Coordination Models and Languages7th International Conference (COORDINATION 2002) 20-23 April 2002 York, UK
Lecture Notes in Computer Science ISBN: 9783540434108
COORDINATION
We investigate the use of communication protocols and coordination languages (henceforth interaction languages) for high-volume consumer electronics products in the multimedia application domain. Interaction languages are used to reduce the cost of d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::66928c5152e1e5d5bd6c9424a25e0e42
https://research.tue.nl/nl/publications/e20990e9-5b2c-4419-a5f8-96a3642565cc
https://research.tue.nl/nl/publications/e20990e9-5b2c-4419-a5f8-96a3642565cc