Paulo Alencar
Paulo Alencar
Associate Director, CSG; Research Professor, University of Waterloo
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.uwaterloo.ca
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
The use of machine learning algorithms in recommender systems: A systematic review
I Portugal, P Alencar, D Cowan
Expert Systems with Applications 97, 205-227, 2018
3242018
Taming agents and objects in software engineering
V Silva, A Garcia, A Brandão, C Chavez, C Lucena, P Alencar
International Workshop on Software Engineering for Large-Scale Multi-agent …, 2002
1202002
A formal approach to architectural design patterns
PSC Alencar, DD Cowan, CJP Lucena
International Symposium of Formal Methods Europe, 576-594, 1996
971996
BPMNt: A BPMN extension for specifying software process tailoring
RM Pillat, TC Oliveira, PSC Alencar, DD Cowan
Information and Software Technology 57, 95-115, 2015
692015
Ensuring structure and behavior correctness in design composition
J Dong, PSC Alencar, DD Cowan
Proceedings Seventh IEEE International Conference and Workshop on the …, 2000
642000
A pattern-based approach to structural design composition
P Alencar, D Cowan, J Dong, C Lucena
Proceedings. Twenty-Third Annual International Computer Software and …, 1999
581999
Specifying laws in open multi-agent systems
R Paes, GR Carvalho, CJP Lucena, PSC Alencar, HO Almeida, VT Silva
Agents, Norms and Institutions for Regulated Multi-agent Systems (ANIREM …, 2005
472005
Anisotropic fluids with multifluid components
PS Letelier, PSC Alencar
Physical Review D 34 (2), 343, 1986
431986
Event models in distributed event based systems
R Blanco, P Alencar
Principles and Applications of Distributed Event-Based Systems, 19-42, 2010
422010
Composing pattern-based components and verifying correctness
J Dong, PSC Alencar, DD Cowan, S Yang
Journal of Systems and Software 80 (11), 1755-1769, 2007
362007
ReuseTool—An extensible tool support for object-oriented framework reuse
TC Oliveira, P Alencar, D Cowan
Journal of Systems and Software 84 (12), 2234-2252, 2011
352011
A generative approach for multi-agent system development
U Kulesza, A Garcia, C Lucena, P Alencar
International Workshop on Software Engineering for Large-Scale Multi-agent …, 2004
342004
A behavioral analysis and verification approach to pattern-based design composition
J Dong, PSC Alencar, DD Cowan
Software and Systems Modeling 3 (4), 262-272, 2004
322004
Supporting formal verification of crosscutting concerns
T Nelson, D Cowan, P Alencar
International Conference on Metalevel Architectures and Reflection, 153-169, 2001
312001
Collaborative geomatics and the Mushkegowuk Cree First Nations: Fostering adaptive capacity for community-based sub-arctic natural resource management
DDP McCarthy, GS Whitelaw, S Anderson, D Cowan, F McGarry, ...
Geoforum 43 (2), 305-314, 2012
302012
A metamodel for distributed event based systems
R Blanco, J Wang, P Alencar
Proceedings of the second international conference on Distributed event …, 2008
302008
On manageability and robustness of open multi-agent systems
NH Minsky, T Murata
International Workshop on Software Engineering for Large-Scale Multi-agent …, 2003
292003
Combining formal techniques and prototyping in user interface construction and verification
P Bumbulis, PSC Alencar, DD Cowan, CJP Lucena
Design, Specification and Verification of Interactive Systems’ 95, 174-192, 1995
291995
Software engineering for big data projects: Domains, methodologies and gaps
VD Kumar, P Alencar
2016 IEEE International Conference on Big Data (Big Data), 2886-2895, 2016
262016
Software process representation and analysis for framework instantiation
TC Oliveira, CJP de Lucena, PSC Alencar, DD Cowan
IEEE Transactions on Software Engineering 30 (3), 145-159, 2004
262004
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20