5525 search results - page 373 / 1105 » Verification of Model Transformations |
182
click to vote
MVA
1994
15 years 8 months ago
1994
This paper presents an efficient extraction method of closed loops as primitive symbols of line drawings, and an robust line drawing understanding system incorporating this extrac...
239
click to vote
ENTCS
2006
15 years 6 months ago
2006
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
227
click to vote
JCSS
2011
15 years 1 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
159
Voted
CLIMA
2007
15 years 8 months ago
2007
Abstract. In this paper we present an implementation of EVOLP under the Evolution Stable Model semantics, based on the transformation defined in [1]. We also discuss optimizations...
161
click to vote
ICEGOV
2009
ACM
15 years 4 months ago
2009
ACM
Countries aiming to transform their Governments require a more sophisticated e-government model