7991 search results - page 1551 / 1599 » Using More Reasoning to Improve |
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
ICNP
2009
IEEE
15 years 4 months ago
2009
IEEE
— Millions of residential users are widely served by cable or DSL connections with modest upload bandwidth and relatively high download bandwidth. For the increasingly important ...
RAID
2009
Springer
15 years 4 months ago
2009
Springer
Due to the rapid advancement of mobile communication technology, mobile devices nowadays can support a variety of data services that are not traditionally available. With the growi...
AUTOMOTIVEUI
2009
ACM
15 years 4 months ago
2009
ACM
Driving behavior has been trending towards more time in the car and longer commutes. This has fueled the demand for an increasing number of in-vehicle infotainment features, at th...
AUTOMOTIVEUI
2009
ACM
15 years 4 months ago
2009
ACM
Over the last 100 years it has become much easier to operate a car. However in recent years the number of functions a user can control while driving has greatly increased. Infotai...