Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
An Optimization Framework for QoS-Enabled Adaptive Video Streaming Over OpenFlow NetworksEgilmez, H. E. ; Civanlar, S. ; Tekalp, A. M.IEEE transactions on multimedia, 2013-04, Vol.15 (3), p.710-715 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Compositional Shape Analysis by Means of Bi-AbductionCALCAGNO, Cristiano ; DISTEFANO, Dino ; O'HEARN, Peter W ; YANG, HongseokJournal of the ACM, 2011-12, Vol.58 (6), p.1-66 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Adding Nesting Structure to WordsALUR, Rajeev ; MADHUSUDAN, PJournal of the ACM, 2009-05, Vol.56 (3), p.1-43 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Cloud Mobile Media: Reflections and OutlookYonggang Wen ; Xiaoqing Zhu ; Rodrigues, Joel J. P. C. ; Chang Wen ChenIEEE transactions on multimedia, 2014-06, Vol.16 (4), p.885-902 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Simplify : A theorem prover for program checkingDETLEFS, David ; NELSON, Greg ; SAXE, James BJournal of the ACM, 2005-05, Vol.52 (3), p.365-473 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
An Open Source Application Framework for Astronomical Imaging PipelinesAXELROD, T ; KANTOR, J ; LUPTON, R. H ; PIERFEDERICI, FProceedings of SPIE, the International Society for Optical Engineering, 2010, Vol.7740Bellingham, Wash: SPIETexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Adapting user interfaces for gestural interaction with the flexible action and articulated skeleton toolkitSuma, Evan A. ; Krum, David M. ; Lange, Belinda ; Koenig, Sebastian ; Rizzo, Albert ; Bolas, MarkComputers & graphics, 2013-05, Vol.37 (3), p.193-201 [Periódico revisado por pares]Oxford: Elsevier LtdTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
A Comparison of Perceptually-Based Metrics for Objective Evaluation of Geometry ProcessingLavoué, Guillaume ; Corsini, MassimilianoIEEE transactions on multimedia, 2010-11, Vol.12 (7), p.636-649 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Awareness in Software-Intensive SystemsVassev, E. ; Hinchey, M.Computer (Long Beach, Calif.), 2012-12, Vol.45 (12), p.84-87 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Self-Adaptation Using Multiagent SystemsWeyns, D. ; Georgeff, M.IEEE software, 2010-01, Vol.27 (1), p.86-91 [Periódico revisado por pares]Los Alamitos, CA: IEEETexto completo disponível |