399 search results - page 23 / 80 » Verification of System Level Model Transformations |
129
click to vote
TASLP
2008
15 years 2 months ago
2008
In this paper, we introduce cross-multiplicative transfer function (CMTF) approximation for modeling linear systems in the short-time Fourier transform (STFT) domain. We assume tha...
140
click to vote
HCI
2007
15 years 3 months ago
2007
As a wide variety of interaction devices, modalities has to be supported by user interface developers, model-based user interface development gets increasing attention. Especially ...
136
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
162
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
117
click to vote
DAC
2002
ACM
16 years 3 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...