663 search results - page 34 / 133 » E-connections of abstract description systems |
CAISE
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Open exchange of electronic documents in XML formats frequently requires the transformation to different XML-Schemas or DTDs (document type description). We propose a tr...
IMCSIT
2010
14 years 9 months ago
2010
Abstract--There are numerous formats for writing spellcheckers for open-source systems and there are many descriptions for languages written in these formats. Similarly, for word h...
102
click to vote
FDL
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract This paper proposes VHDL-AMS syntax extensions that enable descriptions of AMS systems with partial differential equations. We named the extended language VHDL-AMSP. An im...
181
click to vote
ASWSD
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
114
click to vote
TOPNOC
2008
14 years 11 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...