skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: autor: Melo, A remover Nome da Publicação: Proceedings remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Bayesian networks in software maintenance management
Bayesian networks in software maintenance management
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Bayesian networks in software maintenance management

Ana Cristina Vieira de Melo Adilson de Jesus Sanchez; Conference on Current Trends in Theory and Practice of Computer Science - SOFSEM (31. 2005 Liptovsky Ján)

Proceedings Berlin : Springer, 2005

Berlin Springer 2005

Localização: IME - Inst. Matemática e Estatística    (PROD-1473482 ) e outros locais(Acessar)

2
A formal environment model for multi-agent systems
A formal environment model for multi-agent systems
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A formal environment model for multi-agent systems

Paulo Salem da Silva Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods: Foundatons and applications - SBMF (13. 2010 Natal, RN)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-2172943 ) e outros locais(Acessar)

3
Why ontologies are not enough for knowledge sharing
Why ontologies are not enough for knowledge sharing
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Why ontologies are not enough for knowledge sharing

Flávio Soares Corrêa da Silva Wamberto Weber Vasconcelos; Jaume Agustí; David Robertson; Ana Cristina Vieira de Melo; International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems - IEA/AIE (12. 1999 Cairo)

Proceedings Berlin : Springer, 1999

Berlin Springer 1999

Localização: IME - Inst. Matemática e Estatística    (PROD-1087446 ) e outros locais(Acessar)

4
Towards MC/DC coverage of properties specification patterns
Towards MC/DC coverage of properties specification patterns
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards MC/DC coverage of properties specification patterns

Ana Cristina Vieira de Melo Corina S Pasareanu; Simone Hanazumi; International Colloquium on Theoretical Aspects of Computing - ICTAC (13. 2016 Taipei, Taiwan)

Proceedings Cham: Springer, 2016

Cham Springer 2016

Localização: IME - Inst. Matemática e Estatística    (PROD-2872237 )(Acessar)

5
Exploring XML perturbation techniques for web services testing
Exploring XML perturbation techniques for web services testing
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Exploring XML perturbation techniques for web services testing

Paulo Silveira Ana Cristina Vieira de Melo; International Conference on Web Engineering - ICWE (9. 2009 San Sebastián, Spain)

Proceedings Berlin : Springer, 2009

Berlin Springer 2009

Localização: IME - Inst. Matemática e Estatística    (PROD-3010465 )(Acessar)

6
PiStache implementing π-calculus in scala
PiStache implementing π-calculus in scala
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

PiStache implementing π-calculus in scala

Pedro Matiello Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (14. 2011 São Paulo, Brasil)

Proceedings Berlin : Springer, 2011

Berlin Springer 2011

Localização: IME - Inst. Matemática e Estatística    (PROD-3010413 )(Acessar)

7
OConGraX automatically generating data-flow test cases for fault-tolerant systems
OConGraX automatically generating data-flow test cases for fault-tolerant systems
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

OConGraX automatically generating data-flow test cases for fault-tolerant systems

Paulo Roberto de Araújo França Nunes Simone Hanazumi; Ana Cristina Vieira de Melo; International Workshop on Formal Approaches to Software Testing - FATES (9. 2009 Eindhoven, The Netherlands); International Conference on Testing of Software and Communicating Systems - TestCom: IFIP (21. 2009 Eindhoven, The Netherlands)

Proceedings Berlin : Springer, 2009

Berlin Springer 2009

Localização: IME - Inst. Matemática e Estatística    (PROD-3010427 )(Acessar)

8
A simulation-oriented formalization for a psychological theory
A simulation-oriented formalization for a psychological theory
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A simulation-oriented formalization for a psychological theory

Paulo Salem da Silva Ana Cristina Vieira de Melo; International Conference on Fundamental Approaches to Software Engineering - FASE (10. 2007 Braga, Portugal)

Proceedings Berlin : Springer, 2007

Berlin Springer 2007

Localização: IME - Inst. Matemática e Estatística    (PROD-3010686 )(Acessar)

9
An ontology for mobile agents in the context of formal verification
An ontology for mobile agents in the context of formal verification
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An ontology for mobile agents in the context of formal verification

Paulo Salem da Silva Ana Cristina Vieira de Melo; OTM Confederated International Conferences "On the Move to Meaningful Internet Systems" - OTM, CoopIS, DOA, and ODBASE (2005 Agia Napa, Cyprus)

Proceedings Berlin : Springer, 2005

Berlin Springer 2005

Localização: IME - Inst. Matemática e Estatística    (PROD-3011102 )(Acessar)

10
A formal model for startups financial transactions
A formal model for startups financial transactions
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A formal model for startups financial transactions

Rodrigo Stevaux Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (26. 2023 Manaus, Brasil)

Proceedings Cham : Springer, 2023

Cham Springer 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3167619 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

De até
Refinar
  1. Antes de2005  (1)
  2. 2005Até2006  (2)
  3. 2007Até2008  (1)
  4. 2009Até2010  (3)
  5. Após 2010  (3)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.