skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings

FORMATS 2007 (2007 Salzburg, Austria) Jean-Fran cois Raskin 1972; P. S Thiagarajan

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4763 ) e outros locais(Acessar)

2
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings

FORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)

Berlin Springer New York c2004

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

3
Modeling and analysis of communicating systems
Modeling and analysis of communicating systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Modeling and analysis of communicating systems

J. F. Groote (Jan Friso) 1965- Mohammad Reza Mousavi 1978-

Cambridge MIT Press c2014

Localização: IME - Inst. Matemática e Estatística    (QA734 G876m )(Acessar)

4
Models for the modern power grid
Models for the modern power grid
Material Type:
Artigo 		Adicionar ao Meu Espaço

Models for the modern power grid

Cardieri, Paulo, 1964- Universidade Estadual de Campinas (Unicamp); Universidade Estadual De Campinas

https://repositorio.unicamp.br/acervo/detalhe/1191204

2014

Acesso online

5
Adversarial Sensor Attack on LiDAR-based Perception in Autonomous Driving
Adversarial Sensor Attack on LiDAR-based Perception in Autonomous Driving
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Adversarial Sensor Attack on LiDAR-based Perception in Autonomous Driving

Cao, Yulong ; Xiao, Chaowei ; Cyr, Benjamin ; Zhou, Yimeng ; Park, Won ; Rampazzi, Sara ; Chen, Qi Alfred ; Fu, Kevin ; Mao, Z. Morley

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, p.2267-2281

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
6
Fixed-parameter algorithms for graph constraint logic
Fixed-parameter algorithms for graph constraint logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fixed-parameter algorithms for graph constraint logic

Hatanaka, Tatsuhiko ; Hommelsheim, Felix ; Ito, Takehiro ; Kobayashi, Yusuke ; Mühlenthaler, Moritz ; Suzuki, Akira

Theoretical computer science, 2023-05, Vol.959, p.113863, Article 113863 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Modeling attacks on physical unclonable functions
Modeling attacks on physical unclonable functions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Modeling attacks on physical unclonable functions

Rührmair, Ulrich ; Sehnke, Frank ; Sölter, Jan ; Dror, Gideon ; Devadas, Srinivas ; Schmidhuber, Jürgen

Proceedings of the 17th ACM conference on Computer and communications security, 2010, p.237-249

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
8
BlobSeer: Next-generation data management for large scale infrastructures
BlobSeer: Next-generation data management for large scale infrastructures
Material Type:
Artigo 		Adicionar ao Meu Espaço

BlobSeer: Next-generation data management for large scale infrastructures

Nicolae, Bogdan ; Antoniu, Gabriel ; Bougé, Luc ; Moise, Diana ; Carpen-Amarie, Alexandra

Journal of parallel and distributed computing, 2011-02, Vol.71 (2), p.169-184 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
9
Model inversion attacks against collaborative inference
Model inversion attacks against collaborative inference
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Model inversion attacks against collaborative inference

He, Zecheng ; Zhang, Tianwei ; Lee, Ruby B.

Proceedings of the 35th Annual Computer Security Applications Conference, 2019, p.148-162

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
10
Kerckhoffs-Based Embedding Security Classes for WOA Data Hiding
Kerckhoffs-Based Embedding Security Classes for WOA Data Hiding
Material Type:
Artigo 		Adicionar ao Meu Espaço

Kerckhoffs-Based Embedding Security Classes for WOA Data Hiding

Cayre, F. ; Bas, P.

IEEE transactions on information forensics and security, 2008-03, Vol.3 (1), p.1-15 [Periódico revisado por pares]

New York: IEEE

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.   

Mostrar Somente

  1. Recursos Online (727.710)
  2. Revistas revisadas por pares (434.780)
  3. Disponível na Biblioteca (3)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (359.255)
  2. Anais de Congresso  (300.458)
  3. Book Chapters  (51.439)
  4. magazinearticle  (12.567)
  5. Livros  (3.743)
  6. Resenhas  (148)
  7. Reports  (53)
  8. Conjunto de Dados  (21)
  9. Videos  (9)
  10. Verbetes  (9)
  11. Newsletter Articles  (6)
  12. Dissertações  (3)
  13. Imagens  (2)
  14. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1966  (2.357)
  2. 1966Até1979  (6.480)
  3. 1980Até1993  (30.606)
  4. 1994Até2008  (214.875)
  5. Após 2008  (482.840)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (727.600)
  2. Japonês  (37.390)
  3. Português  (701)
  4. Espanhol  (511)
  5. Alemão  (321)
  6. Francês  (183)
  7. Norueguês  (142)
  8. Turco  (142)
  9. Chinês  (116)
  10. Russo  (81)
  11. Árabe  (15)
  12. Coreano  (14)
  13. Polonês  (8)
  14. Italiano  (6)
  15. Holandês  (5)
  16. Sueco  (4)
  17. Estoniano  (2)
  18. Dinamarquês  (2)
  19. Húngaro  (1)
  20. Indeterminado  (1)
  21. Tcheco  (1)
  22. Mais opções open sub menu

Nome da Publicação 

  1. Multimedia Tools And Applications  (17.574)
  2. Theoretical Computer Science  (13.309)
  3. Communications Of The Acm  (10.832)
  4. International Journal Of Advanced Computer Science & Applications  (9.495)
  5. Fuzzy Sets And Systems  (8.901)
  6. Arxiv.Org  (8.400)
  7. International Journal Of Systems Science  (7.080)
  8. Future Generation Computer Systems  (6.563)
  9. Computer Methods And Programs In Biomedicine  (6.380)
  10. Ieee Transaction On Neural Networks And Learning Systems  (6.312)
  11. Revista de Direito Mercantil, Industrial, Econômico e Financeiro  (1)
  12. Resenhas do Instituto de Matemática e Estatística da Universidade de São Paulo  (1)
  13. Revista Brasileira de Otorrinolaringologia  (1)
  14. Linha D'Água  (1)
  15. Canine Practice. Irvine: Veterinary Practice Publ Co  (1)
  16. Natural History. New York: Amer Museum Nat History  (1)
  17. Canadian Veterinary Journal-revue Veterinaire Canadienne. Ottawa: Canadian Vet Med Assoc  (1)
  18. Revista de Antropologia  (1)
  19. Revista da Escola de Enfermagem da USP  (1)
  20. Plural  (1)
  21. World journal of orthodontics  (1)
  22. Revista Brasileira de Fruticultura. Jaboticabal Sp: Soc Brasileira Fruticultura  (1)
  23. Revista Aspas  (1)
  24. Educação: Teoria e Prática  (1)
  25. JISTEM - Journal of Information Systems and Technology Management (Online)  (1)
  26. Via Atlântica  (1)
  27. Cadernos de Psicologia Social do Trabalho  (1)
  28. Journal of Venomous Animals and Toxins Including Tropical Diseases. Botucatu: Cevap-unesp  (1)
  29. Anais Brasileiros de Dermatologia  (1)
  30. Revista Brasileira de Genetica  (1)
  31. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Castellaro, F
  2. Tucci, P
  3. Anaruma, S
  4. Gomes, J
  5. Lins, R

Neste Assunto:

  1. Science & Technology
  2. Technology
  3. Computer Science
  4. Computer Science, Theory & Methods
  5. Engineering

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

Buscando em bases de dados remotas. Favor aguardar.