Mostrando 2 resultados de: 2
Filtros aplicados
Automatic implementation system of security protocols based on formal description techniques
Conference ObjectAbstract: We present an automatic implementation system of security protocols based in formal description techPalabras claves:Autores:Barcia N., Ernesto Jiménez, Menasalvas Ruiz E., Mengual L., Setién J., Yágüez J.Fuentes:scopusMódulo de recuperación de fallos de los procesos de un sistema FreeBSD utilizando variables en disco
OtherAbstract: This paper describes the creation of a crash-recovery module of the processes in a reliable communicPalabras claves:Autores:David Guevara Guevara, David Omar Guevara Aulestia, Ernesto Jiménez, Franklin Mayorga Mayorga, Javier VargasFuentes:googlerraae