Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Soundness and completeness of formal encryption: The cases of key cycles and partial information leakageAdã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 |
|
2 |
Material Type: magazinearticle
|
HDL tool allows ASIC architectural analysisAjluni, CherylElectronic design, 1997-09, Vol.45 (20), p.80Nashville: Endeavor Business MediaTexto completo disponível |
|
3 |
Material Type: Artigo
|
An overview of the commercial cloud monitoring tools: research dimensions, design issues, and state-of-the-artAlhamazani, Khalid ; Ranjan, Rajiv ; Mitra, Karan ; Rabhi, Fethi ; Jayaraman, Prem Prakash ; Khan, Samee Ullah ; Guabtni, Adnene ; Bhatnagar, VasudhaComputing, 2015-04, Vol.97 (4), p.357-377 [Periódico revisado por pares]Vienna: Springer ViennaTexto completo disponível |
|
4 |
Material Type: Artigo
|
Deterministic simulation of idealized parallel computers on more realistic onesALT, H ; HAGERUP, T ; MEHLHORN, K ; PREPARATA, F. PSIAM journal on computing, 1987-10, Vol.16 (5), p.808-835 [Periódico revisado por pares]Philadelphia, PA: Society for Industrial and Applied MathematicsTexto completo disponível |
|
5 |
Material Type: magazinearticle
|
Network management for the HP 3000 Datacom and TErminal ControllerAmar, Serge Y ; Prieur, Michele AHewlett-Packard journal, 1990-04, Vol.41 (2), p.76Hewlett Packard CompanyTexto completo disponível |
|
6 |
Material Type: magazinearticle
|
Accelerated design verification and VXI make a perfect matchANDERSON, DElectronic design, 1998-09, Vol.46 (21), p.94-100Cleveland, OH: Penton MediaTexto completo disponível |
|
7 |
Material Type: Artigo
|
Architecting decentralized control in large-scale self-adaptive systemsAndersson, Jesper ; Caporuscio, Mauro ; D’Angelo, Mirko ; Napolitano, AnnalisaComputing, 2023-09, Vol.105 (9), p.1849-1882 [Periódico revisado por pares]Vienna: Springer ViennaTexto completo disponível |
|
8 |
Material Type: magazinearticle
|
Open architectures on the moveAndrews, J. RandolphMachine design, 1997-06, Vol.69 (12), p.54-59Nashville: Penton Media, Inc., Penton Business Media, Inc. and their subsidiariesTexto completo disponível |
|
9 |
Material Type: Artigo
|
Dependability certification of services: a model-based approachArdagna, Claudio A. ; Jhawar, Ravi ; Piuri, VincenzoComputing, 2015-01, Vol.97 (1), p.51-78 [Periódico revisado por pares]Vienna: Springer ViennaTexto completo disponível |
|
10 |
Material Type: magazinearticle
|
DARPA INITIATIVE IN CONCURRENT ENGINEERINGASHLEY, SMechanical engineering (New York, N.Y. 1919), 1992-04, Vol.114 (4), p.54-57NEW YORK: ASME-AMER SOC MECHANICAL ENGTexto completo disponível |