Encarnación Beato-Gutiérrez
Encarnación Beato-Gutiérrez
Geverifieerd e-mailadres voor upsa.es
Geciteerd door
Geciteerd door
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
Modern formal methods and applications
HA Gabbar
Springer Science & Business Media, 2006
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
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
Coordination in a reflective architecture description language
CE Cuesta, M Barrio-Solórzano, E Beato
International Conference on Coordination Languages and Models, 141-148, 2002
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
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
SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts
SV Langenhove, A Hoogewijs
International Workshop on Algebraic Development Techniques, 142-155, 2006
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
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, M Barrio-Solórzano, ME Beato
Working Conference on Software Architecture, 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, 307-314, 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
Bio-inspired systems: computational and ambient intelligence
F Sandoval, J Cabestany, A Prieto
Neurocomputing 74 (16), 2591, 2011
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
Mobile Assistant for the Elder (MASEL): a practical application of smart mobility
MA Sánchez, E Beato, D Salvador, A Martín
Highlights in Practical Applications of Agents and Multiagent Systems, 325-331, 2011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20