5186 search results - page 767 / 1038 » Embedded Systems |
197
click to vote
LICS
2007
IEEE
16 years 18 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
218
click to vote
RTSS
2005
IEEE
15 years 12 months ago
2005
IEEE
A key challenge for distributed real-time and embedded (DRE) middleware is maintaining both system reliability and desired real-time performance in unpredictable environments wher...
213
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Wireless sensor networks consist of a system of distributed sensors embedded in the physical world, and promise to allow observation of previously unobservable phenomena. Since th...
148
click to vote
UIST
2009
ACM
16 years 24 days ago
2009
ACM
Many patients with paralyzing injuries or medical conditions retain the use of their cranial nerves, which control the eyes, jaw, and tongue. While researchers have explored eye-t...
181
click to vote
RIVF
2003
15 years 7 months ago
2003
— Home networking is the collection of elements that process, manage, transport and store information, enabling the connection and integration of multiple computing, control, mon...