10159 search results - page 650 / 2032 » System Design Validation Using Formal Models |
147
click to vote
CORR
1998
Springer
15 years 7 months ago
1998
Springer
Syntactic models should be descriptively adequate and parsable. A syntactic description is autonomous in the sense that it has certain explicitformal properties. Such a descriptio...
154
click to vote
FDL
2003
IEEE
16 years 17 days ago
2003
IEEE
Tolerances are a very important property of a design. This paper presents a method for simulating tolerances in signal processing and control systems on the system level using a...
217
click to vote
GECCO
2005
Springer
16 years 24 days ago
2005
Springer
Any computational approach to design, including the use of evolutionary algorithms, requires the transformation of the domain-specific knowledge into a formal design representatio...
202
click to vote
ER
2003
Springer
16 years 14 days ago
2003
Springer
Many Internet-based applications have adopted XML as the standard data exchange format. These XML data are typically stored in its native form, thus creating the need to present XM...
220
click to vote
FTDCS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper identifies two paradigms that influence the design of telematics systems nowadays: the protocol-centred and the object-centred paradigm. Both paradigms have been intr...