805 search results - page 87 / 161 » Integrating Functional and Architectural Views of Reactive S... |
150
click to vote
DAC
2009
ACM
16 years 28 days ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
133
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Companies in today’s automotive industry are under immense competitive pressure to reduce the length of their product development cycle from initial concept to begin of...
237
Voted
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
With XQuery becoming the standard language for querying XML, and the relational SQL platform being recognized as an important platform to store and process XML, the SQL/XML standa...
192
click to vote
ASWSD
2004
Springer
15 years 11 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
171
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...