72 search results - page 13 / 15 » Verification of COMDES-II Systems Using UPPAAL with Model Tr... |
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
We describe how certain tasks in the audio domain can be effectively addressed using computer vision approaches. This paper focuses on the problem of music identification, where t...
TACAS
2010
Springer
13 years 4 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
JLP
2008
13 years 7 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
ATVA
2010
Springer
13 years 5 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
FDL
2008
IEEE
13 years 8 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...