Zobrazeno 1 - 10
of 363
pro vyhledávání: '"Logiques temporelles"'
Autor:
David, Amélie
Dans cette thèse, nous essayons de fournir des outils automatisés pour élaborer des systèmes ouverts sûrs. Les systèmes ouverts, qui peuvent être vus comme des systèmes multi-agents, peuvent être spécifiés en ATL. La logique ATL a été in
Externí odkaz:
http://www.theses.fr/2015SACLE020
Autor:
David, Amélie
Publikováno v:
Computation and Language [cs.CL]. Université Paris-Saclay; Université d'Evry-Val-d'Essonne, 2015. English. ⟨NNT : 2015SACLE020⟩
In this thesis, we try to provide automated tools to design safe open systems. Open systems, which can be viewed as multi-agent systems, may be specified in ATL. The logic ATL has been especially introduced for that purpose. There exist two relevant
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::859ad1aaed723105d4de6262f9b57fb7
https://hal.archives-ouvertes.fr/tel-01764394/file/TheseAjourAmelie.pdf
https://hal.archives-ouvertes.fr/tel-01764394/file/TheseAjourAmelie.pdf
Autor:
Radu Mateescu
Publikováno v:
Techniques et sciences informatiques. 22:461-495
La verification formelle est indispensable pour assurer la fiabilite des applications complexes et critiques comme les protocoles de telecommunication et les systemes repartis. L'approche basee sur les modeles (model checking) consiste a traduire l'a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::239ba7a036ddbbfc36c1435fa12e8d29
https://doi.org/10.3166/tsi.22.461-495
https://doi.org/10.3166/tsi.22.461-495
Autor:
Marc Bessin, Hervé Levilain
Publikováno v:
Recherches et Prévisions. 76:23-38
A partir des premiers resultats d’une recherche menee sur la parentalite tardive, les auteurs montrent, du cote des peres, les caracteristiques sociodemographiques du phenomene et declinent les processus biographiques qui en sont au principe. Les l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2de4adf146bf146085de6aaf8dbb3b40
https://doi.org/10.3406/caf.2004.2783
https://doi.org/10.3406/caf.2004.2783
Autor:
Chareton, Christophe
Ces travaux concernent la modélisation formelle d’exigences et les interactions entre agents. Nous y avons développé un langage de modélisation pour les exigences d’un système à élaborer, KHI. En s’inspirant notamment des méthodes KAOS
Externí odkaz:
http://www.theses.fr/2014ESAE0020/document
Autor:
Bessin, Marc, Levilain, Hervé
Publikováno v:
Revue des politiques sociales et familiales
Revue des politiques sociales et familiales, Caisse nationale des allocations familiales, 2004, pp.23-38
Revue des politiques sociales et familiales, Caisse nationale des allocations familiales, 2004, pp.23-38
Late fatherhood. Temporal logics and conjugal negotiations. Using initial results from research into late parenthood, the authors show the socio-demographic characteristics of the phenomenon as it concerns fathers and set out the underlying life-cour
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::946d6d4bcff05df519cdfb3b6cc40327
https://hal.univ-lorraine.fr/hal-03003132
https://hal.univ-lorraine.fr/hal-03003132
Autor:
Mateescu, Radu
Publikováno v:
RR-5032, INRIA. 2003
La vérification formelle est indispensable pour assurer la fiabilité des applications complexes et critiques comme les protocoles de télécommunication et les systèmes répartis. L'approche basée sur les modèles (model checking) consiste à tra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8f32624389f54487bd9716c64a9024b3
https://inria.hal.science/inria-00071552/file/RR-5032.pdf
https://inria.hal.science/inria-00071552/file/RR-5032.pdf
Autor:
Georges Martin
Publikováno v:
Périodiques Scientifiques en Édition Électronique.
Martin Georges. Temporalités (Trois logiques temporelles du récit historique médiéval). In: Annexes des Cahiers de linguistique hispanique médiévale, volume 11, 1997. Histoires de l'Espagne médiévale (historiographie, geste, romancero) pp. 57
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0cd1c263bbf6f056469ffc6a35e02757
https://www.persee.fr/doc/cehm_0180-9997_1997_sup_11_1_2182
https://www.persee.fr/doc/cehm_0180-9997_1997_sup_11_1_2182
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:
Fortin, Marie
Publikováno v:
Autre [cs.OH]. Université Paris-Saclay, 2020. Français. ⟨NNT : 2020UPASG046⟩
This thesis is concerned with the expressive power of first-order logic and other formalisms over different classes of ordered structures, among which MSCs (Message Sequence Charts), a standard model for executions of message-passing systems. This st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::b2d6b97de3e55cc339f4adaa850be0fc
https://tel.archives-ouvertes.fr/tel-03079438/file/84743_FORTIN_2020_archivage.pdf
https://tel.archives-ouvertes.fr/tel-03079438/file/84743_FORTIN_2020_archivage.pdf