3706 search results - page 140 / 742 » System Description: E-KRHyper |
159
click to vote
IFIP
2010
Springer
15 years 17 days ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
156
click to vote
SAC
2010
ACM
16 years 17 days ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
140
Voted
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
146
click to vote
ICSM
1999
IEEE
15 years 10 months ago
1999
IEEE
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...
155
click to vote
JAMIA
2010
15 years 16 days ago
2010
Clinical coding and classification processes transform natural language descriptions in clinical text into data that can subsequently be used for clinical care, research, and othe...