16218 search results - page 270 / 3244 » Standards |
165
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, an evaluation is presented of a framework that supports flexible content repurposing. Unlike the usual practice where content components, such as slides, images, def...
195
click to vote
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
213
click to vote
PKC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. For RSA, May showed a deterministic polynomial time equivalence of computing d to factoring N(= pq). On the other hand, Takagi showed a variant of RSA such that the decry...
199
click to vote
TCC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We show a new protocol for blind signatures in which security is preserved even under arbitrarily-many concurrent executions. The protocol can be based on standard crypto...
155
click to vote
CBMS
2006
IEEE
16 years 1 months ago
2006
IEEE
In standard analysis of cardiac models, typically one variable – usually the trans-membrane potential – is used in the generation of visualizations. However, all but the most ...