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
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
5
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
6
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
7
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
8
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
9
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
10
A Context-Sensitive Nomadic Exhibition Guide
A Context-Sensitive Nomadic Exhibition Guide
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Context-Sensitive Nomadic Exhibition Guide

Oppermann, Reinhard ; Specht, Marcus Gellersen, Hans-Werner ; Thomas, Peter J.

Lecture notes in computer science, 2000, Vol.1927, p.127-142 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

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.254)
  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

Assunto 

  1. Science & Technology  (704.781)
  2. Technology  (681.366)
  3. Computer Science  (669.124)
  4. Computer Science, Theory & Methods  (615.744)
  5. Engineering  (218.972)
  6. Engineering, Electrical & Electronic  (190.204)
  7. Computer Science, Information Systems  (163.877)
  8. Computer Science, Artificial Intelligence  (133.054)
  9. Computer Science, Software Engineering  (125.550)
  10. Exact Sciences And Technology  (111.368)
  11. Applied Sciences  (100.289)
  12. Physical Sciences  (93.608)
  13. Computer Science, Hardware & Architecture  (93.199)
  14. Mathematics  (82.229)
  15. Computer Science; Control Theory; Systems  (77.369)
  16. Algorithms  (74.848)
  17. Software  (59.523)
  18. Computer Science, Interdisciplinary Applications  (56.760)
  19. Telecommunications  (48.194)
  20. Artificial Intelligence  (47.196)
  21. Computer Simulation  (35.721)
  22. Machine Theory  (1.829)
  23. Simulation Par Ordinateur  (112)
  24. Formale Methode  (107)
  25. Fault-Tolerant Computing  (62)
  26. Fehlertoleranz  (50)
  27. Real-Time Data Processing  (31)
  28. Zeitdiskretes System  (23)
  29. Temporal Automata  (7)
  30. Machine Theory  (3)
  31. Computer Simulation  (2)
  32. Temporal Automata  (2)
  33. Formal Methods (Computer Science)  (2)
  34. Formale Methode  (1)
  35. Especificação De Sistemas E Programas (Congressos)  (1)
  36. Teoria Dos Autômatos (Congressos)  (1)
  37. Protocolos De Comunicação  (1)
  38. Simulation Par Ordinateur  (1)
  39. Traitement En Temps R Eel  (1)
  40. Fault-Tolerant Computing  (1)
  41. Engenharia De Programas  (1)
  42. Real-Time Data Processing  (1)
  43. Temps R Eel  (1)
  44. Fehlertoleranz  (1)
  45. Th Eorie Des Automates  (1)
  46. M Ethodes Formelles (Informatique)  (1)
  47. M Ethode Formelle  (1)
  48. Zeitdiskretes System  (1)
  49. Mais opções open sub menu

Data de Publicação 

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

Idioma 

  1. Inglês  (727.599)
  2. Japonês  (37.390)
  3. Português  (700)
  4. Espanhol  (510)
  5. Alemão  (320)
  6. Francês  (182)
  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  (5)
  15. Holandês  (5)
  16. Sueco  (4)
  17. Estoniano  (2)
  18. Dinamarquês  (2)
  19. Húngaro  (1)
  20. Tcheco  (1)
  21. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Raskin, J
  2. Yovine, S
  3. Lakhnech, Y
  4. FORMATS 2007
  5. Thiagarajan, P

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.