811 search results - page 138 / 163 » Integrating Formal Description Techniques |
ASWEC
2006
IEEE
14 years 2 months ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
SCOPES
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
DATE
2002
IEEE
14 years 1 months ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
FLAIRS
2007
13 years 11 months ago
2007
Symbolic reasoning is a well understood and effective approach to handling reasoning over formally represented knowledge; however, simple symbolic inference systems necessarily sl...
IEAAIE
2009
Springer
13 years 6 months ago
2009
Springer
Knowledge engineering techniques are becoming useful and popular components of hybrid integrated systems used to solve complicated practical problems in different fields. Knowledge...