Filtros : "Melo, Ana Cristina Vieira de" Limpar

Filtros



Refine with date range


  • 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

    Acesso à fonteDOIHow to cite
    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: 28 mar. 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 mar. 28 ] 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 mar. 28 ] Available from: https://doi.org/10.1016/S1571-0661(04)05025-X
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SANCHEZ, Adilson de Jesus. Uso de redes bayesianas no gerenciamento de manutenção de software. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/. Acesso em: 28 mar. 2024.
    • APA

      Sanchez, A. de J. (2003). Uso de redes bayesianas no gerenciamento de manutenção de software (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/
    • NLM

      Sanchez A de J. Uso de redes bayesianas no gerenciamento de manutenção de software [Internet]. 2003 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/
    • Vancouver

      Sanchez A de J. Uso de redes bayesianas no gerenciamento de manutenção de software [Internet]. 2003 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/
  • Source: Alguns Tabalhos do IME-USP para o 10o. SIICUSP. Conference titles: Simpósio Internacional de Iniciação Científica da USP. Unidade: IME

    Assunto: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ANDRADE, André Gustavo e MELO, Ana Cristina Vieira de. PiG - Pi calculus gráfico. 2003, Anais.. São Paulo: IME-USP, 2003. . Acesso em: 28 mar. 2024.
    • APA

      Andrade, A. G., & Melo, A. C. V. de. (2003). PiG - Pi calculus gráfico. In Alguns Tabalhos do IME-USP para o 10o. SIICUSP. São Paulo: IME-USP.
    • NLM

      Andrade AG, Melo ACV de. PiG - Pi calculus gráfico. Alguns Tabalhos do IME-USP para o 10o. SIICUSP. 2003 ;[citado 2024 mar. 28 ]
    • Vancouver

      Andrade AG, Melo ACV de. PiG - Pi calculus gráfico. Alguns Tabalhos do IME-USP para o 10o. SIICUSP. 2003 ;[citado 2024 mar. 28 ]
  • Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME

    Subjects: JAVA, PROGRAMAÇÃO ORIENTADA A OBJETOS

    Acesso à fonteDOIHow to cite
    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. 2003, Anais.. New York: ACM, 2003. Disponível em: https://doi.org/10.1145/952532.952747. Acesso em: 28 mar. 2024.
    • APA

      Melo, A. C. V. de, & Moutinho, B. M. (2003). On the composition of Java frameworks control-flows. In Proceedings. New York: ACM. doi:10.1145/952532.952747
    • NLM

      Melo ACV de, Moutinho BM. On the composition of Java frameworks control-flows [Internet]. Proceedings. 2003 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1145/952532.952747
    • Vancouver

      Melo ACV de, Moutinho BM. On the composition of Java frameworks control-flows [Internet]. Proceedings. 2003 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1145/952532.952747
  • Unidade: IME

    Assunto: LINGUAGEM DE PROGRAMAÇÃO

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MELO, Ana Cristina Vieira de e SILVA, Flávio Soares Corrêa da. Princípios de linguagens de programação. . São Paulo: Edgard Blucher. . Acesso em: 28 mar. 2024. , 2003
    • APA

      Melo, A. C. V. de, & Silva, F. S. C. da. (2003). Princípios de linguagens de programação. São Paulo: Edgard Blucher.
    • NLM

      Melo ACV de, Silva FSC da. Princípios de linguagens de programação. 2003 ;[citado 2024 mar. 28 ]
    • Vancouver

      Melo ACV de, Silva FSC da. Princípios de linguagens de programação. 2003 ;[citado 2024 mar. 28 ]
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      AMORIM, Marcelo de Moura. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/. Acesso em: 28 mar. 2024.
    • APA

      Amorim, M. de M. (2003). Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/
    • NLM

      Amorim M de M. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento [Internet]. 2003 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/
    • Vancouver

      Amorim M de M. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento [Internet]. 2003 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      TABUTI, Lucy Mari. Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus. 2002. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2002. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/. Acesso em: 28 mar. 2024.
    • APA

      Tabuti, L. M. (2002). Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/
    • NLM

      Tabuti LM. Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus [Internet]. 2002 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/
    • Vancouver

      Tabuti LM. Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus [Internet]. 2002 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/
  • Source: Knowledge-Based Systems. Unidade: IME

    Subjects: SISTEMAS BASEADOS EM CONHECIMENTO, REPRESENTAÇÃO DE CONHECIMENTO

    Acesso à fonteDOIHow to cite
    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: 28 mar. 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 mar. 28 ] 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 mar. 28 ] Available from: https://doi.org/10.1016/s0950-7051(01)00152-6
  • Unidade: IME

    Assunto: TÉCNICAS DE PROGRAMAÇÃO

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MOUTINHO, Bruno Martins. Composição de fluxos de controle de frameworks java. 2001. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2001. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-125347/. Acesso em: 28 mar. 2024.
    • APA

      Moutinho, B. M. (2001). Composição de fluxos de controle de frameworks java (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-125347/
    • NLM

      Moutinho BM. Composição de fluxos de controle de frameworks java [Internet]. 2001 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-125347/
    • Vancouver

      Moutinho BM. Composição de fluxos de controle de frameworks java [Internet]. 2001 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-125347/
  • Source: Proceedings. Conference titles: International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems - IEA/AIE. Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, ONTOLOGIA

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ROBERTSON, David S. et al. A lightweight capability communication mechanism. 2000, Anais.. Berlin: Springer, 2000. . Acesso em: 28 mar. 2024.
    • APA

      Robertson, D. S., Agusti Jaume,, Silva, F. S. C. da, Vasconcelos, W. W. M. P. de, & Melo, A. C. V. de. (2000). A lightweight capability communication mechanism. In Proceedings. Berlin: Springer.
    • NLM

      Robertson DS, Agusti Jaume, Silva FSC da, Vasconcelos WWMP de, Melo ACV de. A lightweight capability communication mechanism. Proceedings. 2000 ;[citado 2024 mar. 28 ]
    • Vancouver

      Robertson DS, Agusti Jaume, Silva FSC da, Vasconcelos WWMP de, Melo ACV de. A lightweight capability communication mechanism. Proceedings. 2000 ;[citado 2024 mar. 28 ]
  • Unidade: IME

    Assunto: INTELIGÊNCIA ARTIFICIAL

    Versão PublicadaHow to cite
    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. Knowledge sharing between a probabilistuc logic and Bayesian belief network. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/91a41f3a-b14c-4f7e-830d-2aef0529a29d/1057695.pdf. Acesso em: 28 mar. 2024. , 1999
    • APA

      Silva, F. S. C. da, Agustí, J., Araujo, R. C. de, & Melo, A. C. V. de. (1999). Knowledge sharing between a probabilistuc logic and Bayesian belief network. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/91a41f3a-b14c-4f7e-830d-2aef0529a29d/1057695.pdf
    • NLM

      Silva FSC da, Agustí J, Araujo RC de, Melo ACV de. Knowledge sharing between a probabilistuc logic and Bayesian belief network [Internet]. 1999 ;[citado 2024 mar. 28 ] Available from: https://repositorio.usp.br/directbitstream/91a41f3a-b14c-4f7e-830d-2aef0529a29d/1057695.pdf
    • Vancouver

      Silva FSC da, Agustí J, Araujo RC de, Melo ACV de. Knowledge sharing between a probabilistuc logic and Bayesian belief network [Internet]. 1999 ;[citado 2024 mar. 28 ] Available from: https://repositorio.usp.br/directbitstream/91a41f3a-b14c-4f7e-830d-2aef0529a29d/1057695.pdf
  • Source: Proceedings. Conference titles: Symposium on Integrated Circuits and Systems Design - SBCCI. Unidade: IME

    Subjects: HARDWARE, ÁLGEBRA, CIRCUITOS INTEGRADOS, MODELOS MATEMÁTICOS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MELO, Ana Cristina Vieira de. Reusing hardware components with single-state processes. 1999, Anais.. Piscataway: IEEE, 1999. Disponível em: https://doi.org/10.1109/SBCCI.1999.803102. Acesso em: 28 mar. 2024.
    • APA

      Melo, A. C. V. de. (1999). Reusing hardware components with single-state processes. In Proceedings. Piscataway: IEEE. doi:10.1109/SBCCI.1999.803102
    • NLM

      Melo ACV de. Reusing hardware components with single-state processes [Internet]. Proceedings. 1999 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1109/SBCCI.1999.803102
    • Vancouver

      Melo ACV de. Reusing hardware components with single-state processes [Internet]. Proceedings. 1999 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1109/SBCCI.1999.803102
  • Conference titles: Workshop on Formal Methods - WFM. Unidade: IME

    Assunto: CIÊNCIA DA COMPUTAÇÃO (EVENTOS)

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil. . Florianópolis: [s.n.]. . Acesso em: 28 mar. 2024. , 1999
    • APA

      Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil. (1999). Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil. Florianópolis: [s.n.].
    • NLM

      Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil. 1999 ;[citado 2024 mar. 28 ]
    • Vancouver

      Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil. 1999 ;[citado 2024 mar. 28 ]
  • Source: Proceedings. Conference titles: International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems - IEA/AIE. Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, FUZZY (INTELIGÊNCIA ARTIFICIAL)

    Acesso à fonteDOIHow to cite
    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. Why ontologies are not enough for knowledge sharing. 1999, Anais.. Berlin: Springer, 1999. Disponível em: https://doi.org/10.1007/978-3-540-48765-4_56. Acesso em: 28 mar. 2024.
    • APA

      Silva, F. S. C. da, Vasconcelos, W. W., Agustí, J., Robertson, D., & Melo, A. C. V. de. (1999). Why ontologies are not enough for knowledge sharing. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-48765-4_56
    • NLM

      Silva FSC da, Vasconcelos WW, Agustí J, Robertson D, Melo ACV de. Why ontologies are not enough for knowledge sharing [Internet]. Proceedings. 1999 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1007/978-3-540-48765-4_56
    • Vancouver

      Silva FSC da, Vasconcelos WW, Agustí J, Robertson D, Melo ACV de. Why ontologies are not enough for knowledge sharing [Internet]. Proceedings. 1999 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1007/978-3-540-48765-4_56
  • Unidade: IME

    Assunto: CIÊNCIA DA COMPUTAÇÃO

    Versão PublicadaHow to cite
    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. Why ontologies are not enough for knowledge sharing. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/1a0e097a-64ff-4129-bca3-525a32187b6d/1033333.pdf. Acesso em: 28 mar. 2024. , 1998
    • APA

      Silva, F. S. C. da, Vasconcelos, W. W. M. P. de, Agustí, J., Robertson, D., & Melo, A. C. V. de. (1998). Why ontologies are not enough for knowledge sharing. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/1a0e097a-64ff-4129-bca3-525a32187b6d/1033333.pdf
    • NLM

      Silva FSC da, Vasconcelos WWMP de, Agustí J, Robertson D, Melo ACV de. Why ontologies are not enough for knowledge sharing [Internet]. 1998 ;[citado 2024 mar. 28 ] Available from: https://repositorio.usp.br/directbitstream/1a0e097a-64ff-4129-bca3-525a32187b6d/1033333.pdf
    • Vancouver

      Silva FSC da, Vasconcelos WWMP de, Agustí J, Robertson D, Melo ACV de. Why ontologies are not enough for knowledge sharing [Internet]. 1998 ;[citado 2024 mar. 28 ] Available from: https://repositorio.usp.br/directbitstream/1a0e097a-64ff-4129-bca3-525a32187b6d/1033333.pdf
  • Source: Proceedings. Conference titles: Internationa Symposium on Circuits and Systems - ISCAS. Unidade: IME

    Subjects: ÁLGEBRA, ENGENHARIA DE SOFTWARE

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MELO, Ana Cristina Vieira de. On the algebraic reuse of hardware design. 1998, Anais.. Piscataway: IEEE, 1998. Disponível em: https://doi.org/10.1109/ISCAS.1998.705272. Acesso em: 28 mar. 2024.
    • APA

      Melo, A. C. V. de. (1998). On the algebraic reuse of hardware design. In Proceedings. Piscataway: IEEE. doi:10.1109/ISCAS.1998.705272
    • NLM

      Melo ACV de. On the algebraic reuse of hardware design [Internet]. Proceedings. 1998 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1109/ISCAS.1998.705272
    • Vancouver

      Melo ACV de. On the algebraic reuse of hardware design [Internet]. Proceedings. 1998 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1109/ISCAS.1998.705272

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024