621 search results - page 101 / 125 » An Empirical Analysis of Software Productivity over Time |
FCCM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Radiation dose calculation is an important step in the treatment of cancer patients requiring radiation therapy. It ensures that the physician prescribed dose agrees with the d...
QEST
2009
IEEE
14 years 2 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
JGS
2000
13 years 7 months ago
2000
The success of GIS has in some ways proved to be a mixed blessing to academic geography. While quantitative geography has developed as a disciplinary specialism over a long period ...
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
The world is increasingly dependent on critical infrastructures such as the electric power grid, water, gas, and oil transport systems, which are susceptible to cascading failures...
IJPP
2011
13 years 2 months ago
2011
A recent development in radio astronomy is to replace traditional dishes with many small antennas. The signals are combined to form one large, virtual telescope. The enormous data ...