15792 search results - page 2635 / 3159 » Computational Abstraction Steps |
189
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
228
click to vote
PKC
2009
Springer
16 years 7 months ago
2009
Springer
Abstract.We introduce the notion of distributed password-based publickey cryptography, where a virtual high-entropy private key is implicitly dened as a concatenation of low-entrop...
189
click to vote
PERCOM
2009
ACM
16 years 7 months ago
2009
ACM
Abstract--"Secure Device Pairing" is the process of bootstrapping a secure channel between two previously unassociated devices over a (usually wireless) human-imperceptib...
215
click to vote
EWSN
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In-network data aggregation is widely recognized as an acceptable means to reduce the amount of transmitted data without adversely affecting the quality of the results. T...
178
click to vote
EWSN
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. This paper investigates postmortem timestamp reconstruction in environmental monitoring networks. In the absence of a timesynchronization protocol, these networks use mul...