1908 search results - page 196 / 382 » Capability Models and Their Applications in Planning |
192
click to vote
HASE
2007
IEEE
16 years 27 days ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
173
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...
149
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Vessel enhancement in volumetric data is a necessary prerequisite in various medical imaging applications with particular importance for automated nodule detection. Ideally, vesse...
192
click to vote
ICAC
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
199
click to vote
CSFW
2007
IEEE
16 years 28 days ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...