4250 search results - page 228 / 850 » Understanding the Requirements on Modelling Techniques |
ICASSP
2009
IEEE
14 years 5 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...
ICSE
1995
IEEE-ACM
14 years 2 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...
GI
2007
Springer
14 years 2 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...
COOPIS
2004
IEEE
14 years 2 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...
CATA
2010
14 years 6 days 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...