Paulo Roberto Freire Cunha

Orcid: 0000-0002-0931-0879

Affiliations:
  • Federal University of Pernambuco, Recife, Brazil


According to our database1, Paulo Roberto Freire Cunha authored at least 54 papers between 1980 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Optimising virtual networks over time by using Windows Multiplicative DEA model.
Expert Syst. Appl., 2019

2018
Decision making in cloud environments: an approach based on multiple-criteria decision analysis and stochastic models.
J. Cloud Comput., 2018

Customizing Usability Heuristics for Augmentative and Alternative Communication Systems.
Proceedings of the Euro American Conference on Telematics and Information Systems, 2018

2017
Mobility-Flow: Solução para Handover Transparente e com Suporte à Autenticação 802.1x em Redes OpenFlow.
Proceedings of the XXXV Brazilian Symposium on Computer Networks and Distributed Systems, 2017

2015
A Modeling Approach for Cloud Infrastructure Planning Considering Dependability and Cost Requirements.
IEEE Trans. Syst. Man Cybern. Syst., 2015

SITRUS: Semantic Infrastructure for Wireless Sensor Networks.
Sensors, 2015

2014
A knowledge and collaboration-based CBR process to improve network performance-related support activities.
Expert Syst. Appl., 2014

Using Bayesian networks to improve the decision-making process in public health systems.
Proceedings of the 16th IEEE International Conference on e-Health Networking, 2014

A semantic message oriented middleware for wireless sensor networks.
Proceedings of the 7th Euro American Conference on Telematics and Information Systems, 2014

2012
A semantic solution for saving energy in wireless sensor networks.
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

Vertical handover decision based on quality of experience in heterogeneous wireless networks.
Proceedings of the Euro-American Conference on Telematics and Information Systems, 2012

2011
Energy consumption and execution time estimation of embedded system applications.
Microprocess. Microsystems, 2011

Performability modeling of electronic funds transfer systems.
Computing, 2011

2010
Model-driven software synthesis for hard real-time applications with energy constraints.
Des. Autom. Embed. Syst., 2010

2009
Traffic analysis and synthetic models of second life.
Multim. Syst., 2009

A Methodology of Traffic Engineering to IP Backbone.
Proceedings of the IP Operations and Management, 9th IEEE International Workshop, 2009

Defining bandwidth constraints with cooperative games.
Proceedings of the International Conference on Ultra Modern Telecommunications, 2009

2008
Fair bandwidth sharing using Shapley value.
Proceedings of the 2008 Euro American conference on Telematics and Information Systems, 2008

2007
A formal framework for middleware behavioural specification.
ACM SIGSOFT Softw. Eng. Notes, 2007

Classification Strategy to Mitigate Unfairness in All-Optical Networks.
Proceedings of the 15th IEEE International Conference on Networks, 2007

2006
Behavioural Specification of Middleware Systems.
J. Braz. Comput. Soc., 2006

Cost Benefit Study of Sparse-Partial Wavelength Conversion Architectures.
Proceedings of the International Conference on Systems and Networks Communications (ICSNC 2006), October 29, 2006

Evaluation of Dedicated Path Protection Schemes in All-Optical Network under Different Wavelength Assignment Algorithms.
Proceedings of the 2006 International Conference on Networking and Services (ICNS 2006), 2006

Adding Meaning to QoS Negotiation.
Proceedings of the ICEIS 2006, 2006

A LOTOS Framework for Middleware Specification.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

An Ontological Approach for Personalized Services.
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2004
An Approach for Reasoning and Refining Non-Functional Requirements.
J. Braz. Comput. Soc., 2004

A Software Architecture-Based Approach for Formalising Middleware Behaviour.
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

A Calculus for Reconfigurable Component-Based Systems.
CLEI Electron. J., 2004

Towards a Model for Personalized Communication Services Based on User Perception.
Proceedings of the ICEIS 2004, 2004

Towards a Model for Personalized Communication Services.
Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 2004

2002
ProcessNFL: A Language for Describing Non-functional Properties.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

2001
A simulation environment for analyses of quality of service in mobile cellular networks.
Proceedings of the 54th IEEE Vehicular Technology Conference, 2001

A framework for building non-functional software architectures.
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

On the Treatment of Non-Functional Properties of Dynamic Distributed Software Architectures.
Proceedings of the ISCA 14th International Conference on Parallel and Distributed Computing Systems, 2001

2000
Specifying and Verifying Reconfigurable Software Architectures.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 2000

Incorporating Non-functional Requirements into Software Architectures.
Proceedings of the Parallel and Distributed Processing, 2000

1999
An architectural application framework for evolving distributed systems.
J. Syst. Archit., 1999

Formal Specification of Dynamic Architectural Styles.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998
An application framework for dynamic distributed software architectures.
Parallel Distributed Comput. Pract., 1998

Specifying Dynamic Distributed Software Architectures.
Proceedings of the 12th Brazilian Symposium on Software Engineering, 1998

Formal Specification of Evolving Distributed Software Architectures.
Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

1994
Deadlock-free configuration programming.
Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994

1992
Um Ambiente Distribuído para Suporte à Configuração Dinâmica.
Proceedings of the 6th Brazilian Symposium on Software Engineering, 1992

Programming distributed systems with configuration languages.
Proceedings of the First International Workshop on Configurable Distributed Systems, 1992

1990
Modelo de Referência para Especificação Formal de Sistemas Operacionais Distribuídos.
Proceedings of the 4th Brazilian Symposium on Software Engineering, 1990

1989
Representação Gráfica para LOTOS.
Proceedings of the 3rd Brazilian Symposium on Software Engineering, 1989

Simulação de Especificações LOTOS Usando Linguagens Funcionais.
Proceedings of the 3rd Brazilian Symposium on Software Engineering, 1989

1983
Message Oriented Programming - A Resource Based Methodology.
Comput. Lang., 1983

1981
Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming.
Proceedings of the 5th International Conference on Software Engineering, 1981

A Synchronization Calculus for Message Oriented Programming.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

1980
On the design and specification of message oriented programs.
Int. J. Parallel Program., 1980

A Methodology for Message Oriented Programming.
Proceedings of the Programmiersprachen und Programmentwicklung, 1980

A Communication Data Type for Message Oriented Programming.
Proceedings of the International Symposium on Programming, 1980


  Loading...