| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson Andrade, Bruno Costa e Silva Nogueira, Carlos Araújo, Paulo Roberto Freire Cunha |
Energy consumption and execution time estimation of embedded system applications.  |
Microprocessors and Microsystems - Embedded Hardware Design  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Araújo, Paulo Romero Martins Maciel, Armin Zimmermann, Ermeson Andrade, Erica Sousa, Gustavo Rau de Almeida Callou, Paulo Roberto Freire Cunha |
Performability modeling of electronic funds transfer systems. |
Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Tavares, Paulo Romero Martins Maciel, Pedro Dallegrave, B. Silva, Tiago Falcão, Bruno Costa e Silva Nogueira, Gustavo Rau de Almeida Callou, P. R. F. Cunha |
Model-driven software synthesis for hard real-time applications with energy constraints. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edilayne Meneses Salgueiro, Paulo Roberto Freire Cunha, Paulo Romero Martins Maciel, José Augusto Suruagy Monteiro, Ricardo J. P. B. Salgueiro |
Defining bandwidth constraints with cooperative games. |
ICUMT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | José E. Bessa Maia, Arnoldo N. da Silva, Jorge L. C. Silva, Paulo Roberto Freire Cunha |
A Methodology of Traffic Engineering to IP Backbone. |
IPOM |
2009 |
DBLP DOI BibTeX RDF |
Local Linear Model, Principal Components Analysis, Traffic Engineering, Traffic Prediction |
| 1 | Edilayne Meneses Salgueiro, Paulo Roberto Freire Cunha, Ricardo J. P. B. Salgueiro, José A. S. Monteiro |
Fair bandwidth sharing using Shapley value. |
EATIS |
2008 |
DBLP DOI BibTeX RDF |
QoS, fairness, cooperative games, bandwidth sharing, Shapley value |
| 1 | Nelson Souto Rosa, Paulo Roberto Freire Cunha |
A formal framework for middleware behavioural specification. |
ACM SIGSOFT Software Engineering Notes |
2007 |
DBLP DOI BibTeX RDF |
middleware, formal specification, framework, LOTOS |
| 1 | Nelson Souto Rosa, Paulo Roberto Freire Cunha |
Behavioural Specification of Middleware Systems. |
J. Braz. Comp. Soc. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nelson S. Rosa, Paulo Roberto Freire Cunha |
A LOTOS Framework for Middleware Specification. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cláudia M. F. A. Ribeiro, Nelson S. Rosa, Paulo Roberto Freire Cunha |
Adding Meaning to QoS Negotiation. |
ICEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Cláudia M. F. A. Ribeiro, Nelson S. Rosa, Paulo Roberto Freire Cunha |
An Ontological Approach for Personalized Services. |
AINA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cidcley Teixeira de Souza, Paulo Roberto Freire Cunha |
A Calculus for Reconfigurable Component-Based Systems. |
CLEI Electron. J. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Nelson Souto Rosa, Paulo Roberto Freire Cunha |
An Approach for Reasoning and Refining Non-Functional Requirements. |
J. Braz. Comp. Soc. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nelson S. Rosa, Paulo Roberto Freire Cunha |
A Software Architecture-Based Approach for Formalising Middleware Behaviour. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cláudia M. F. A. Ribeiro, Nelson S. Rosa, Paulo Roberto Freire Cunha |
Towards a Model for Personalized Communication Services Based on User Perception. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Cláudia M. F. A. Ribeiro, Nelson S. Rosa, Paulo Roberto Freire Cunha |
Towards a Model for Personalized Communication Services. |
AINA |
2004 |
DBLP DOI BibTeX RDF |
Quality of Service, Personalized Services, User Perception |
| 1 | Nelson S. Rosa, P. R. F. Cunha, George R. Ribeiro-Justo |
ProcessNFL: A Language for Describing Non-functional Properties. (PDF / PS) |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
Process-Oriented Approach, Security and Performance, Non-Functional Properties |
| 1 | Nelson S. Rosa, George R. Ribeiro-Justo, P. R. F. Cunha |
A framework for building non-functional software architectures. |
SAC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nelson S. Rosa, Paulo Roberto Freire Cunha, George R. Ribeiro-Justo |
On the Treatment of Non-Functional Properties of Dynamic Distributed Software Architectures. |
ISCA PDCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Virginia C. Carneiro de Paula, George R. Ribeiro-Justo, P. R. F. Cunha |
Specifying and Verifying Reconfigurable Software Architectures. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
reconfigurable software architecture, software architecture, formal specification, dynamic software architecture |
| 1 | Nelson S. Rosa, George R. Ribeiro-Justo, P. R. F. Cunha |
Incorporating Non-functional Requirements into Software Architectures. |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Virginia C. Carneiro de Paula, George R. Ribeiro-Justo, P. R. F. Cunha |
Formal Specification of Dynamic Architectural Styles. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
| 1 | George R. Ribeiro-Justo, Paulo Roberto Freire Cunha |
An architectural application framework for evolving distributed systems. |
Journal of Systems Architecture |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | George R. Ribeiro-Justo, P. R. F. Cunha |
An application framework for dynamic distributed software architectures. |
Scalable Computing: Practice and Experience |
1998 |
DBLP BibTeX RDF |
|
| 1 | George R. Ribeiro-Justo, Virginia C. Carneiro de Paula, P. R. F. Cunha |
Formal Specification of Evolving Distributed Software Architectures. |
DEXA Workshops |
1998 |
DBLP BibTeX RDF |
|
| 1 | George R. Ribeiro-Justo, Paulo Roberto Freire Cunha |
Deadlock-free configuration programming. |
CDS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | George R. Ribeiro-Justo, Paulo Roberto Freire Cunha |
Programming distributed systems with configuration languages. |
CDS |
1992 |
DBLP BibTeX RDF |
|
| 1 | P. R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum |
Message Oriented Programming - A Resource Based Methodology. |
Comput. Lang. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | P. R. F. Cunha, T. S. E. Maibaum |
Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming. |
ICSE |
1981 |
DBLP BibTeX RDF |
|
| 1 | Paulo Roberto Freire Cunha, T. S. E. Maibaum |
A Synchronization Calculus for Message Oriented Programming. |
ICDCS |
1981 |
DBLP BibTeX RDF |
|
| 1 | P. R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum |
A Methodology for Message Oriented Programming. |
Fachtagung über Programmiersprachen |
1980 |
DBLP BibTeX RDF |
|
| 1 | P. R. F. Cunha, T. S. E. Maibaum |
A Communication Data Type for Message Oriented Programming. |
Symposium on Programming |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Roberto Freire Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum |
On the design and specification of message oriented programs. |
International Journal of Parallel Programming |
1980 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")