Zobrazeno 1 - 10
of 29
pro vyhledávání: '"005.131"'
Autor:
Horne, Tertia
We consider a number of temporal logics, some interval-based and some instant-based, and the choices that have to be made if we need to construct a computational framework for such a logic. We consider the axiomatisation of the accessibility relation
Externí odkaz:
http://hdl.handle.net/10500/16966
Autor:
Godfroy, Hubert
Le but de cette thèse est de trouver des modèles de haut niveau dans lesquelles l'auto-modification s'exprime facilement. Une donnée est lisible et modifiable, alors qu'un programme est exécutable. On décrit une machine abstraite où cette duali
Externí odkaz:
http://www.theses.fr/2017LORR0130/document
Autor:
Guzmán, Michell
Les comportement épistémiques, mobiles et spatiaux sont omniprésent dans les systèmes distribués aujourd’hui. La nature intrinsèque épistémique de ces types de systèmes provient des interactions des éleménts qui en font parties. La plupa
Externí odkaz:
http://www.theses.fr/2017SACLX064/document
Autor:
Methni, Amira
Avec l'évolution des technologies, la complexité des systèmes informatiques ne cesse de s'accroître. Parmi ces systèmes, on retrouve les logiciels critiques qui doivent offrir une garantie de sûreté de fonctionnement qui s'avère crucial et po
Externí odkaz:
http://www.theses.fr/2016CNAM1057/document
Autor:
Henaien, Amira
Les preuves par récurrence sont parfaitement adaptées au raisonnement sur des structures de données non-bornées, comme par exemple les entiers et les listes, ou, de manière plus générale, sur des ensembles d’éléments non vides munis d’or
Externí odkaz:
http://www.theses.fr/2015LORR0082/document
Autor:
Akhtar, Sabina
La conception d'algorithmes pour les systèmes concurrents et répartis est subtile et difficile. Ces systèmes sont enclins à des blocages et à des conditions de course et sont par conséquent difficiles à reproduire La vérification formelle est
Externí odkaz:
http://www.theses.fr/2012LORR0014/document
Dans le domaine de l'ingénierie du logiciel, les systèmes de types sont souvent considérés pour la prévention de l'occurrence de termes dénués de sens par rapport à une spécification des types. Dans le cadre de l'extension d'un langage de pr
Externí odkaz:
http://www.theses.fr/2012LORR0015/document
Autor:
Κατσικούλη, Παναγιώτα
Cellular automata (CA) are an idealization of a physical system where space and time are discrete and the physical quantities take only a finite set of values. Cellular automata consist of a regular grid of identical cells-nodes. Each node is charact
Externí odkaz:
http://hdl.handle.net/10889/4950
Autor:
Κακλαμάνης, Χρήστος, Katsikouli, Panagiota
Τα κυψελικά αυτόματα (ΚΑ) αποτελούν την εξιδανίκευση ενός φυσικού συστήματος όπου ο χώρος και ο χρόνος είναι διακριτοί και οι φυσικές πο
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1047::a8728872f93cb0471983f9e22ee20b84
http://hdl.handle.net/10889/4950
http://hdl.handle.net/10889/4950
Autor:
Coleman, Joseph William
The primary focus of this thesis is the semantic gap between a fine-grained structural operational semantics and a set of rely/guarantee-style development rules. The semantic gap is bridged by considering the development rules to be a part of the sam
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.445587