skip to main content
Idioma:
Resultados 1 2 3 4 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 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (4)

Data de Publicação 

De até
Refinar
  1. Antes de2002  (4)
  2. 2002Até2005  (8)
  3. 2006Até2010  (12)
  4. 2011Até2015  (13)
  5. Após 2015  (4)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.