3799 search results - page 418 / 760 » An Engineering Approach to Formal Methods |
170
click to vote
JSS
2002
15 years 6 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
182
click to vote
EMSOFT
2005
Springer
16 years 9 days ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
159
click to vote
ICDM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper addresses the issue of extraction of an academic researcher social network. By researcher social network extraction, we are aimed at finding, extracting, and fusing the...
243
click to vote
CAV
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
167
click to vote
ISMIR
2004
Springer
16 years 4 days ago
2004
Springer
We describe an efficient learning algorithm for aligning a symbolic representation of a musical piece with its acoustic counterpart. Our method employs a supervised learning appr...