Refine your Search
Author
Subject
Year
Your search
1-10 from 243 results
(0.013 seconds)
-
Title: Verificación de propiedades temporales de diseños community: un caso de estudioAuthor: Aguirre, Nazareno Matías / Regis, GermánLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Temporal logic / Design languages / Verification
-
Title: Practical verification strategy for refinement conditions in UML modelsAuthor: Pons, Claudia / García, DiegoLanguage: InglésRepository: 37Subject: Ciencias Informáticas / UML models / Verification / Language models
-
Title: Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPINLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Distributed Systems / Model checking / Simulation / Verification
-
Title: Model checking RAISE applicative specificationsAuthor: Perna, Juan I. / George, Chris W.Language: InglésRepository: 37Subject: Ciencias Informáticas / Model checking / Formal methods / Verification
-
Title: CCMini: a prototype of certifying compiler based on annotated abstract syntax treesAuthor: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel AlfredoLanguage: InglésRepository: 37Subject: Ciencias Informáticas / Verification / Lenguajes de Programación / Compilers / Security
-
Title: Manejo de Datos Adaptativos: MADLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Software / Management / Data / Distributed Systems
-
Title: Avances sobre aplicaciones optimizadas para Smart Tv: “Tv-Widgets”Author: Medina, Gastón N. / Gaite, Eduardo / Gándara, DanielLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Software / Advanced technologies / Televisión / tv-widgets / smart tv / Internet / connected-tv / set-top box / konfabulator
-
Title: Recursos intangibles y el cambio en las organizacionesAuthor: Fénnema, Marta Cristina / Figueroa, Liliana Maria / Palavecino, Rosa / Flores, Carola Victoria / Poliche, María ValeriaLanguage: EspañolRepository: 37
-
Title: Interoperabilidad en cloud computingAuthor: Rodríguez, Nicolás / Chávez, Susana Beatriz / Martín, Adriana Elizabeth / Murazzo, María Antonia / Valenzuela, AdrianaLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Software / Web-based services / Cloud Computing / utility computing / virtualización / SaaS / PaaS
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723