4919 search results - page 324 / 984 » A Process-Ontological Model for Software Engineering |
156
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
135
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
One of the most difficult problems that humanity currently faces is the sustainable development of our society, i.e. how to meet the needs of the present without compromising the...
131
click to vote
JSS
2008
15 years 4 months ago
2008
We propose an approach for analyzing software architectures with respect to reliability to improve fault tolerance. The approach defines a failure scenario model that is based on ...
138
Voted
TASLP
2011
14 years 12 months ago
2011
—We present a new technique for joint estimation of the chord progression and the downbeats from an audio file. Musical signals are highly structured in terms of harmony and rhy...
144
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper proposes MISSA, a novel middleware to facilitate the development and provision of stream-based services in emerging pervasive environments. The streambased services util...