491 search results - page 67 / 99 » RETNA: From Requirements to Testing in a Natural Way |
184
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
181
click to vote
ISSTA
2006
ACM
16 years 2 days ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
182
click to vote
PAMI
2010
15 years 4 months ago
2010
—Image category recognition is important to access visual information on the level of objects and scene types. So far, intensity-based descriptors have been widely used for featu...
137
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
In the interest of establishing robust benchmarks for search efficiency, we conducted a series of tests on symbolic databases of musical incipits and themes taken from several di...
186
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: The dynamic motions of many proteins are central to their function. It therefore follows that the dynamic requirements of a protein are evolutionary constrained. In or...