1937 search results - page 30 / 388 » Starting B Specifications from Use Cases |
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
Traditional digital circuit synthesis flows start from an HDL behavioral definition and assume that circuit functions are almost completely defined, making don't-care conditio...
120
click to vote
DSN
2008
IEEE
15 years 3 months ago
2008
IEEE
We describe a specific application of assurance cases to the problem of ensuring that a transition from a legacy system to its replacement will not compromise mission assurance ob...
101
click to vote
SEFM
2005
IEEE
15 years 7 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
115
click to vote
3DPH
2009
15 years 3 months ago
2009
We present a nearly automatic graph-based segmentation method for patient specific modeling of the aortic arch and carotid arteries from CTA scans for interventional radiology simu...
101
click to vote
ICMAS
1998
15 years 3 months ago
1998
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descript...