skip to main content
Idioma:
Resultados 1 2 3 4 next page
Refinado por: Nome da Publicação: Computer Journal remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications
Material Type:
Artigo 		Adicionar ao Meu Espaço

Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications

Bernardeschi, Cinzia ; Domenici, Andrea ; Fagiolini, Adriano ; Palmieri, Maurizio

Computer journal, 2023-02, Vol.66 (2), p.295-317 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
2
Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices
Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices

Zhang, Zhaodi ; Liu, Jing ; Zhang, Min ; Sun, Haiying

Computer journal, 2022-11, Vol.65 (11), p.2894-2908 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
3
DTKI: A New Formalized PKI with Verifiable Trusted Parties
DTKI: A New Formalized PKI with Verifiable Trusted Parties
Material Type:
Artigo 		Adicionar ao Meu Espaço

DTKI: A New Formalized PKI with Verifiable Trusted Parties

Yu, Jiangshan ; Cheval, Vincent ; Ryan, Mark

Computer journal, 2016-11, Vol.59 (11), p.1695-1713 [Periódico revisado por pares]

Oxford University Press (UK)

Texto completo disponível

Citações Citado por
4
Toward Both Privacy and Efficiency of Homomorphic MACs for Polynomial Functions and Its Applications
Toward Both Privacy and Efficiency of Homomorphic MACs for Polynomial Functions and Its Applications
Material Type:
Artigo 		Adicionar ao Meu Espaço

Toward Both Privacy and Efficiency of Homomorphic MACs for Polynomial Functions and Its Applications

Li, Shimin ; Wang, Xin ; Xue, Rui

Computer journal, 2022-04, Vol.65 (4), p.1020-1028 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

Citações Citado por
5
Verification for Non-polynomial Hybrid Systems Using Rational Invariants
Verification for Non-polynomial Hybrid Systems Using Rational Invariants
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification for Non-polynomial Hybrid Systems Using Rational Invariants

Lin, Wang ; Wu, Min ; Yang, Zhengfeng ; Zeng, Zhenbing

Computer journal, 2017-04 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
6
SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy
SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy
Material Type:
Artigo 		Adicionar ao Meu Espaço

SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy

Huynh, Nghi ; Frappier, Marc ; Pooda, Herman ; Mammar, Amel ; Laleau, Régine Mitchell, Chris

Computer journal, 2019-12, Vol.62 (12), p.1707-1733 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

Citações Citado por
7
EmailDetective: An Email Authorship Identification And Verification Model
EmailDetective: An Email Authorship Identification And Verification Model
Material Type:
Artigo 		Adicionar ao Meu Espaço

EmailDetective: An Email Authorship Identification And Verification Model

Fang, Yong ; Yang, Yue ; Huang, Cheng

Computer journal, 2020-11, Vol.63 (11), p.1775-1787 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
8
Proving Linearizability Using Reduction
Proving Linearizability Using Reduction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proving Linearizability Using Reduction

Wen, Tangliu ; Song, Lan ; You, Zhen Rosaci, Domenico

Computer journal, 2019-09 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
9
Modeling and Quantitative Verification of Trust Systems Against Malicious Attackers
Modeling and Quantitative Verification of Trust Systems Against Malicious Attackers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modeling and Quantitative Verification of Trust Systems Against Malicious Attackers

Bidgoly, Amir Jalaly ; Ladani, Behrouz Tork

Computer journal, 2016-07, Vol.59 (7), p.1005-1027 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
10
Run-Time Security Traceability for Evolving Systems
Run-Time Security Traceability for Evolving Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Run-Time Security Traceability for Evolving Systems

Bauer, A. ; Jurjens, J. ; Yu, Y.

Computer journal, 2011-01, Vol.54 (1), p.58-87 [Periódico revisado por pares]

Oxford: Oxford Publishing Limited (England)

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 next page

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

Buscando em bases de dados remotas. Favor aguardar.