1054 search results - page 69 / 211 » Abstract Regular Model Checking |
DLOG
2010
13 years 7 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
FMSD
2007
13 years 9 months ago
2007
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
IPCV
2007
13 years 10 months ago
2007
Abstract - We propose a new method for image segmentation based on a variational regularization algorithm for image denoising. We modify the Rudin-Osher-Fatemi (ROF) model in [1] b...
EWSA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...