Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Guzman, Michell"'
Autor:
Guzmán, Michell, Knight, Sophia, Quintero, Santiago, Ramírez, Sergio, Rueda, Camilo, Valencia, Frank
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infinite groups. We characte
Externí odkaz:
http://arxiv.org/abs/2010.10667
Publikováno v:
In: Runtime Verification. RV 2020. Lecture Notes in Computer Science, vol 12399. Springer, Cham
Software enforcers can be used to modify the runtime behavior of software applications to guarantee that relevant correctness policies are satisfied. Indeed, the implementation of software enforcers can be tricky, due to the heterogeneity of the situ
Externí odkaz:
http://arxiv.org/abs/2010.04258
Autor:
Guzmán, Michell, Knight, Sophia, Quintero, Santiago, Ramírez, Sergio, Rueda, Camilo, Valencia, Frank
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming June 2021 121
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:
ENTCS: Electronic Notes in Theoretical Computer Science; Mar2013, Vol. 293, p17-34, 18p
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:
Guzman, Michelle Barna
Publikováno v:
Biblioteca Digital de Teses e Dissertações da PUC_SPPontifícia Universidade Católica de São PauloPUC_SP.
Made available in DSpace on 2016-04-27T18:12:19Z (GMT). No. of bitstreams: 1 Michelle Barna Guzman.pdf: 1703779 bytes, checksum: 68352f5892cec094784243fe934f0b1c (MD5) Previous issue date: 2007-02-27
Objective: Identify complaints related to the
Objective: Identify complaints related to the
Externí odkaz:
https://tede2.pucsp.br/handle/handle/12087