Encarnación Beato-Gutiérrez
Cited by
Cited by
Dynamic coordination architecture through the use of reflection
CE Cuesta, P de la Fuente, M Barrio-Solárzano
Proceedings of the 2001 ACM symposium on Applied computing, 134-140, 2001
UML automatic verification tool with formal methods
ME Beato, M Barrio-Solórzano, CE Cuesta, P de la Fuente
Electronic Notes in Theoretical Computer Science 127 (4), 3-16, 2005
Modern formal methods and applications
HA Gabbar
Springer Science & Business Media, 2006
Open linked data and mobile devices as e-tourism tools. A practical approach to collaborative e-learning
AM Fermoso, M Mateos, ME Beato, R Berjón
Computers in Human Behavior 51, 618-626, 2015
Metadata and semantics
MA Sicilia, MD Lytras
Springer Science & Business Media, 2008
UML automatic verification tool (TABU)
ME Beato, M Barrio-Solórzano, CE Cuesta, P de la Fuente
SAVCBS 2004 Specification and Verification of Component-Based Systems, 106, 2004
Bio-Inspired Systems: Computational and Ambient Intelligence: 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009 …
J Cabestany, F Sandoval, A Prieto, JMC Rodríguez
Springer, 2009
Coordination in a reflective architecture description language
CE Cuesta, P de la Fuente, M Barrio-Solórzano, E Beato
International Conference on Coordination Languages and Models, 141-148, 2002
Automated verification of role-based access control security models recovered from dynamic web applications
MH Alalfi, JR Cordy, TR Dean
2012 14th IEEE International Symposium on Web Systems Evolution (WSE), 1-10, 2012
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
F Arbab, C Talcott
Springer Science & Business Media, 2002
Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts: Evolving Technologies and Ubiquitous Impacts
MM Cruz-Cunha, F Moreira
IGI Global, 2011
SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts
S Van Langenhove, A Hoogewijs
International Workshop on Algebraic Development Techniques, 142-155, 2006
An “abstract process” approach to algebraic dynamic architecture description
CE Cuesta, P de la Fuente, M Barrio-Solórzano, ME Beato
The Journal of Logic and Algebraic Programming 63 (2), 177-214, 2005
Introducing reflection in architecture description languages
CE Cuesta, P de la Fuente, M Barrio-Solórzano, ME Beato
Software Architecture: System Design, Development and Maintenance, 143-156, 2002
SCHOM. A tool for communication and collaborative e-learning
R Berjón, ME Beato, M Mateos, AM Fermoso
Computers in Human Behavior 51, 1163-1171, 2015
Touch Me: a new and easier way for accessibility using Smartphones and NFC
MA Sánchez, M Mateos, JA Fraile, D Pizarro
Highlights on Practical Applications of Agents and Multi-Agent Systems: 10th …, 2012
Coordination as an architectural aspect
CE Cuesta, MP Romay, P de la Fuente, M Barrio-Solórzano
Electronic Notes in Theoretical Computer Science 154 (1), 25-41, 2006
Highlights on practical applications of agents and multi-agent systems
JB Pérez, JMC Rodríguez, E Adam, A Ortega, MN Moreno, E Navarro, ...
Springer, 2012
Bio-inspired systems: computational and ambient intelligence
F Sandoval, J Cabestany, A Prieto
Neurocomputing 74 (16), 2591, 2011
Developing home care intelligent environments: from theory to practice
JAF Nieto, MEB Gutiérrez, BP Lancho
7th International Conference on Practical Applications of Agents and Multi …, 2009
The system can't perform the operation now. Try again later.
Articles 1–20