skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Software remover Science Citation Index Expanded (Web of Science) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Impact of Denial of Service Attacks on Ad Hoc Networks
Impact of Denial of Service Attacks on Ad Hoc Networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Impact of Denial of Service Attacks on Ad Hoc Networks

Aad, I. ; Hubaux, J.-P. ; Knightly, E.W.

IEEE/ACM transactions on networking, 2008-08, Vol.16 (4), p.791-802 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
2
A Hazards-Based Correctness Statement for Pipelined Circuits
A Hazards-Based Correctness Statement for Pipelined Circuits
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Hazards-Based Correctness Statement for Pipelined Circuits

Aagaard, Mark D.

Correct Hardware Design and Verification Methods, 2003, p.66-80 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Relating Multi-step and Single-Step Microprocessor Correctness Statements
Relating Multi-step and Single-Step Microprocessor Correctness Statements
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Relating Multi-step and Single-Step Microprocessor Correctness Statements

Aagaard, Mark D. ; Day, Nancy A. ; Lou, Meng

Formal Methods in Computer-Aided Design, 2002, p.123-141 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving
Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving

Aagaard, Mark D. ; Melham, Thomas F. ; O’Leary, John W.

Correct Hardware Design and Verification Methods, 1999, p.202-218 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Trespass, nuisance, and spam: 11th century common law meets the internet
Trespass, nuisance, and spam: 11th century common law meets the internet
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Trespass, nuisance, and spam: 11th century common law meets the internet

Aalberts, Robert ; Poon, Percy ; Thistle, Paul

Communications of the ACM, 2007-12, Vol.50 (12), p.40-45

New York, NY: ACM

Texto completo disponível

Citações Citado por
6
The threat of long-arm jurisdiction to electronic commerce
The threat of long-arm jurisdiction to electronic commerce
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

The threat of long-arm jurisdiction to electronic commerce

Aalberts, Robert ; Townsend, Anthony ; Whitman, Michael

Communications of the ACM, 1998-12, Vol.41 (12), p.15-20

New York: ACM

Texto completo disponível

Citações Citado por
7
Hybrid Architectures for Efficient and Secure Face Authentication in Embedded Systems
Hybrid Architectures for Efficient and Secure Face Authentication in Embedded Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hybrid Architectures for Efficient and Secure Face Authentication in Embedded Systems

Aaraj, N. ; Ravi, S. ; Raghunathan, A. ; Jha, N.K.

IEEE transactions on very large scale integration (VLSI) systems, 2007-03, Vol.15 (3), p.296-308 [Periódico revisado por pares]

Piscataway, NJ: IEEE

Texto completo disponível

Citações Citado por
8
A framework for defending embedded systems against software attacks
A framework for defending embedded systems against software attacks
Material Type:
Artigo 		Adicionar ao Meu Espaço

A framework for defending embedded systems against software attacks

Aaraj, Najwa ; Raghunathan, Anand ; Jha, Niraj

ACM transactions on embedded computing systems, 2011-04, Vol.10 (3), p.1-23 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
9
Quantum money
Quantum money
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Quantum money

Aaronson, Scott ; Farhi, Edward ; Gosset, David ; Hassidim, Avinatan ; Kelner, Jonathan ; Lutomirski, Andrew

Communications of the ACM, 2012-08, Vol.55 (8), p.84-92

New York, NY: ACM

Texto completo disponível

Citações Citado por
10
Designing concurrent and distributed control systems
Designing concurrent and distributed control systems
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Designing concurrent and distributed control systems

Aarsten, Amund ; Brugali, Davide ; Menga, Giuseppe

Communications of the ACM, 1996-10, Vol.39 (10), p.50-58

New York: ACM

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (24.056)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (25.748)
  2. magazinearticle  (2.668)
  3. Anais de Congresso  (1.183)
  4. Book Chapters  (558)
  5. Resenhas  (35)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1967  (67)
  2. 1967Até1980  (266)
  3. 1981Até1994  (4.626)
  4. 1995Até2009  (11.018)
  5. Após 2009  (14.217)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (9.532)
  2. Português  (30)
  3. Espanhol  (27)
  4. Francês  (8)
  5. Alemão  (4)
  6. Norueguês  (3)
  7. Russo  (1)
  8. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.