1
Material Type:
Relatório Técnico
Extending object-Z for multi-agent systems specification
Anarosa Alves Franco Brandão 1967- Paulo Sergio C de Alencar; Carlos José Pereira de Lucena
Rio de Janeiro PUC 2004
Localização:
IME - Inst. Matemática e Estatística
(S M751 2004 v.21 ) (Acessar)
This feature requires javascript
2
Material Type:
Relatório Técnico
Metric stability for random walks with applications in renormalization theory
Carlos Gustavo Tamm de Araujo Moreira Daniel Smania Brandão
São Carlos ICMC-USP 2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(NOTAS SMA n.216 M838ms e.1 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Relatório Técnico
A mixed dynamics approach for linear corridor policies (a revisitation of dynamic setup scheduling and flow control in manufacturing systems)
Carlos Humes Júnior Leônidas de Oliveira Brandão ; Manuel Valentim de Pera Garcia
São Paulo IME-USP 1993
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1993 v.04 e.1 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Relatório Técnico
Acumulo de policloretos de bifenila na populacao da grande sao paulo
D P Nogueira J M P de Souza; Sérgio Colacioppo; J R Gomes; J B Brandao ; M L A Souza; M A R Araujo; A R Forte; M H C Pedrosa
São Paulo Fsp-Usp 1987
Localização:
FSP - Faculdade de Saúde Pública
(HSA-85/1990 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Relatório Técnico
Uma introdução à engenharia de ontologias no contexto da Web semântica
Anarosa Alves Franco Brandão 1967- Carlos José Pereira de Lucena
Rio de Janeiro PUC 2002
Localização:
IME - Inst. Matemática e Estatística
(S M751 2002 v.29 ) (Acessar)
This feature requires javascript
6
Material Type:
Relatório Técnico
Multi-Agent system design verification using knowledge-based reasoning
Anarosa Alves Franco Brandão 1967- Viviane Torres da Silva; Carlos José Pereira de Lucena
Rio de Janeiro PUC 2005
Localização:
IME - Inst. Matemática e Estatística
(S M751 2005 v.10 ) (Acessar)
This feature requires javascript
7
Material Type:
Relatório Técnico
A model driven approach to develop multi-agent systems
Anarosa Alves Franco Brandão 1967- Viviane Torres da Silva; Carlos José Pereira de Lucena
Rio de Janeiro PUC 2005
Localização:
IME - Inst. Matemática e Estatística
(S M751 2005 v.9 ) (Acessar)
This feature requires javascript
8
Material Type:
Relatório Técnico
An ontology-based method for structuring multi-agent systems formal specifications
Anarosa Alves Franco Brandão 1967- Viviane Torres da Silva; Carlos José Pereira de Lucena
Rio de Janeiro PUC 2005
Localização:
IME - Inst. Matemática e Estatística
(S M751 2005 v.25 ) (Acessar)
This feature requires javascript
9
Material Type:
Relatório Técnico
Theoretical foundations for agents and objects in software engineering
Viviane Torres da Silva Alessandro Fabricio Garcia; Anarosa Alves Franco Brandão 1967-; Christina von Flach G Chavez; Carlos José Pereira de Lucena; Paulo Sergio C de Alencar
Rio de Janeiro PUC 2002
Localização:
IME - Inst. Matemática e Estatística
(S M751 2002 v.30 ) (Acessar)
This feature requires javascript
10
Material Type:
Relatório Técnico
Um estudo de daso para avaliação do knowledge unified process para o desenvolvimento de ontologias
Daniela Francisco Brauner Anarosa Alves Franco Brandão 1967-; Leonardo Magela Cunha; Carlos José Pereira de Lucena
Rio de Janeiro PUC 2003
Localização:
IME - Inst. Matemática e Estatística
(S M751 2003 v.50 ) (Acessar)
This feature requires javascript