7778 search results - page 1221 / 1556 » Designing Controllers for Reachability |
124
Voted
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
114
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Systems such as software transactional memory and some exception handling techniques use transactions. However, a typical limitation of such systems is that they do not allow syst...
125
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Pen-based interfaces offer exciting opportunities in ubiquitous computing by enabling new hardware form factors and socially acceptable computing tasks. However, prevailing ink re...
123
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Cross-layer optimization (CLO) promises significant gains in comparison to a conventional system design, which does not allow for information exchange across layers. One of th...
119
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Many applications of wireless sensor networks (WSNs) have emerged over the last few years. In such networks resource-constrained sensor nodes are deployed to probe their surrou...