4890 search results - page 590 / 978 » From system specifications to component behavioral models |
192
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
177
click to vote
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose Recursive Compositional Models (RCMs) for simultaneous multi-view multi-object detection and parsing (e.g. view estimation and determining the positions of the object s...
189
click to vote
SEW
2003
IEEE
16 years 3 days ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
157
click to vote
DATE
2009
IEEE
15 years 10 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...
188
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
Due to our increasing reliance on computer systems, security incidents and their causes are important problems that need to be addressed. To contribute to this objective, the pape...