3256 search results - page 170 / 652 » Applications of Formal Methods to System Design and Verifica... |
159
click to vote
IUI
2006
ACM
16 years 11 days ago
2006
ACM
Spoken dialog tasks incur many errors including speech recognition errors, understanding errors, and even dialog management errors. These errors create a big gap between user'...
183
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
148
click to vote
ESTIMEDIA
2006
Springer
15 years 10 months ago
2006
Springer
The Sesame modeling and simulation framework aims at efficient system-level design space exploration of embedded multimedia systems. A primary objective of Sesame is the ion at mu...
165
click to vote
ISSTA
2009
ACM
16 years 28 days ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
158
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....