18429 search results - page 245 / 3686 » Typing dynamic typing |
146
click to vote
DEXA
2003
Springer
15 years 11 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...
182
click to vote
ESERNET
2003
Springer
15 years 11 months ago
2003
Springer
The origin of the study described here is the experiment performed by Basili and Selby, further replicated by Kamsties and Lott, and once again by Wood et al. These experiments inv...
126
click to vote
ICCBSS
2003
Springer
15 years 11 months ago
2003
Springer
COTS products affect development strategies and tactics, but not all CBS development efforts are equal. Based on our experiences with 20 large government and industry CBS project...
174
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
176
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...