ReP USP - Resultado da busca

Trabalho de evento
An aproach for the verification of multi-agent systems by formally guided simulations (2013)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Workshops WI-IAT. Unidade: IME
Subjects: SISTEMAS MULTIAGENTES, BEHAVIORISMO, COMPORTAMENTO SOCIAL, REDES SOCIAIS
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 aproach for the verification of multi-agent systems by formally guided simulations. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/WI-IAT.2013.119. Acesso em: 01 nov. 2024.
APA
Silva, P. S. da, & Melo, A. C. V. de. (2013). An aproach for the verification of multi-agent systems by formally guided simulations. In Proceedings. Piscataway: IEEE. doi:10.1109/WI-IAT.2013.119
NLM
Silva PS da, Melo ACV de. An aproach for the verification of multi-agent systems by formally guided simulations [Internet]. Proceedings. 2013 ;[citado 2024 nov. 01 ] Available from: https://doi.org/10.1109/WI-IAT.2013.119
Vancouver
Silva PS da, Melo ACV de. An aproach for the verification of multi-agent systems by formally guided simulations [Internet]. Proceedings. 2013 ;[citado 2024 nov. 01 ] Available from: https://doi.org/10.1109/WI-IAT.2013.119
Artigo de periodico
On-the-fly verification of discrete event simulations by means of simulation purposes: extended version (2013)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Source: Simulation. Unidade: IME
Subjects: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO, SIMULAÇÃO
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. On-the-fly verification of discrete event simulations by means of simulation purposes: extended version. Simulation, v. 89, n. 8, p. 977-1008, 2013Tradução . . Disponível em: https://doi.org/10.1177/0037549713490439. Acesso em: 01 nov. 2024.
APA
Silva, P. S. da, & Melo, A. C. V. de. (2013). On-the-fly verification of discrete event simulations by means of simulation purposes: extended version. Simulation, 89( 8), 977-1008. doi:10.1177/0037549713490439
NLM
Silva PS da, Melo ACV de. On-the-fly verification of discrete event simulations by means of simulation purposes: extended version [Internet]. Simulation. 2013 ; 89( 8): 977-1008.[citado 2024 nov. 01 ] Available from: https://doi.org/10.1177/0037549713490439
Vancouver
Silva PS da, Melo ACV de. On-the-fly verification of discrete event simulations by means of simulation purposes: extended version [Internet]. Simulation. 2013 ; 89( 8): 977-1008.[citado 2024 nov. 01 ] Available from: https://doi.org/10.1177/0037549713490439
Trabalho de evento
Behaviorist agent architecture (2013)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Workshops WI-IAT. Unidade: IME
Subjects: SISTEMAS MULTIAGENTES, INTELIGÊNCIA ARTIFICIAL, BEHAVIORISMO
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. Behaviorist agent architecture. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/WI-IAT.2013.108. Acesso em: 01 nov. 2024.
APA
Silva, P. S. da, & Melo, A. C. V. de. (2013). Behaviorist agent architecture. In Proceedings. Piscataway: IEEE. doi:10.1109/WI-IAT.2013.108
NLM
Silva PS da, Melo ACV de. Behaviorist agent architecture [Internet]. Proceedings. 2013 ;[citado 2024 nov. 01 ] Available from: https://doi.org/10.1109/WI-IAT.2013.108
Vancouver
Silva PS da, Melo ACV de. Behaviorist agent architecture [Internet]. Proceedings. 2013 ;[citado 2024 nov. 01 ] Available from: https://doi.org/10.1109/WI-IAT.2013.108
Tese (Doutorado)
Verification of behaviourist multi-agent systems by means of formally guided simulations (2011)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de (Orientador); Gaudel, Marie-Claude (Orientador)
Unidade: IME
Subjects: TÉCNICAS DE PROGRAMAÇÃO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Salem da. Verification of behaviourist multi-agent systems by means of formally guided simulations. 2011. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/. Acesso em: 01 nov. 2024.
APA
Silva, P. S. da. (2011). Verification of behaviourist multi-agent systems by means of formally guided simulations (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/
NLM
Silva PS da. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/
Vancouver
Silva PS da. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/
Trabalho de evento
On-the-fly verification of discrete event simulations by means of simulation purposes (2011)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium. Unidade: IME
Subjects: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO, ENGENHARIA DE SOFTWARE
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. On-the-fly verification of discrete event simulations by means of simulation purposes. 2011, Anais.. San Diego, CA: Society for Computer Simulation International, 2011. Disponível em: https://dl.acm.org/doi/10.5555/2048476.2048508. Acesso em: 01 nov. 2024.
APA
Silva, P. S. da, & Melo, A. C. V. de. (2011). On-the-fly verification of discrete event simulations by means of simulation purposes. In Proceedings. San Diego, CA: Society for Computer Simulation International. Recuperado de https://dl.acm.org/doi/10.5555/2048476.2048508
NLM
Silva PS da, Melo ACV de. On-the-fly verification of discrete event simulations by means of simulation purposes [Internet]. Proceedings. 2011 ;[citado 2024 nov. 01 ] Available from: https://dl.acm.org/doi/10.5555/2048476.2048508
Vancouver
Silva PS da, Melo ACV de. On-the-fly verification of discrete event simulations by means of simulation purposes [Internet]. Proceedings. 2011 ;[citado 2024 nov. 01 ] Available from: https://dl.acm.org/doi/10.5555/2048476.2048508
Trabalho de evento
A formal environment model for multi-agent systems (2010)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods: Foundatons and applications - SBMF. Unidade: IME
Subjects: SISTEMAS MULTIAGENTES, SEMÂNTICA DE PROGRAMAÇÃO
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. A formal environment model for multi-agent systems. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-19829-8_5. Acesso em: 01 nov. 2024.
APA
Silva, P. S. da, & Melo, A. C. V. de. (2010). A formal environment model for multi-agent systems. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-19829-8_5
NLM
Silva PS da, Melo ACV de. A formal environment model for multi-agent systems [Internet]. Proceedings. 2010 ;[citado 2024 nov. 01 ] Available from: https://doi.org/10.1007/978-3-642-19829-8_5
Vancouver
Silva PS da, Melo ACV de. A formal environment model for multi-agent systems [Internet]. Proceedings. 2010 ;[citado 2024 nov. 01 ] Available from: https://doi.org/10.1007/978-3-642-19829-8_5
Trabalho de evento-anais periodico
Model checking merged program traces (2009)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Source: Electronic Notes in Theoretical Computer Science. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Subjects: JAVA, MODELOS DE PROCESSO DE SOFTWARE
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. Model checking merged program traces. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2009.05.047. Acesso em: 01 nov. 2024. , 2009
APA
Silva, P. S. da, & Melo, A. C. V. de. (2009). Model checking merged program traces. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2009.05.047
NLM
Silva PS da, Melo ACV de. Model checking merged program traces [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 240 97-112.[citado 2024 nov. 01 ] Available from: https://doi.org/10.1016/j.entcs.2009.05.047
Vancouver
Silva PS da, Melo ACV de. Model checking merged program traces [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 240 97-112.[citado 2024 nov. 01 ] Available from: https://doi.org/10.1016/j.entcs.2009.05.047
Trabalho de evento
Reusing models in multi-agent simulation with software components (2008)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: International Conference on Autonomous Agents and Multi Agent Systems - AAMAS. Unidade: IME
Subjects: SISTEMAS MULTIAGENTES, REDES SOCIAIS
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. Reusing models in multi-agent simulation with software components. 2008, Anais.. New York: ACM, 2008. Disponível em: https://dl.acm.org/doi/10.5555/1402298.1402379. Acesso em: 01 nov. 2024.
APA
Silva, P. S. da, & Melo, A. C. V. de. (2008). Reusing models in multi-agent simulation with software components. In Proceedings. New York: ACM. Recuperado de https://dl.acm.org/doi/10.5555/1402298.1402379
NLM
Silva PS da, Melo ACV de. Reusing models in multi-agent simulation with software components [Internet]. Proceedings. 2008 ;[citado 2024 nov. 01 ] Available from: https://dl.acm.org/doi/10.5555/1402298.1402379
Vancouver
Silva PS da, Melo ACV de. Reusing models in multi-agent simulation with software components [Internet]. Proceedings. 2008 ;[citado 2024 nov. 01 ] Available from: https://dl.acm.org/doi/10.5555/1402298.1402379
Trabalho de evento
A simulation-oriented formalization for a psychological theory (2007)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: International Conference on Fundamental Approaches to Software Engineering - FASE. Unidade: IME
Subjects: SISTEMAS MULTIAGENTES, LÓGICA FORMAL, BEHAVIORISMO
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. A simulation-oriented formalization for a psychological theory. 2007, Anais.. Berlin: Springer, 2007. Disponível em: https://doi.org/10.1007/978-3-540-71289-3_5. Acesso em: 01 nov. 2024.
APA
Silva, P. S. da, & Melo, A. C. V. de. (2007). A simulation-oriented formalization for a psychological theory. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-71289-3_5
NLM
Silva PS da, Melo ACV de. A simulation-oriented formalization for a psychological theory [Internet]. Proceedings. 2007 ;[citado 2024 nov. 01 ] Available from: https://doi.org/10.1007/978-3-540-71289-3_5
Vancouver
Silva PS da, Melo ACV de. A simulation-oriented formalization for a psychological theory [Internet]. Proceedings. 2007 ;[citado 2024 nov. 01 ] Available from: https://doi.org/10.1007/978-3-540-71289-3_5
Trabalho de evento
An ontology for mobile agents in the context of formal verification (2005)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: OTM Confederated International Conferences "On the Move to Meaningful Internet Systems" - OTM, CoopIS, DOA, and ODBASE. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, COMPUTAÇÃO MÓVEL, TELEFONIA CELULAR, TELEFONIA CELULAR
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] Available from: https://doi.org/10.1007/11575801_35

USP Schools

ReP

Filtros

Date published

Subjects

Publisher

Conference titles