1237 search results - page 181 / 248 » Strictness and Totality Analysis |
196
click to vote
SECON
2007
IEEE
16 years 2 days ago
2007
IEEE
— The capacity of wireless multi-hop networks has been studied extensively in recent years. Most existing work tackles the problem from an asymptotic perspective and assumes a si...
154
click to vote
WCRE
2007
IEEE
16 years 1 days ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
166
Voted
CAIP
2007
Springer
15 years 12 months ago
2007
Springer
In the present study, a new gridding method based on continuous wavelet transform (CWT) was performed. Line profiles of x and y axis were calculated, resulting to 2 different signa...
139
Voted
FMCAD
2007
Springer
15 years 12 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
169
click to vote
GECCO
2007
Springer
15 years 12 months ago
2007
Springer
It is not unusual for a software development organization to expend 40 percent of total project effort on testing, which can be a very laborious and time-consuming process. Thus, ...