Zobrazeno 1 - 10
of 69
pro vyhledávání: '"J. Leneutre"'
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.
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.
Autor:
Patrick Bellot, Jean-Pierre Cottin, Bernard Robinet, Emmanuel Zarpas, Djamil Sarni, J. Leneutre
Publikováno v:
Studia Logica. 62:77-105
We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e909322bcfab68df752e539acb52797
https://doi.org/10.1023/a:1005124501371
https://doi.org/10.1023/a:1005124501371
Autor:
J. Leneutre, M. Aljnidi
Publikováno v:
2008 3rd International Conference on Information and Communication Technologies: From Theory to Applications.
Most of ad-hoc network features encourage self- management. This paper introduces security solutions for ad-hoc networks, taking into consideration their need for an autonomic nature. After defining autonomic networks, we present the MAutoNet (mobile
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb5651674d4ebdacb129974d179d02a2
https://doi.org/10.1109/ictta.2008.4530194
https://doi.org/10.1109/ictta.2008.4530194
Publikováno v:
ICWMC
Routing protocols in ad hoc networks are vulnerable to various attacks. Many solutions have been proposed to secure ad hoc routing protocols in recent research but often at the price of significant traffic and processing overhead, which may be undesi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bcd2d4c535e6f5e1b1a02383acc755c3
https://doi.org/10.1109/icwmc.2006.14
https://doi.org/10.1109/icwmc.2006.14
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.
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.
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.
Kniha
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.