4250 search results - page 228 / 850 » Understanding the Requirements on Modelling Techniques |
105
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a framework for audio background modeling of complex and unstructured audio environments. The determination of background audio is important for understanding and predi...
93
Voted
ICSE
1995
IEEE-ACM
15 years 4 months ago
1995
IEEE-ACM
One important component of a software process is the organizational context in which the process is enacted. This component is often missing or incomplete in current process model...
98
Voted
GI
2007
Springer
15 years 4 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
111
click to vote
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
Abstract. We consider the use of a cluster system for managing autonomous databases. In order to improve the performance of read-only queries, we strive to exploit user requirement...
90
Voted
CATA
2010
15 years 2 months ago
2010
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...