Carlos Giovanni Nunes de Carvalho

A Formal Semantics for Use Case Diagram Via Event-B

Thiago C. de Sousa, Luciano Kelvin, Constantino D. Neto, 2017, J. Softw..

Reducing Energy Consumption in Provisioning of Virtual Sensors by Similarity of Heterogenous Sensors

Raimir Holanda Filho, Ricardo A. L. Rabêlo, Carlos Giovanni Nunes de Carvalho, 2017, 2017 IEEE 31st International Conference on Advanced Information Networking and Applications (AINA).

A Quality-Aware and Energy-Efficient Context Management Framework for Ubiquitous Systems

Nazim Agoulmine, Raimir Holanda Filho, Constantino D. Neto, 2014, 2014 IEEE 28th International Conference on Advanced Information Networking and Applications.

A pervasive energy-efficient ECG monitoring approach for detecting abnormal cardiac situations

Nazim Agoulmine, Carlos Giovanni Nunes de Carvalho, José Bringel Filho, 2013, 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services (Healthcom 2013).

Avoiding Data Traffic on Smart Grid Communication System

Carlos Giovanni Nunes de Carvalho, Raimir Holanda, Liliam Barroso Leal, 2014, ECSA 2014.

Application of wireless sensor networks for beehive monitoring and in-hive thermal patterns detection

Danielo Goncalves Gomes, Carlos Giovanni Nunes de Carvalho, Douglas Santiago Kridi, 2016, Comput. Electron. Agric..

Using QoC for improving energy-efficient context management in U-Health Systems

Nazim Agoulmine, Raimir Holanda Filho, Carlos Giovanni Nunes de Carvalho, 2014, 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom).

An algorithm based on ant colony optimization for provisioning virtual sensor in sensor cloud

Raimir Holanda Filho, Carlos Giovanni Nunes de Carvalho, Ricardo de Andrade Lira Rabelo, 2017, 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

An approach for provisioning virtual sensors in sensor clouds

Ricardo A. L. Rabêlo, Carlos Giovanni Nunes de Carvalho, Raimir Holanda, 2019, Int. J. Netw. Manag..

A predictive algorithm for mitigate swarming bees through proactive monitoring via wireless sensor networks

Danielo Goncalves Gomes, Carlos Giovanni Nunes de Carvalho, Douglas Santiago Kridi, 2014, PE-WASUN '14.

UMA ABORDAGEM PARA PROVISIONAMENTO AUTOMÁTICO DE SENSORES EM NUVENS DE SENSORES

Carlos Giovanni Nunes de Carvalho, Raimir Holanda, Douglas Lopes, 2016 .

An Energy-Efficient Context Management Framework for Ubiquitous Systems

Nazim Agoulmine, Raimir Holanda Filho, Constantino D. Neto, 2013, 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing.

Improving Prediction Accuracy for WSN Data Reduction by Applying Multivariate Spatio-Temporal Correlation

Nazim Agoulmine, José Neuman de Souza, Danielo Goncalves Gomes, 2011, Sensors.

Multiple linear regression to improve prediction accuracy in WSN data reduction

Nazim Agoulmine, José Neuman de Souza, Danielo Goncalves Gomes, 2011, 2011 7th Latin American Network Operations and Management Symposium.

An Energy-Efficient Approach to Enhance Virtual Sensors Provisioning in Sensor Clouds Environments

Raimir Holanda Filho, Carlos Giovanni Nunes de Carvalho, Ricardo de Andrade Lira Rabelo, 2018, Sensors.

Mobile Device and Software for Automating Body Measurements in Sheep

Carlos Giovanni Nunes de Carvalho, Douglas Santiago Kridi, Constantino A. Dias Neto, 2022, Journal of Experimental Agriculture International.