Buscar
Mostrando ítems 1-10 de 381
Semantics for Interactive Sequential Systems and Non-Interference Properties
(Centro Latinoamericano de Estudios en Informática, 2011)
Multi-Sincronização em menssage sequence charts
(Universidade Federal de Pernambuco, 2014)
Particionamento semi-automático de reduções cíclicas para execução em anthill
(Universidade Federal de Minas GeraisUFMG, 2006-08-03)
Extracting information from large datasets is one of the challenging new demands in Computer Science. To accomplish that, several Data Mining techniques are being proposed continually in the literature. Such algorithms are ...
Discourse and mental health: Voice, inequality and resistance in medical settings
(Routledge, 2018)
This book is the result of years of fieldwork at a public hospital located in an immigrant neighborhood in Buenos Aires, Argentina. It focuses on the relationships between diversity and inequality in access to mental ...
A CSP-theoretic Framework of Checking Conformance of Business Processes
(IEEE, 2012)
In this paper, we tackle the problem of conformance checking which verifies if the event logs (observed) match/fit the reference (arbitrary) process. We use concepts from Communicating Sequential Processes (CSP), which ...
NAT2TEST: generating test cases from natural language requirements based on CSP
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2016)
Sistemas distribuídos aplicados à compressão e recuperação de imagens
(Universidade Estadual de Maringá (UEM), Pro-reitoria Pesquisa Pos-graduacao, 2008-01-01)
Digital image processing is a field that demands great processing capacity. As such it becomes relevant to implement software that is based on the distribution of the processing into several nodes divided by computers ...
Sistemas distribuídos aplicados à compressão e recuperação de imagens
(Universidade Estadual de Maringá (UEM), Pro-reitoria Pesquisa Pos-graduacao, 2008-01-01)
Digital image processing is a field that demands great processing capacity. As such it becomes relevant to implement software that is based on the distribution of the processing into several nodes divided by computers ...
Sistemas distribuídos aplicados à compressão e recuperação de imagens
(2008-12-01)
Digital image processing is a field that demands great processing capacity. As such, it becomes relevant to implement software that is based on the distribution of the processing into several nodes divided by computers ...
Educación intercultural en clave de comunicación institucional para una universidad plural. Caso UCLV / Intercultural Education in key of institutional communication for a plural university. The case of UCLV
(Facultad de Humanidades de la Universidad Central "Marta Abreu" de Las Villas, 2022)