10995 search results - page 1934 / 2199 » Positioning |
165
click to vote
ISESE
2006
IEEE
16 years 20 days ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...
168
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
167
click to vote
MICRO
2006
IEEE
16 years 20 days ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
169
Voted
PARELEC
2006
IEEE
16 years 20 days ago
2006
IEEE
Usually, theories of surface growth are based on the study of global processes without taking in account the local behaviour of atoms. We have implemented two Montecarlo simulation...
169
click to vote
SIBGRAPI
2006
IEEE
16 years 20 days ago
2006
IEEE
Recent statistics show that breast cancer is a major cause of death among women in all of the world. Hence, early diagnostic with Computer Aided Diagnosis (CAD) systems is a very ...