17329 search results - page 3257 / 3466 » Improved non-approximability results |
154
click to vote
MSS
2007
IEEE
16 years 24 days ago
2007
IEEE
The volume of online data content has shown an un precedented growth in recent years. Fueling this growth are new federal regulations which warrant longer data re tention and ...
166
click to vote
QEST
2007
IEEE
16 years 24 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
148
click to vote
VTC
2007
IEEE
16 years 24 days ago
2007
IEEE
— Intelligence Transportation Systems are critical to improve the efficiency of modern transportation by reducing congestions, providing real time road conditions. A system that...
185
click to vote
VTC
2007
IEEE
16 years 24 days ago
2007
IEEE
— “Word-of-Mouth”, a novel scheme for sharing the service quality experienced with different local networks, is presented and evaluated as a distributed solution for performi...
183
click to vote
WCRE
2007
IEEE
16 years 24 days ago
2007
IEEE
As the useful life expectancy of software continues to increase, the task of maintaining the source code has become the dominant phase of the software life-cycle. In order to impr...