3914 search results - page 70 / 783 » Automating SLA modeling |
DAC
2001
ACM
14 years 8 months ago
2001
ACM
DAC
2002
ACM
14 years 8 months ago
2002
ACM
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
We present a novel approach to 3D delineation of dendritic networks in noisy image stacks. We achieve a level of automation beyond that of stateof-the-art systems, which model dend...
SEFM
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...