skip to main content
previous page 1 Resultados 2 3 4 5 next page
Refinado por: Nome da Publicação: The Computer Journal remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Authenticated Tree-Based R-LWE Group Key Exchange
Material Type:
Artigo
Adicionar ao Meu Espaço

Authenticated Tree-Based R-LWE Group Key Exchange

Hougaard, Hector ; Miyaji, Atsuko

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

Texto completo disponível

12
A Novel Decision-Making Process for COVID-19 Fighting Based on Association Rules and Bayesian Methods
Material Type:
Artigo
Adicionar ao Meu Espaço

A Novel Decision-Making Process for COVID-19 Fighting Based on Association Rules and Bayesian Methods

El Khediri, Salim ; Thaljaoui, Adel ; Alfayez, Fayez

Computer journal, 2022-09, Vol.65 (9), p.2360-2376 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

13
An Asynchronous Maximum Independent Set Algorithm By Myopic Luminous Robots On Grids
Material Type:
Artigo
Adicionar ao Meu Espaço

An Asynchronous Maximum Independent Set Algorithm By Myopic Luminous Robots On Grids

Kamei, Sayaka ; Tixeuil, Sébastien

Computer journal, 2024-01, Vol.67 (1), p.57-77 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

14
Efficient Realizability Checking by Modularization of LTL Specifications
Material Type:
Artigo
Adicionar ao Meu Espaço

Efficient Realizability Checking by Modularization of LTL Specifications

Ito, Sohei ; Osari, Kenji ; Shimakawa, Masaya ; Hagihara, Shigeki ; Yonezaki, Naoki

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

Texto completo disponível

15
A Policy Model and Framework for Context-Aware Access Control to Information Resources
Material Type:
Artigo
Adicionar ao Meu Espaço

A Policy Model and Framework for Context-Aware Access Control to Information Resources

Kayes, A S M ; Han, Jun ; Rahayu, Wenny ; Dillon, Tharam ; Islam, Md Saiful ; Colman, Alan

Computer journal, 2019-05, Vol.62 (5), p.670-705 [Periódico revisado por pares]

Texto completo disponível

16
A Divide & Conquer Approach to Leads-to Model Checking
Material Type:
Artigo
Adicionar ao Meu Espaço

A Divide & Conquer Approach to Leads-to Model Checking

Phyo, Yati ; Minh Do, Canh ; Ogata, Kazuhiro

Computer journal, 2021-02, Vol.65 (6), p.1353-1364 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

17
Faster Population Counts Using AVX2 Instructions
Material Type:
Artigo
Adicionar ao Meu Espaço

Faster Population Counts Using AVX2 Instructions

Muła, Wojciech ; Kurz, Nathan ; Lemire, Daniel

Computer journal, 2018-01, Vol.61 (1), p.111-120 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

18
Combinatorial Optimization on Graphs of Bounded Treewidth
Material Type:
Artigo
Adicionar ao Meu Espaço

Combinatorial Optimization on Graphs of Bounded Treewidth

Bodlaender, Hans L ; Koster, Arie M. C. A

Computer journal, 2008-05, Vol.51 (3), p.255-269 [Periódico revisado por pares]

Oxford: Oxford University Press

Texto completo disponível

19
Security Analysis and Improvement of a Redactable Consortium Blockchain for Industrial Internet-of-Things
Material Type:
Artigo
Adicionar ao Meu Espaço

Security Analysis and Improvement of a Redactable Consortium Blockchain for Industrial Internet-of-Things

Gao, Wei ; Chen, Liqun ; Rong, Chunming ; Liang, Kaitai ; Zheng, Xianghan ; Yu, Jiangshan

Computer journal, 2022-09, Vol.65 (9), p.2430-2438 [Periódico revisado por pares]

Texto completo disponível

20
A Highly Adaptive and Efficient Router Architecture for Network-on-Chip
Material Type:
Artigo
Adicionar ao Meu Espaço

A Highly Adaptive and Efficient Router Architecture for Network-on-Chip

Ahmadinia, Ali ; Shahrabi, Alireza

Computer journal, 2011-08, Vol.54 (8), p.1295-1307 [Periódico revisado por pares]

Oxford: Oxford University Press

Texto completo disponível

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.