Buscar
Mostrando ítems 31-40 de 31292
Sealing Check
(2017)
Business Process Veri cation: The Application of Model Checking and Timed Automata
(Centro Latinoamericano de Estudios en Informática, 2014)
Purposes, Principles, and Difficulties of Fact-checking inIbero-America: Journalists’Perceptions
(JOURNALISM PRACTICE, 2022)
Fact-checking journalism has become a common practice tocounteract misinformation. This research analyzes theperceptions of fact-checkers in Ibero-America on the purposes,principles, and challenges of fact-checking. ...
Diseño de la APP como herramienta innovadora que facilita los procesos de Check in/ Check out (CICO) en los usuarios del Hotel San Marcos- Taganga
(Universidad del MagdalenaFacultad de Ciencias Empresariales y EconómicasAdministración de Empresas Turísticas y Hoteleras, 2022)
A TOOL BASED ON DL FOR UML MODEL CONSISTENCY CHECKING
(WORLD SCIENTIFIC PUBL CO PTE LTD, 2008-09)
Automated consistency checking of UML models becomes necessary as models grow in
size and complexity. Since the UML metamodel does not enforce model consistency,
there are no fixed guidelines on how to approach the ...
Model checking LTL formulae in RAISE with FDR
(Scopus, 2009)
TheRaise SpecificationLanguage (RSL) is a modeling languagewhich supports various specification styles. To apply model checking to RSL concurrent descriptions, we translate RSL specifications into the input language CSPM ...
El cheque: marco legal y reglamentario vigente en el Ecuador
(2016)
ABSTRACT
This research, entitled "The legal check and regulation framework in Ecuador" refers to a deep analysis of the provisions of the Organic Monetary and Financial Code such as the General Regulations of the Checks ...
El FACT CHECKING del Noticiero 24 Horas durante la pandemia en el cantón Pasaje ciudadela Miraflores 2020.
(Universidad de Guayaquil: Facultad de Comunicación Social, 2021-09)
EL objetivo principal de esta investigación es demostrar la importancia del Fact
Checking del noticiero 24 Horas, durante la pandemia, en el cantón Pasaje, ciudadela Miraflores, durante el año 2020. Para el desarrollo de ...