3801 search results - page 473 / 761 » An Approach to Modeling Software Safety |
185
click to vote
APSEC
2005
IEEE
16 years 9 days ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
175
click to vote
DATE
2005
IEEE
16 years 9 days ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
203
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
171
click to vote
CASCON
2001
15 years 8 months ago
2001
The way requirements should drive the rest of the software development process has been a subject of many research projects in the past. Unfortunately, all of them focus primarily...
214
click to vote
TASLP
2011
15 years 1 months ago
2011
—In this paper, we investigate the source–filter-based approach for single-channel speech separation. We incorporate source-driven aspects by multi-pitch estimation in the mod...