16218 search results - page 270 / 3244 » Standards |
148
click to vote
ECTEL
2007
Springer
16 years 27 days 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...
175
click to vote
FORMATS
2007
Springer
16 years 26 days 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...
197
click to vote
PKC
2007
Springer
16 years 25 days 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...
187
click to vote
TCC
2007
Springer
16 years 25 days 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...
139
click to vote
CBMS
2006
IEEE
16 years 23 days 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 ...