Improving flexibility on host discovery for pervasive computing middlewares
Applying a component-based framework to develop multi-agent environments
Formal modelling and verification of a component model using coloured petri nets and model checking
Towards the UPnP-UP: Enabling User Profile to Support Customized Services in UPnP Networks
Set Your Multimedia Application Free with BRisa Framework: An Open Source UPnP Implementation for Resource Limited Devices
An Experimental Evaluation of DCCP Transport Protocol: A Focus on the Fairness and Hand-Off over 802.11g Networks
2013 IEEE Third International Conference on Consumer Electronics ¿ Berlin (ICCE-Berlin)
Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC ’14
IEEE Trans. Consumer Electron.
2014 IEEE International Conference on Consumer Electronics (ICCE)
2013 IEEE International Conference on Consumer Electronics (ICCE)
2008 5th IEEE Consumer Communications and Networking Conference
Angelo Perkusich
Marcello A. de Sales Jr.
Frederico Moreira Bublitz
Danilo F. S. Santos
Saulo O. D. Luiz
Jaidilson J. Silva
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas
Correlação Entre Complexidade e Dificuldade de Questões de Programação em Juízes Online