Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo
|
A framework for analyzing RFID distance bounding protocolsAvoine, Gildas ; Bingöl, Muhammed Ali ; Kardaş, Süleyman ; Lauradoux, Cédric ; Martin, Benjamin Zhou, Jianying ; Li, YingjiuJournal of computer security, 2011-01, Vol.19 (2), p.289-317 [Periódico revisado por pares]Texto completo disponível |
|
12 |
Material Type: Artigo
|
A computational architecture for heterogeneous reasoningBarker-Plummer, Dave ; Etchemendy, JohnJournal of experimental & theoretical artificial intelligence, 2007-09, Vol.19 (3), p.195-225 [Periódico revisado por pares]Taylor & Francis GroupTexto completo disponível |
|
13 |
Material Type: magazinearticle
|
Software at the cutting edgeBeazant, GarethProfessional Engineering, 2005-01, Vol.18 (2), p.35-35London: Caspian Publishing LimitedTexto completo disponível |
|
14 |
Material Type: Artigo
|
Towards energy-proportional clouds partially powered by renewable energyBeldiceanu, Nicolas ; Feris, Bárbara Dumas ; Gravey, Philippe ; Hasan, Sabbir ; Jard, Claude ; Ledoux, Thomas ; Li, Yunbo ; Lime, Didier ; Madi-Wamba, Gilles ; Menaud, Jean-Marc ; Morel, Pascal ; Morvan, Michel ; Moulinard, Marie-Laure ; Orgerie, Anne-Cécile ; Pazat, Jean-Louis ; Roux, Olivier ; Sharaiha, AmmarComputing, 2017, Vol.99 (1), p.3-22 [Periódico revisado por pares]Vienna: Springer ViennaTexto completo disponível |
|
15 |
Material Type: magazinearticle
|
Co-verification handles more complex embedded systemsBERGER, A. SElectronic design, 1997-09, Vol.45 (20), p.96-104Cleveland, OH: Penton MediaTexto completo disponível |
|
16 |
Material Type: magazinearticle
|
Co-verification handles more complex embedded systemsBerger, Arnold SElectronic design, 1998-03, p.9Nashville: Endeavor Business MediaTexto completo disponível |
|
17 |
Material Type: Artigo
|
Fast gossiping by short messagesBERMOND, J.-C ; GARGANO, L ; RESCIGNO, A. A ; VACCARO, USIAM journal on computing, 1998-08, Vol.27 (4), p.917-941 [Periódico revisado por pares]Philadelphia, PA: Society for Industrial and Applied MathematicsTexto completo disponível |
|
18 |
Material Type: Artigo
|
An agent-based debiasing framework for investment decision-support systemsBhandari, Gokul ; Hassanein, KhaledBehaviour & information technology, 2012-05, Vol.31 (5), p.495-507 [Periódico revisado por pares]Colchester: Taylor & FrancisTexto completo disponível |
|
19 |
Material Type: Artigo
|
Locality-aware task scheduling for homogeneous parallel computing systemsBhatti, Muhammad Khurram ; Oz, Isil ; Amin, Sarah ; Mushtaq, Maria ; Farooq, Umer ; Popov, Konstantin ; Brorsson, MatsComputing, 2018-06, Vol.100 (6), p.557-595 [Periódico revisado por pares]Vienna: Springer ViennaTexto completo disponível |
|
20 |
Material Type: magazinearticle
|
Critical InformationBilello, Peter AMechanical engineering (New York, N.Y. 1919), 2012-06, Vol.134 (6), p.32-35New York, NY: ASMETexto completo disponível |