Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
6
Languages
2
SOFTWARE ENGINEERING
2
Theory of Computation
2
proof-carrying code
2
CODING AND INFORMATION THEORY
1
Code generation
1
Código Móvil Seguro (CMS)
1
Formal Definitions and Theory
1
Informática
1
Mobile Code
1
Program verification
1
Programming Languages
1
Proof Carrying Code (PCC)
1
Proof-Carrying Code
1
Security Properties
1
Software
1
base de datos
1
certifying compilation
1
concurrencia
1
código
1
código móvil seguro
1
herramientas
1
informática
1
lenguajes
1
mobile code
1
procesadores de lenguajes
1
static analysis
1
teoría de Lipton
1
-
1
-
2por Nordio, Martín, Bavera, Francisco, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel AlfredoMaterias: “...Mobile Code...”
Publicado 2004
Aportado por: SEDICI (UNLP)Objeto de conferencia -
3
-
4por Aguirre, Jorge, Medel, Ricardo, Arroyo, Marcelo, Florio, Nicolás, Bavera, Francisco, Caymes Scutari, Paola, Nordio, D.Materias: “...proof-carrying code...”
Publicado 2003
Aportado por: SEDICI (UNLP)Objeto de conferencia -
5por Bavera, FranciscoMaterias: “...Code generation...”
Publicado 2007
Aportado por: SEDICI (UNLP)Objeto de conferencia -
6por Arroyo, Marcelo, Florio, Nicolás, Felippa, J., Aguirre, Jorge, Gómez, Gabriela, Bavera, Francisco, Caymes Scutari, Paola, Nordio, D.Materias: “...Proof Carrying Code (PCC)...”
Publicado 2002
Aportado por: SEDICI (UNLP)Objeto de conferencia