skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Network intrusion detection
Network intrusion detection
Material Type:
Artigo 		Adicionar ao Meu Espaço

Network intrusion detection

Mukherjee, B. ; Heberlein, L.T. ; Levitt, K.N.

IEEE network, 1994-05, Vol.8 (3), p.26-41 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
2
SIFT: Design and analysis of a fault-tolerant computer for aircraft control
SIFT: Design and analysis of a fault-tolerant computer for aircraft control
Material Type:
Artigo 		Adicionar ao Meu Espaço

SIFT: Design and analysis of a fault-tolerant computer for aircraft control

Wensley, J.H. ; Lamport, L. ; Goldberg, J. ; Green, M.W. ; Levitt, K.N. ; Melliar-Smith, P.M. ; Shostak, R.E. ; Weinstock, C.B.

Proceedings of the IEEE, 1978-01, Vol.66 (10), p.1240-1255 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
3
The fault-tolerant multiprocessor computer
The fault-tolerant multiprocessor computer
Material Type:
Livro 		Adicionar ao Meu Espaço

The fault-tolerant multiprocessor computer

Smith, T.B. III ; Lala, J.H. ; Goldberg, J. ; Kautz, W.H. ; Melliar-Smith, P.M. ; Green, M.W. ; Levitt, K.N. ; Schwartz, R.L. ; Weinstock, C.B. ; Palumbo, D. ; Butler, R.W.

United States: Noyes Publications,Park Ridge, NJ 1986

Sem texto completo

Citações Citado por
4
Fault-tolerant multiprocessor computer
Fault-tolerant multiprocessor computer
Material Type:
Livro 		Adicionar ao Meu Espaço

Fault-tolerant multiprocessor computer

Smith, T.B. III ; Lala, J.H. ; Goldberg, J. ; Kautz, W.H. ; Melliar-Smith, P.M. ; Green, M.W. ; Levitt, K.N. ; Schwartz, R.L. ; Weinstock, C.B. ; Palumbo, D.L.

United States: Noyes Publications,Park Ridge, NJ 1986

Sem texto completo

Citações Citado por
5
A Formal Specification of the IEEE Floating-Point Standard with Application to the Verification of F
A Formal Specification of the IEEE Floating-Point Standard with Application to the Verification of F
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Formal Specification of the IEEE Floating-Point Standard with Application to the Verification of F

Jing Pan ; Levitt, K.N.

1990 Conference Record Twenty-Fourth Asilomar Conference on Signals, Systems and Computers, 1990, 1990, Vol.1, p.505

IEEE

Texto completo disponível

Citações Citado por
6
Applying the composition principle to verify a hierarchy of security servers
Applying the composition principle to verify a hierarchy of security servers
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Applying the composition principle to verify a hierarchy of security servers

Heckman, M.R. ; Levitt, K.N.

Proceedings of the Thirty-First Hawaii International Conference on System Sciences, 1998, Vol.3, p.338-347 vol.3

IEEE

Texto completo disponível

Citações Citado por
7
Towards a framework for worm-defense evaluation
Towards a framework for worm-defense evaluation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Towards a framework for worm-defense evaluation

Cheetancheri, S.G. ; Ma, D.L. ; Levitt, K.N. ; Heberlein, T.L.

2006 IEEE International Performance Computing and Communications Conference, 2006, p.7 pp.-566

IEEE

Texto completo disponível

Citações Citado por
8
A formal-specification based approach for protecting the domain name system
A formal-specification based approach for protecting the domain name system
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A formal-specification based approach for protecting the domain name system

Cheung, S. ; Levitt, K.N.

Proceeding International Conference on Dependable Systems and Networks. DSN 2000, 2000, p.641-651

Los Alamitos CA: IEEE

Texto completo disponível

Citações Citado por
9
R70-38 The Time Required for Group Multiplication
R70-38 The Time Required for Group Multiplication
Material Type:
Artigo 		Adicionar ao Meu Espaço

R70-38 The Time Required for Group Multiplication

Levitt, K.N.

IEEE transactions on computers, 1970-09, Vol.C-19 (9), p.859-860 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
10
Detecting intrusions through attack signature analysis
Detecting intrusions through attack signature analysis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Detecting intrusions through attack signature analysis

Snapp, S.R. ; Mukherjee, B. ; Levitt, K.N.

United States 1991

Sem texto completo

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (19)
  2. Revistas revisadas por pares (11)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (12)
  2. Artigos  (11)
  3. Reports  (3)
  4. Livros  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1971  (4)
  2. 1971Até1985  (6)
  3. 1986Até1990  (6)
  4. 1991Até2001  (9)
  5. Após 2001  (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.