ReP USP - Resultado da busca

Artigo de periodico
Formalization of an architectural model for exception handling coordination based on CA action concepts (2010)
Pereira, David Paulo; Melo, Ana Cristina Vieira de
Source: Science of Computer Programming. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, David Paulo e MELO, Ana Cristina Vieira de. Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming, v. 75, n. 5, p. 333-349, 2010Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2009.12.006. Acesso em: 18 out. 2024.
APA
Pereira, D. P., & Melo, A. C. V. de. (2010). Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming, 75( 5), 333-349. doi:10.1016/j.scico.2009.12.006
NLM
Pereira DP, Melo ACV de. Formalization of an architectural model for exception handling coordination based on CA action concepts [Internet]. Science of Computer Programming. 2010 ; 75( 5): 333-349.[citado 2024 out. 18 ] Available from: https://doi.org/10.1016/j.scico.2009.12.006
Vancouver
Pereira DP, Melo ACV de. Formalization of an architectural model for exception handling coordination based on CA action concepts [Internet]. Science of Computer Programming. 2010 ; 75( 5): 333-349.[citado 2024 out. 18 ] Available from: https://doi.org/10.1016/j.scico.2009.12.006
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: 18 out. 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 out. 18 ] 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 out. 18 ] Available from: https://doi.org/10.1016/j.entcs.2009.05.047
Trabalho de evento-anais periodico
From active names to π-calculus rewriting rules (2005)
Melo, Ana Cristina Vieira de
Source: Electronic Notes in Theoretical Computer Science. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Subjects: TEORIA DOS AUTÔMATOS, MODELOS MATEMÁTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cristina Vieira de. From active names to π-calculus rewriting rules. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/j.entcs.2005.03.010. Acesso em: 18 out. 2024. , 2005
APA
Melo, A. C. V. de. (2005). From active names to π-calculus rewriting rules. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.entcs.2005.03.010
NLM
Melo ACV de. From active names to π-calculus rewriting rules [Internet]. Electronic Notes in Theoretical Computer Science. 2005 ; 130 169-185.[citado 2024 out. 18 ] Available from: https://doi.org/10.1016/j.entcs.2005.03.010
Vancouver
Melo ACV de. From active names to π-calculus rewriting rules [Internet]. Electronic Notes in Theoretical Computer Science. 2005 ; 130 169-185.[citado 2024 out. 18 ] Available from: https://doi.org/10.1016/j.entcs.2005.03.010
Artigo de periodico
On the composition of Java frameworks control-flows (2004)
Melo, Ana Cristina Vieira de; Moutinho, Bruno Martins
Source: Information and Software Technology. Unidade: IME
Subjects: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cristina Vieira de e MOUTINHO, Bruno Martins. On the composition of Java frameworks control-flows. Information and Software Technology, v. 46, n. 5, p. 301-307, 2004Tradução . . Disponível em: https://doi.org/10.1016/j.infsof.2003.09.007. Acesso em: 18 out. 2024.
APA
Melo, A. C. V. de, & Moutinho, B. M. (2004). On the composition of Java frameworks control-flows. Information and Software Technology, 46( 5), 301-307. doi:10.1016/j.infsof.2003.09.007
NLM
Melo ACV de, Moutinho BM. On the composition of Java frameworks control-flows [Internet]. Information and Software Technology. 2004 ; 46( 5): 301-307.[citado 2024 out. 18 ] Available from: https://doi.org/10.1016/j.infsof.2003.09.007
Vancouver
Melo ACV de, Moutinho BM. On the composition of Java frameworks control-flows [Internet]. Information and Software Technology. 2004 ; 46( 5): 301-307.[citado 2024 out. 18 ] Available from: https://doi.org/10.1016/j.infsof.2003.09.007
Trabalho de evento-anais periodico
A study on the potential active names of π-agents (2004)
Melo, Ana Cristina Vieira de
Source: Electronic Notes in Theoretical Computer Science. Conference titles: Brazilian Workshop on Formal Methods - WMF. Unidade: IME
Subjects: COMPUTABILIDADE E COMPLEXIDADE, PROGRAMAÇÃO MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cristina Vieira de. A study on the potential active names of π-agents. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/S1571-0661(04)05025-X. Acesso em: 18 out. 2024. , 2004
APA
Melo, A. C. V. de. (2004). A study on the potential active names of π-agents. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/S1571-0661(04)05025-X
NLM
Melo ACV de. A study on the potential active names of π-agents [Internet]. Electronic Notes in Theoretical Computer Science. 2004 ; 95 269-286.[citado 2024 out. 18 ] Available from: https://doi.org/10.1016/S1571-0661(04)05025-X
Vancouver
Melo ACV de. A study on the potential active names of π-agents [Internet]. Electronic Notes in Theoretical Computer Science. 2004 ; 95 269-286.[citado 2024 out. 18 ] Available from: https://doi.org/10.1016/S1571-0661(04)05025-X
Artigo de periodico
On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions (2002)
Silva, Flávio Soares Corrêa da ; Vasconcelos, Wamberto Weber Miranda Peixoto de; Robertson, Douglas S.; Brilhante, Virginia; Melo, Ana Cristina Vieira de; Finger, Marcelo ; Agustí, Jaume
Source: Knowledge-Based Systems. Unidade: IME
Subjects: SISTEMAS BASEADOS EM CONHECIMENTO, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da et al. On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowledge-Based Systems, v. 15, n. 3, p. 147-167, 2002Tradução . . Disponível em: https://doi.org/10.1016/s0950-7051(01)00152-6. Acesso em: 18 out. 2024.
APA
Silva, F. S. C. da, Vasconcelos, W. W. M. P. de, Robertson, D. S., Brilhante, V., Melo, A. C. V. de, Finger, M., & Agustí, J. (2002). On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowledge-Based Systems, 15( 3), 147-167. doi:10.1016/s0950-7051(01)00152-6
NLM
Silva FSC da, Vasconcelos WWMP de, Robertson DS, Brilhante V, Melo ACV de, Finger M, Agustí J. On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions [Internet]. Knowledge-Based Systems. 2002 ; 15( 3): 147-167.[citado 2024 out. 18 ] Available from: https://doi.org/10.1016/s0950-7051(01)00152-6
Vancouver
Silva FSC da, Vasconcelos WWMP de, Robertson DS, Brilhante V, Melo ACV de, Finger M, Agustí J. On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions [Internet]. Knowledge-Based Systems. 2002 ; 15( 3): 147-167.[citado 2024 out. 18 ] Available from: https://doi.org/10.1016/s0950-7051(01)00152-6

USP Schools

ReP

Filtros

Authors

Subjects

Funding Agencies