An ontology for mobile agents in the context of formal verification (2005)
- Autores:
- Autores USP: MELO, ANA CRISTINA VIEIRA DE - IME ; SILVA, PAULO SALEM DA - IME
- Unidade: IME
- DOI: 10.1007/11575801_35
- Assuntos: INTELIGÊNCIA ARTIFICIAL; COMPUTAÇÃO MÓVEL; TELEFONIA CELULAR; TELEFONIA CELULAR
- Palavras-chave do autor: mobile agent; description logic; mapping rule; formalism ontology
- Agências de fomento:
- Idioma: Inglês
- Imprenta:
- Fonte:
- Título do periódico: Proceedings
- Nome do evento: OTM Confederated International Conferences "On the Move to Meaningful Internet Systems" - OTM, CoopIS, DOA, and ODBASE
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
SILVA, Paulo Salem da e MELO, Ana Cristina Vieira de. An ontology for mobile agents in the context of formal verification. 2005, Anais.. Berlin: Springer, 2005. Disponível em: https://doi.org/10.1007/11575801_35. Acesso em: 23 abr. 2024. -
APA
Silva, P. S. da, & Melo, A. C. V. de. (2005). An ontology for mobile agents in the context of formal verification. In Proceedings. Berlin: Springer. doi:10.1007/11575801_35 -
NLM
Silva PS da, Melo ACV de. An ontology for mobile agents in the context of formal verification [Internet]. Proceedings. 2005 ;[citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/11575801_35 -
Vancouver
Silva PS da, Melo ACV de. An ontology for mobile agents in the context of formal verification [Internet]. Proceedings. 2005 ;[citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/11575801_35 - On-the-fly verification of discrete event simulations by means of simulation purposes
- Model checking merged program traces
- Reusing models in multi-agent simulation with software components
- A simulation-oriented formalization for a psychological theory
- Verification of behaviourist multi-agent systems by means of formally guided simulations
- Bayesian networks in software maintenance management
- Towards MC/DC coverage of properties specification patterns
- Reusing hardware components with single-state processes
- Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil
- Testing the adherence of enterprise web applications to transactional patterns
Informações sobre o DOI: 10.1007/11575801_35 (Fonte: oaDOI API)
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas