stochastic process algebra based software process simulation modeling

Chinese Acad Sci, ISCAS Lab Internet Software Technologies

process trustworthiness as a capability indicator for measuring and improving software trustworthiness

Chinese Acad Sci, ISCAS Lab Internet Software Technologies

bridge the gap between software test process and business value: a case study

Chinese Academy of Sciences (ISCAS)

data transformation and attribute subset selection: do they help make differences in software failure prediction?

IEEE, IEEE Comp Soc, Tech Council Software Engn

the study of trustworthy software process improvement model

Huazhong Univ Sci & Technol, Natl Tech Univ Ukraine, Huazhong Normal Univ, Harbin Inst Technol, IEEE Ukraine Sect, I& M/CI Joint Chapter

value-based multiple software projects scheduling with genetic algorithm

Chinese Acad Sci, ISCAS Lab Internet Software Technologies

a fuzzy-based method for evaluating the trustworthiness of software processes

University of Paderborn; Fraunhofer Inst. Exp. Softw. Eng. (IESE); Chinese Academy of Science (ISCAS)

remote attestation for custom-built software

Huazhong Univ Sci & Technol, Natl Tech Univ Ukraine, Huazhong Normal Univ, Harbin Inst Technol, IEEE Ukraine Sect, I& M/CI Joint Chapter

Cadernos de geoprocessamento (1): Roteiro prático para a definição de APPs e Reserva Legal no Sisleg usando o software gvSIG.

2010

O SOFTWARE livre gvSIG.

2010

Serviços de georreferenciamento e levantamento do uso da terra dos imóveis rurais da Embrapa: especificações técnicas dos produtos esperados.

Especificações técnicas para a elaboração do banco de dados espacializados das unidades da Embrapa; Layers do BD espacial; Recomendações na vetorização/edição de feições; Uso e cobertura da terra; Restrições legais de uso; Regras para APPs; Regras para Reserva Legal (RL); Definição de APP e Reserva Legal no SIG.

Controlpec 1.0: controle financeiro simplificado para a fazenda de pecuária de corte.

A maioria dos produtores de gado de corte não realiza adequadamente o controle de receitas e despesas de sua atividade. Como a lucratividade da pecuária de corte tem se reduzido pela queda no preço de seus produtos e pela alta nos custos de produção, tal função tornou-se crucial para aqueles que querem se manter no negócio. Para atender essa demanda, a Embrapa Gado de Corte desenvolveu, em ambiente Excel, o Controlpec 1.0, uma ferramenta simples e de fácil utilização pelos produtores. Com base no movimento financeiro da fazenda são gerados relatórios que consolidam despesas, receitas e margens econômicas da atividade, tendo em conta o plano de contas definido pelo usuário. Os resultados são expostos para cada mês do ano e para todo o ano.

Listeria monocytogenes em leite e produtos lácteos.

Introdução; Características do gênero Listeria; Listeriose; Patogenicidade e genes de virulência de L. monocytogenes; Métodos de subtipagem de L. monocytogenes; Ocorrência de L. monocytogenes em queijos e indústrias de laticínios; Surtos de listeriose associados ao consumo de leite e produtos lácteos; Considerações finais.