2165 search results - page 146 / 433 » cases 2005 |
117
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
Software testing is a critical part of software development. Test suite sizes may grow significantly with subsequent modifications to the software over time. Due to time and res...
151
click to vote
IEEECIT
2005
IEEE
15 years 9 months ago
2005
IEEE
We report on a case study in which SAL model checkers have been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion prope...
119
click to vote
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper, we study cross-layer design for rate control in multihop wireless networks. In our previous work, we have developed an optimal cross-layered rate control scheme ...
133
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Science disciplines are experiencing a data avalanche. As a result, scientific research is limited by data analysis and visualization capabilities. We have been working closely wi...
128
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...