skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Verification remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Output Reachable Set Estimation and Verification for Multilayer Neural Networks
Output Reachable Set Estimation and Verification for Multilayer Neural Networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Output Reachable Set Estimation and Verification for Multilayer Neural Networks

Xiang, Weiming ; Tran, Hoang-Dung ; Johnson, Taylor T.

IEEE transaction on neural networks and learning systems, 2018-11, Vol.29 (11), p.5777-5783

United States: IEEE

Texto completo disponível

Citações Citado por
2
Verification theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Verification theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Verification theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday

Nachum Dershowitz; Zohar Manna

Berlin Springer-Verlag New York c2003

Acesso online. A biblioteca também possui exemplares impressos.

3
PA-CRT: Chinese Remainder Theorem Based Conditional Privacy-Preserving Authentication Scheme in Vehicular Ad-Hoc Networks
PA-CRT: Chinese Remainder Theorem Based Conditional Privacy-Preserving Authentication Scheme in Vehicular Ad-Hoc Networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

PA-CRT: Chinese Remainder Theorem Based Conditional Privacy-Preserving Authentication Scheme in Vehicular Ad-Hoc Networks

Zhang, Jing ; Cui, Jie ; Zhong, Hong ; Chen, Zhili ; Liu, Lu

IEEE transactions on dependable and secure computing, 2021-03, Vol.18 (2), p.722-735

Washington: IEEE

Texto completo disponível

Citações Citado por
4
Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings
Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings

VMCAI 2006 (2006 Charleston, S.C.) E. Allen Emerson; Kedar S Namjoshi

Berlin Springer-Verlag New York 2006

Acesso online. A biblioteca também possui exemplares impressos.

5
Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Bauer, Lujo ; Küsters, Ralf K'sters, Ralf ; Bauer, Lujo ; Küsters, Ralf

Cham: Springer Open 2018

Texto completo disponível

Citações Citado por
6
Anonymous Lightweight Chaotic Map-Based Authenticated Key Agreement Protocol for Industrial Internet of Things
Anonymous Lightweight Chaotic Map-Based Authenticated Key Agreement Protocol for Industrial Internet of Things
Material Type:
Artigo 		Adicionar ao Meu Espaço

Anonymous Lightweight Chaotic Map-Based Authenticated Key Agreement Protocol for Industrial Internet of Things

Srinivas, Jangirala ; Das, Ashok Kumar ; Wazid, Mohammad ; Kumar, Neeraj

IEEE transactions on dependable and secure computing, 2020-11, Vol.17 (6), p.1133-1146

Washington: IEEE

Texto completo disponível

Citações Citado por
7
Validation and Verification of Smart Contracts: A Research Agenda
Validation and Verification of Smart Contracts: A Research Agenda
Material Type:
Artigo 		Adicionar ao Meu Espaço

Validation and Verification of Smart Contracts: A Research Agenda

Magazzeni, Daniele ; McBurney, Peter ; Nash, William

Computer (Long Beach, Calif.), 2017, Vol.50 (9), p.50-57 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
8
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

Falcone, Yliès ; Sánchez, César S'nchez, C'sar ; Falcone, Yli's ; Sánchez, César ; Falcone, Yliès

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
9
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Beyer, Dirk ; Huisman, Marieke Huisman, Marieke ; Beyer, Dirk

Cham: Springer Nature 2018

Texto completo disponível

Citações Citado por
10
Blockchain-Based Public Integrity Verification for Cloud Storage against Procrastinating Auditors
Blockchain-Based Public Integrity Verification for Cloud Storage against Procrastinating Auditors
Material Type:
Artigo 		Adicionar ao Meu Espaço

Blockchain-Based Public Integrity Verification for Cloud Storage against Procrastinating Auditors

Zhang, Yuan ; Xu, Chunxiang ; Lin, Xiaodong ; Shen, Xuemin

IEEE transactions on cloud computing, 2021-07, Vol.9 (3), p.923-937 [Periódico revisado por pares]

Piscataway: IEEE Computer Society

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (10.293)
  2. Anais de Congresso  (1.686)
  3. Book Chapters  (355)
  4. Livros  (304)
  5. Reports  (276)
  6. magazinearticle  (95)
  7. Dissertações  (17)
  8. Newsletter Articles  (7)
  9. Recursos Textuais  (2)
  10. Documentos Governamentais  (1)
  11. Resenhas  (1)
  12. Verbetes  (1)
  13. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1980  (49)
  2. 1980Até1990  (205)
  3. 1991Até2001  (882)
  4. 2002Até2013  (3.581)
  5. Após 2013  (8.443)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (12.969)
  2. Japonês  (536)
  3. Alemão  (27)
  4. Chinês  (24)
  5. Espanhol  (23)
  6. Francês  (20)
  7. Russo  (16)
  8. Português  (11)
  9. Ucraniano  (7)
  10. Polonês  (5)
  11. Eslovaco  (4)
  12. Tcheco  (4)
  13. Norueguês  (3)
  14. Catalão  (3)
  15. Árabe  (1)
  16. Serbian  (1)
  17. Africâner  (1)
  18. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. VMCAI 2006
  2. Namjoshi, K
  3. Emerson, E
  4. Dershowitz, N
  5. Manna, Z

Neste Assunto:

  1. Verification
  2. Verification
  3. Science & Technology
  4. Technology
  5. Computer Science

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

Buscando em bases de dados remotas. Favor aguardar.