skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal verification of information flow security for a simple arm-based separation kernel
Formal verification of information flow security for a simple arm-based separation kernel
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Formal verification of information flow security for a simple arm-based separation kernel

Dam, Mads ; Guanciale, Roberto ; Khakpour, Narges ; Nemati, Hamed ; Schwarz, Oliver

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.223-234

ACM

Texto completo disponível

Citações Citado por
2
Instrument support modules for the SOAR telescope
Instrument support modules for the SOAR telescope
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Instrument support modules for the SOAR telescope

Santoro, Fernando G ; Ingerson, Thomas E ; Schwarz, Hugo E ; Tighe, Roberto ; Martinez, Manuel ; Gallardo, Juan ; Ochoa, Hugo

Proceedings of SPIE, 2004, Vol.5489, p.913-926

SPIE

Texto completo disponível

Citações Citado por
3
SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical Systems
SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical Systems

Hernández Luz, Carles ; Flich Cardo, José ; Paredes Palacios, Roberto ; Lefebvre, Charles-Alexis ; Allende, Imanol ; Abella, Jaume ; Trilla, David ; Matschnig, Martin ; Fischer, Bernhard ; Schwarz, Konrad ; Kiszka, Jan ; Ronnback, Martin ; Klockars, Johan ; McGuire, Nicholas ; Rammerstorfer, Franz

IEEE 2020

Texto completo disponível

Citações Citado por
4
The SOAR optical imager: status and first results
The SOAR optical imager: status and first results
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The SOAR optical imager: status and first results

Schwarz, Hugo E ; Ashe, Michael C ; Boccas, Maxime ; Bonati, Marco ; Delgado, Francisco ; Gavez, Ramon ; Martinez, Manuel ; Schurter, Patricio ; Schmidt, Ricardo ; Tighe, Roberto ; Walker, Alistair R

SPIE 2004

Texto completo disponível

Citações Citado por
5
Dynamic provable data possession
Dynamic provable data possession
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Dynamic provable data possession

Erway, Chris ; Küpçü, Alptekin ; Papamanthou, Charalampos ; Tamassia, Roberto

Proceedings of the 16th ACM conference on computer and communications security, 2009, p.213-222

ACM

Texto completo disponível

Citações Citado por
6
Scalable and efficient provable data possession
Scalable and efficient provable data possession
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Scalable and efficient provable data possession

Ateniese, Giuseppe ; Di Pietro, Roberto ; Mancini, Luigi ; Tsudik, Gene

Proceedings of the 4th international conference on security and privacy in communication netowrks, 2008, p.1-10

ACM

Texto completo disponível

Citações Citado por
7
Efficient integrity checking of untrusted network storage
Efficient integrity checking of untrusted network storage
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Efficient integrity checking of untrusted network storage

Heitzmann, Alexander ; Palazzi, Bernardo ; Papamanthou, Charalampos ; Tamassia, Roberto

Proceedings of the 4th ACM international workshop on storage security and survivability, 2008, p.43-54

ACM

Texto completo disponível

Citações Citado por
8
On the limits of effectiveness in estimation of distribution algorithms
On the limits of effectiveness in estimation of distribution algorithms
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

On the limits of effectiveness in estimation of distribution algorithms

Echegoyen, Carlos ; Qingfu Zhang ; Mendiburu, Alexander ; Santana, Roberto ; Lozano, Jose A.

2011 IEEE Congress of Evolutionary Computation (CEC), 2011, p.1573-1580 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
9
Q-CP: Learning Action Values for Cooperative Planning
Q-CP: Learning Action Values for Cooperative Planning
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Q-CP: Learning Action Values for Cooperative Planning

Riccio, Francesco ; Capobianco, Roberto ; Nardi, Daniele

2018 IEEE International Conference on Robotics and Automation (ICRA), 2018, p.6469-6475

IEEE

Texto completo disponível

Citações Citado por
10
Exact Bayesian network learning in estimation of distribution algorithms
Exact Bayesian network learning in estimation of distribution algorithms
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Exact Bayesian network learning in estimation of distribution algorithms

Echegoyen, C. ; Lozano, J.A. ; Santana, R. ; Larranaga, P.

2007 IEEE Congress on Evolutionary Computation, 2007, p.1051-1058 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (4)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.