Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedingsFORMATS 2007 (2007 Salzburg, Austria) Jean-Fran cois Raskin 1972; P. S ThiagarajanBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4763 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
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 : proceedingsFORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Modeling and analysis of communicating systemsJ. F. Groote (Jan Friso) 1965- Mohammad Reza Mousavi 1978-Cambridge MIT Press c2014Localização: IME - Inst. Matemática e Estatística (QA734 G876m )(Acessar) |
|
4 |
Material Type: Ata de Congresso
|
Adversarial Sensor Attack on LiDAR-based Perception in Autonomous DrivingCao, Yulong ; Xiao, Chaowei ; Cyr, Benjamin ; Zhou, Yimeng ; Park, Won ; Rampazzi, Sara ; Chen, Qi Alfred ; Fu, Kevin ; Mao, Z. MorleyProceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, p.2267-2281New York, NY, USA: ACMTexto completo disponível |
|
5 |
Material Type: Artigo
|
Fixed-parameter algorithms for graph constraint logicHatanaka, Tatsuhiko ; Hommelsheim, Felix ; Ito, Takehiro ; Kobayashi, Yusuke ; Mühlenthaler, Moritz ; Suzuki, AkiraTheoretical computer science, 2023-05, Vol.959, p.113863, Article 113863 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Modeling attacks on physical unclonable functionsRührmair, Ulrich ; Sehnke, Frank ; Sölter, Jan ; Dror, Gideon ; Devadas, Srinivas ; Schmidhuber, JürgenProceedings of the 17th ACM conference on Computer and communications security, 2010, p.237-249New York, NY, USA: ACMTexto completo disponível |
|
7 |
Material Type: Artigo
|
BlobSeer: Next-generation data management for large scale infrastructuresNicolae, Bogdan ; Antoniu, Gabriel ; Bougé, Luc ; Moise, Diana ; Carpen-Amarie, AlexandraJournal of parallel and distributed computing, 2011-02, Vol.71 (2), p.169-184 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Model inversion attacks against collaborative inferenceHe, Zecheng ; Zhang, Tianwei ; Lee, Ruby B.Proceedings of the 35th Annual Computer Security Applications Conference, 2019, p.148-162New York, NY, USA: ACMTexto completo disponível |
|
9 |
Material Type: Artigo
|
Kerckhoffs-Based Embedding Security Classes for WOA Data HidingCayre, 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: IEEETexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
A Context-Sensitive Nomadic Exhibition GuideOppermann, 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-VerlagTexto completo disponível |