Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
Advances in Intelligent Systems and Computing(1)
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings(1)
Procedia Computer Science(1)
Science of Computer Programming(1)
Área temáticas
Ciencias de la computación(4)
Métodos informáticos especiales(1)
Programación informática, programas, datos, seguridad(1)
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
ArticleAbstract: By following a methodological approach, introduced in a previous work, a correct system specificatioPalabras claves:CSP+T, Formal specification, Real-time software systems, UML-RTAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Terriza J.H., Tuñón M.I.C.Fuentes:googlescopusADELE: A middleware for supporting the evolution of multi-agents systems based on a metaprogramming approach
Conference ObjectAbstract: This paper presents a middleware based on an agent model for supporting reactive agents that can chaPalabras claves:Behavior injection, EVOLUTION, JADE, Metaprogramming, Multi-agentAutores:Pablo A. Pico-Valencia, Terriza J.H.Fuentes:scopusAn Agent Middleware for Supporting Ecosystems of Heterogeneous Web Services
Conference ObjectAbstract: The integration of a Multi-agent technology with a service oriented architecture provides a conveniePalabras claves:ADELE, Doha, dynamic client, Multi-agent, Restful, service ecosystem, SOAP, web serviceAutores:Pablo A. Pico-Valencia, Terriza J.H.Fuentes:scopusTowards uml-rt behavioural consistency
Conference ObjectAbstract: Having an objective of achieving a formal characterisation of Sequence Diagrams (UML-SD) as a meansPalabras claves:CSP+T, Formal semantics, State diagram, Timed sequence diagram, Timed traces, Timing constraintsAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Terriza J.H., Tuñón M.I.C.Fuentes:googlescopus