Daniel Câmara - Academia.edu (original) (raw)
Uploads
Papers by Daniel Câmara
Computer Communications and Networks, 2009
Abstract Routing is one of the most basic and important tasks in a collabora-tive computer networ... more Abstract Routing is one of the most basic and important tasks in a collabora-tive computer network. Having a correct, robust, and efficient routing protocol is fundamental to any wireless network. However, a difficult problem is how to guarantee these desirable qualities. ...
Abstract This paper describes a technique to apply formal methods to verify protocols for mobil... more Abstract This paper describes a technique to apply formal methods to verify protocols for mobile ad hoc networks. In contrast to other related proposals, our solution does not attempt to model any particular network configuration. Instead, our solution focuses on the possible ...
Revista da Sociedade Brasileira de Medicina Tropical, 2007
A dengue no Brasil incide tipicamente nos meses mais quentes do ano, sem diferenças qualitativas ... more A dengue no Brasil incide tipicamente nos meses mais quentes do ano, sem diferenças qualitativas para as regiões brasileiras, porém, com diferenças quantitativas importantes, dividindo o país em dois grupos distintos quanto ao número de notificações de casos. O primeiro grupo compreende as regiões Nordeste e Sudeste, que deteve cerca de 86% das notificações, enquanto o segundo (regiões Sul, Centro-Oeste e Norte) é responsável por um número significativamente menor. Os índices vetoriais estavam associados primariamente ao tamanho das populações, sendo mais freqüentes os índices abaixo do valor de risco e ainda assim, nesta condição, ocorreram epidemias. Não foi observada correlação positiva entre epidemias e densidades vetoriais.
Computer Communications and Networks, 2009
Abstract Routing is one of the most basic and important tasks in a collabora-tive computer networ... more Abstract Routing is one of the most basic and important tasks in a collabora-tive computer network. Having a correct, robust, and efficient routing protocol is fundamental to any wireless network. However, a difficult problem is how to guarantee these desirable qualities. ...
Abstract This paper describes a technique to apply formal methods to verify protocols for mobil... more Abstract This paper describes a technique to apply formal methods to verify protocols for mobile ad hoc networks. In contrast to other related proposals, our solution does not attempt to model any particular network configuration. Instead, our solution focuses on the possible ...
Revista da Sociedade Brasileira de Medicina Tropical, 2007
A dengue no Brasil incide tipicamente nos meses mais quentes do ano, sem diferenças qualitativas ... more A dengue no Brasil incide tipicamente nos meses mais quentes do ano, sem diferenças qualitativas para as regiões brasileiras, porém, com diferenças quantitativas importantes, dividindo o país em dois grupos distintos quanto ao número de notificações de casos. O primeiro grupo compreende as regiões Nordeste e Sudeste, que deteve cerca de 86% das notificações, enquanto o segundo (regiões Sul, Centro-Oeste e Norte) é responsável por um número significativamente menor. Os índices vetoriais estavam associados primariamente ao tamanho das populações, sendo mais freqüentes os índices abaixo do valor de risco e ainda assim, nesta condição, ocorreram epidemias. Não foi observada correlação positiva entre epidemias e densidades vetoriais.