4919 search results - page 244 / 984 » A Process-Ontological Model for Software Engineering |
131
click to vote
ISOTAS
1993
15 years 8 months ago
1993
We examine the problem of how to ensure behavioral consistency of an object-oriented system after its schema has been updated. The problem is viewed from the perspective of both t...
183
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
198
Voted
APAL
2011
14 years 11 months ago
2011
We describe strongly minimal theories Tn with finite languages such that in the chain of countable models of Tn, only the first n models have recursive presentations. Also, we d...
172
click to vote
TASLP
2011
14 years 11 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...
143
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...