3116 search results - page 72 / 624 » Positively dependent types |
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
A key emerging and popular communication paradigm, primarily employed for information dissemination, is peer-to-peer (P2P) networking. In this paper, we model the spread of malwar...
CSL
2009
Springer
15 years 6 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
DEXA
2003
Springer
15 years 5 months ago
2003
Springer
Human Papillomavirus (HPV) infection is known as the main factor for cervical cancer, where cervical cancer is a leading cause of cancer deaths in women worldwide. Because there ar...
102
Voted
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— Approximating the sum of Log–Normal random variables (RVs) is a long–standing open issue, in the old and recent literature, and many approaches have been proposed to deal w...
FECS
2006
15 years 1 months ago
2006
Educators teaching software engineering face a large problem when trying to assign "real world" projects. Should the instructors make up "real world" projects ...