224 search results - page 22 / 45 » An Information Flow Verifier for Small Embedded Systems |
MUM
2004
ACM
14 years 1 months ago
2004
ACM
Within the expanding paradigm of medical imaging and wireless communications there is increasing demand for transmitting diagnostic medical imagery over error-prone wireless commu...
IEEEIAS
2008
IEEE
14 years 2 months ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—Contending flows in multi-hop 802.11 wireless networks compete with two fundamental asymmetries: (i) channel asymmetry, in which one flow has a stronger signal, potent...
TRANSCI
2008
13 years 7 months ago
2008
The availability of relatively cheap small jet aircrafts suggests a new air transportation business: dial-a-flight, an on-demand service in which travelers call a few days in adva...
ASAP
2010
IEEE
13 years 9 months ago
2010
IEEE
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...