491 search results - page 70 / 99 » RETNA: From Requirements to Testing in a Natural Way |
171
click to vote
ISSTA
2010
ACM
15 years 9 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
175
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we fo...
184
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Coronary heart disease (CHD) is the number one killer in the United States. Although it is well known that CHD mainly occurs due to blocked arteries, there are contradictory resul...
177
click to vote
SIAMIS
2008
15 years 6 months ago
2008
One of the central problems of medical imaging is the 3D visualization of body parts. The 3D volume can be viewed in slices, but the extraction of a part requires a segmentation p...
150
click to vote
ISPEC
2005
Springer
15 years 11 months ago
2005
Springer
Token-controlled public key encryption (TCPKE) schemes, introduced in [1], offer many possibilities of application in financial or legal scenarios. Roughly speaking, in a TCPKE s...