Buscar
Mostrando ítems 1-10 de 3105
Chaperone contracts for higher-order sessions
(ACM, 2017-08)
Contracts have proved to be an effective mechanism that helps developers in identifying those modules of a program that violate the contracts of the functions and objects they use. In recent years, sessions have established ...
Probabilistic analysis of binary sessions
(Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2020-08)
We study a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains. The probability annotations in session types enable the reasoning on the probability that a session terminates ...
Analysis of masquerade detectors performance under synthesized sessions-Edición Única
(Instituto Tecnológico y de Estudios Superiores de Monterrey, 2006-12-01)
Informatics security has nowadays become an important research topic given the impact of the computers
for mankind. As computers become more important, so the interests, risks and informatics attacks. With
this work we ...
Resolving Non-determinism in Choreographies
(Springer, 2014-04)
Resolving non-deterministic choices of choreographies is a crucial task. We introduce a novel notion of realisability for choreographies –called whole-spectrum implementation– that rules out deterministic implementations ...
Internship at saber pro cross curricular competences: english course
(Facultad de Educación y Ciencias HumanasMontería, Córdoba, ColombiaLicenciatura en Educación Básica con Énfasis en Humanidades-Inglés, 2021)
Efectos sesión por sesión de la depilación láser en axilas
(Universidad del RosarioEspecialización en Medicina Estética y laserFacultad de Medicina, 2012)
Introduction: Results of laser hair removal vary between different types of devices and patient characteristics, achieving reductions of up to 25% per session in available literature. In clinical practice hair count is ...
Modular composition of session types
(Universidad de Chile, 2015)
En el campo de los sistemas distribuidos, lograr la coordinación entre diversas unidades de cómputo y sub-sistemas es una tarea compleja, pues cada unidad de computo se comporta distinta a las demás, de forma concurrente ...