7040 search results - page 1123 / 1408 » The Single Model Principle |
178
click to vote
WPES
2003
ACM
15 years 11 months ago
2003
ACM
We present a model and protocol for anonymous credentials. Rather than using deterrents to ensure non-transferability, our model uses secure hardware with biometric authentication...
159
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
In a large distributed system it is often infeasible or even impossible to perform diagnosis using a single model of the whole system. Instead, several spatially distributed local...
176
click to vote
WINE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We study the use of viral marketing strategies on social networks that seek to maximize revenue from the sale of a single product. We propose a model in which the decisio...
196
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
181
click to vote
BCS
2008
15 years 8 months ago
2008
Despite over a century's study, the trigger mechanisms of cardiac arrhythmias are poorly understood. Even modern experimental methods do not provide sufficient temporal and s...