skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Software remover Computer Science, Theory & Methods 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
Combining Equivalence Verification and Completion Functions
Combining Equivalence Verification and Completion Functions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Combining Equivalence Verification and Completion Functions

Aagaard, Mark D. ; Ciubotariu, Vlad C. ; Higgins, Jason T. ; Khalvati, Farzad

Formal Methods in Computer-Aided Design, 2004, p.98-112 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Synchronization-at-Retirement for Pipeline Verification
Synchronization-at-Retirement for Pipeline Verification
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Synchronization-at-Retirement for Pipeline Verification

Aagaard, Mark D. ; Day, Nancy A. ; Jones, Robert B.

Formal Methods in Computer-Aided Design, 2004, p.113-127 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
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
6
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 J ; POON, Percy S ; THISTLE, Paul D

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

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
7
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 J ; Townsend, Anthony M ; Whitman, Michael E

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

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
8
Automatic Formal Model Generation and Analysis of SDL
Automatic Formal Model Generation and Analysis of SDL
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Automatic Formal Model Generation and Analysis of SDL

Aalto, Annikka ; Husberg, Nisse ; Varpaaniemi, Kimmo

Lecture notes in computer science, 2003, p.285-299 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Defining Observation Objectives for Reactive and Distributed Systems
Defining Observation Objectives for Reactive and Distributed Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Defining Observation Objectives for Reactive and Distributed Systems

Aaltonen, Timo

Formal Approaches to Software Testing, 2004, p.101-113 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Hybrid System Models of Navigation Strategies for Games and Animations
Hybrid System Models of Navigation Strategies for Games and Animations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Hybrid System Models of Navigation Strategies for Games and Animations

Aaron, Eric ; Ivančić, Franjo ; Metaxas, Dimitris

Hybrid Systems: Computation and Control, 2002, p.7-20 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

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 (37.692)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (23.100)
  2. Anais de Congresso  (17.586)
  3. Book Chapters  (4.653)
  4. magazinearticle  (2.252)
  5. Livros  (16)
  6. Resenhas  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1969  (61)
  2. 1969Até1981  (156)
  3. 1982Até1994  (4.706)
  4. 1995Até2008  (27.785)
  5. Após 2008  (15.116)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (6.565)
  2. Espanhol  (75)
  3. Português  (44)
  4. Norueguês  (7)
  5. Turco  (7)
  6. Francês  (3)
  7. Alemão  (3)
  8. Sueco  (1)
  9. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.