An ontology for mobile agents in the context of formal verification

An ontology for mobile agents in the context of formal verification (2005)

Authors:
- Silva, Paulo Salem da
- Melo, Ana Cristina Vieira de
USP affiliated authors: MELO, ANA CRISTINA VIEIRA DE - IME ; SILVA, PAULO SALEM DA - IME
Unidade: IME
DOI: 10.1007/11575801_35
Subjects: INTELIGÊNCIA ARTIFICIAL; COMPUTAÇÃO MÓVEL; TELEFONIA CELULAR; TELEFONIA CELULAR
Keywords: mobile agent; description logic; mapping rule; formalism ontology
Agências de fomento:
- Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
- Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
  Processo FAPESP: 03/00312-0
Language: Inglês
Imprenta:
- Publisher: Springer
- Publisher place: Berlin
- Date published: 2005
Source:
- Título: Proceedings
Conference titles: OTM Confederated International Conferences "On the Move to Meaningful Internet Systems" - OTM, CoopIS, DOA, and ODBASE

Informações sobre o DOI: 10.1007/11575801_35 (Fonte: oaDOI API)

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

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: 28 fev. 2026.
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 2026 fev. 28 ] 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 2026 fev. 28 ] Available from: https://doi.org/10.1007/11575801_35