关注
Paulo N. M. Sampaio
标题
引用次数
引用次数
年份
About the semantic verification of SMIL documents
PNM Sampaio, CAS Santos, JP Courtias
2000 IEEE International Conference on Multimedia and Expo. ICME2000 …, 2000
432000
A formal approach for the presentation of interactive multimedia documents
PNM Sampaio, JP Courtiat
Proceedings of the eighth ACM international conference on Multimedia, 435-438, 2000
342000
Implementing a data network infrastructure course using a problem-based learning methodology
VF Martins, PNM Sampaio, AJA Cordeiro, BF Viana
Journal of Information Systems Engineering & Management 3 (2), 10, 2018
332018
Revisiting the concept of hypermedia document consistency
CAS Santos, PNM Sampaio, JP Courtiat
Proceedings of the seventh ACM international conference on Multimedia (Part …, 1999
241999
The osteogenic priming of mesenchymal stem cells is impaired in experimental diabetes
JC Silva, P Sampaio, MH Fernandes, PS Gomes
Journal of cellular biochemistry 116 (8), 1658-1667, 2015
232015
Conception formelle de documents multimédia interactifs: une approche s' appuyant sur RT-LOTOS
PNM Sampaio
Toulouse 3, 2003
232003
An approach for the automatic generation of RT-LOTOS specifications from SMIL 2.0 documents
PNM Sampaio, JP Courtiat
Journal of the Brazilian Computer Society 9, 39-51, 2004
202004
Using a formal method to verify the temporal semantics of SMIL documents
PNM Sampaio, CAS Santos, JP Courtiat
Proc. Conference of Software: Theory and Practice, IFIP World Congress …, 2000
192000
Blended peer-assisted learning platform: Improving learning outcomes with a collaborative environment
PNM Sampaio, JM Teixeira, MF Camacho, RH de Freitas Gouveia
Journal of Educational Technology Systems 39 (4), 371-395, 2011
172011
Mobile application to support dyslexia diagnostic and reading practice
VF Martins, T Lima, PNM Sampaio, M de Paiva
2016 IEEE/ACS 13th International Conference of Computer Systems and …, 2016
152016
From the specification to the scheduling of time-dependent systems
C Lohr, JP Courtiat
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002
132002
An integrated environment for the presentation of consistent SMIL 2.0 documents
PNM Sampaio, C Lohr, JP Courtiat
Proceedings of the 2001 ACM Symposium on Document engineering, 115-124, 2001
132001
Usability and functionality assessment of an oculus rift in immersive and interactive systems using voice commands
V Farinazzo Martins, PNM Sampaio, F da S. Mendes, A Santos Lima, ...
Virtual, Augmented and Mixed Reality: 8th International Conference, VAMR …, 2016
122016
SDN controllers-a comparative approach to market trends
FJBV Neto, CJ Miguel, ACS de Jesus, PNM Sampaio
9th International Workshop on ADVANCEs in ICT Infrastructures and Services …, 2021
102021
Authoring of OpenFlow networks with visual network description (SDN version)(WIP)
RR Fontes, ALC Oliveira, PNM Sampaio, TR Pinheiro, RARB Figueira
Proceedings of the 2014 Summer Simulation Multiconference, 1-6, 2014
102014
Towards SMIL document analysis using an algebraic time net
A Abdelli, M Daoudi
Pacific-Rim Conference on Multimedia, 273-281, 2004
102004
Scheduling and presenting interactive multimedia documents
PNM Sampaio, JP Courtiat
IEEE International Conference on Multimedia and Expo, 2001. ICME 2001., 1021 …, 2001
102001
Problem-based learning methodology applied within a data network infrastructure design course a real case implementation
VF Martins, PNM Sampaio, AJA Cordeiro, BF Viana
2017 12th Iberian Conference on Information Systems and Technologies (CISTI …, 2017
92017
Visual Network Simulator (VNS): A GUI to QoS simulation for the ns-2 simulator
EMD Marques, RASA Plácido, PNM Sampaio
2009 IEEE/ACS International Conference on Computer Systems and Applications …, 2009
92009
Bringing integrated multimedia content into virtual reality environments
PNM Sampaio, LM Rodríguez Peralta
Transactions on Edutainment III, 219-230, 2009
82009
系统目前无法执行此操作,请稍后再试。
文章 1–20