skip to main content
Idioma:
Mostrar Somente
Refinado por: Base de dados/Biblioteca: EBSCOhost Business Source Complete remover Academic Search Premier (EB_SDU_P3) remover assunto: Technology remover Software remover Science & Technology remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage
Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage
Material Type:
Artigo 		Adicionar ao Meu Espaço

Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage

Adão, Pedro ; Bana, Gergei ; Herzog, Jonathan ; Scedrov, Andre Guttman, J.D.

Journal of computer security, 2009-01, Vol.17 (5), p.737-797 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
2
HDL tool allows ASIC architectural analysis
HDL tool allows ASIC architectural analysis
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

HDL tool allows ASIC architectural analysis

Ajluni, Cheryl

Electronic design, 1997-09, Vol.45 (20), p.80

Nashville: Endeavor Business Media

Texto completo disponível

Citações Citado por
3
An overview of the commercial cloud monitoring tools: research dimensions, design issues, and state-of-the-art
An overview of the commercial cloud monitoring tools: research dimensions, design issues, and state-of-the-art
Material Type:
Artigo 		Adicionar ao Meu Espaço

An overview of the commercial cloud monitoring tools: research dimensions, design issues, and state-of-the-art

Alhamazani, Khalid ; Ranjan, Rajiv ; Mitra, Karan ; Rabhi, Fethi ; Jayaraman, Prem Prakash ; Khan, Samee Ullah ; Guabtni, Adnene ; Bhatnagar, Vasudha

Computing, 2015-04, Vol.97 (4), p.357-377 [Periódico revisado por pares]

Vienna: Springer Vienna

Texto completo disponível

Citações Citado por
4
Deterministic simulation of idealized parallel computers on more realistic ones
Deterministic simulation of idealized parallel computers on more realistic ones
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deterministic simulation of idealized parallel computers on more realistic ones

ALT, H ; HAGERUP, T ; MEHLHORN, K ; PREPARATA, F. P

SIAM J. Comput.; (United States), 1987-10, Vol.16 (5), p.808-835 [Periódico revisado por pares]

Philadelphia, PA: Society for Industrial and Applied Mathematics

Texto completo disponível

Citações Citado por
5
Network management for the HP 3000 Datacom and TErminal Controller
Network management for the HP 3000 Datacom and TErminal Controller
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Network management for the HP 3000 Datacom and TErminal Controller

Amar, Serge Y ; Prieur, Michele A

Hewlett-Packard journal, 1990-04, Vol.41 (2), p.76

Hewlett Packard Company

Texto completo disponível

Citações Citado por
6
Accelerated design verification and VXI make a perfect match
Accelerated design verification and VXI make a perfect match
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Accelerated design verification and VXI make a perfect match

ANDERSON, D

Electronic design, 1998-09, Vol.46 (21), p.94-100

Cleveland, OH: Penton Media

Texto completo disponível

Citações Citado por
7
Architecting decentralized control in large-scale self-adaptive systems
Architecting decentralized control in large-scale self-adaptive systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Architecting decentralized control in large-scale self-adaptive systems

Andersson, Jesper ; Caporuscio, Mauro ; D’Angelo, Mirko ; Napolitano, Annalisa

Computing, 2023-09, Vol.105 (9), p.1849-1882 [Periódico revisado por pares]

Vienna: Springer Vienna

Texto completo disponível

Citações Citado por
8
Open architectures on the move
Open architectures on the move
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Open architectures on the move

Andrews, J. Randolph

Machine design, 1997-06, Vol.69 (12), p.54-59

Nashville: Penton Media, Inc., Penton Business Media, Inc. and their subsidiaries

Texto completo disponível

Citações Citado por
9
Dependability certification of services: a model-based approach
Dependability certification of services: a model-based approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dependability certification of services: a model-based approach

Ardagna, Claudio A. ; Jhawar, Ravi ; Piuri, Vincenzo

Computing, 2015-01, Vol.97 (1), p.51-78 [Periódico revisado por pares]

Vienna: Springer Vienna

Texto completo disponível

Citações Citado por
10
DARPA INITIATIVE IN CONCURRENT ENGINEERING
DARPA INITIATIVE IN CONCURRENT ENGINEERING
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

DARPA INITIATIVE IN CONCURRENT ENGINEERING

ASHLEY, S

Mechanical engineering (New York, N.Y. 1919), 1992-04, Vol.114 (4), p.54-57

NEW YORK: ASME-AMER SOC MECHANICAL ENG

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (173)
  2. Revistas revisadas por pares (84)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (94)
  2. magazinearticle  (80)
  3. Resenhas  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.