181 search results - page 29 / 37 » A Mechanism for Verifying Data Speculation |
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— Fire brigades and special agencies are often demanded to operate for search and aid of human lives in extremely dangerous scenarios. It is very important to first veri...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
HAPTICS
2002
IEEE
2002
IEEE
Understanding of Fingernail-Bone Interaction and Fingertip Hemodynamics for Fingernail Sensor Design
14 years 11 days ago
When the human fingertip is pressed against a surface or bent, the hemodynamic state of the fingertip is altered due to mechanical interactions between the fingernail and bone. No...
CSFW
2009
IEEE
13 years 11 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...