8377 search results - page 1473 / 1676 » Scenarios - Introduction |
198
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
160
click to vote
VTC
2007
IEEE
16 years 26 days ago
2007
IEEE
— The intentionally imposed or inherent unintentional residual redundancy found in source encoded bitstreams can be exploited for supporting joint SoftBit-Source Decoding and Cha...
225
click to vote
WIMOB
2007
IEEE
16 years 26 days ago
2007
IEEE
— In a Mobile Ad hoc NETwork (MANET), mobile devices cooperate to forward packets for each other without the assistance of dedicated routing infrastructures. Due to its networkin...
215
click to vote
WIMOB
2007
IEEE
16 years 26 days ago
2007
IEEE
—The low-cost, unattended nature and the capability of self-organizing of sensors, yield the use of Wireless Sensor Networks (WSN) very popular to day. Unfortunately, the unshiel...
192
Voted
ICDS
2007
IEEE
16 years 25 days ago
2007
IEEE
- Smart care technology is any sensor based technology used to aid and support human independent living. Such technologies offer new potential and can give rise to new problems for...