6978 search results - page 1142 / 1396 » Reframing Requirements Analysis |
153
click to vote
MLQ
2010
15 years 4 months ago
2010
This article systematically investigates so-called “truth variants” of several functional interpretations. We start by showing a close relation between two variants of modifi...
155
click to vote
PAIRING
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a novel method for designing compact yet efficient hardware implementations of the Tate pairing over supersingular curves in small characteristic. Since such cu...
176
Voted
PRL
2010
15 years 4 months ago
2010
The strength of gait, compared to other biometrics, is that it does not require cooperative subjects. Previoius gait recognition approaches were evaluated using a gallery set cons...
150
click to vote
PVLDB
2010
15 years 4 months ago
2010
Recent improvements in positioning technology make massive moving object data widely available. One important analysis is to find the moving objects that travel together. Existin...
154
click to vote
RTAS
2010
IEEE
15 years 4 months ago
2010
IEEE
—Application of runtime monitoring to maintain the health of an embedded real-time software system requires that anomalous behavior be detected within a bounded time while preser...