OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: INFORMATION SYSTEMS" Repository: 65 Document Type: Sin Especificar Language: Inglés Year: 2016

Sort by Score Title Year -

1-5 from 5 results (0.012 seconds)

Title: Expansive dynamical systems
Language: Inglés
Repository: 65
Subject: SISTEMAS DINÁMICOS / HOMEOMORFISMOS / EXPANSIVIDAD / CW-EXPANSIVIDAD / N-EXPANSIVIDAD / HIPEREXPANSIVIDAD / EXPANSIVIDAD CINEMÁTICA Y GEOMÉTRICA / EXPANSIVIDAD POSITIVA / EXPANSIVIDAD ROBUSTA

Acceder
Title: Formally verified countermeasures against cache based attacks in virtualization platforms
Language: Inglés
Repository: 65
Subject: Non-interference / Cache-based attacks / Constant-time cryptography / Stealth memory / Coq / No interferencia / Ataques basados en cache / Criptografía constant-time

Acceder
Title: Formalizing alternating-time temporal logic in the coq proof assistant
Language: Inglés
Repository: 65
Subject: Alternating-time temporal logic (ATL)

Acceder
Title: A Multi-Tree Committee to Assist Port-of-entry Inspection Decisions
Language: Inglés
Repository: 65
Subject: Inspection policy / Multi-tree committee / Risk analysis / Port-of-entry / Binary decision tree

Acceder
Title: QB4OLAP : Enabling business intelligence over semantic web data
Language: Inglés
Repository: 65
Subject: Web semántica / OLAP / Datos multidimensionales / Semantic web / Multidimensional data

Acceder

« Previous 1 Next »