5525 search results - page 350 / 1105 » Verification of Model Transformations |
178
click to vote
JIISIC
2008
15 years 8 months ago
2008
This article presents an experience report on using MERODE as the business modeling method for the development of a web application. MERODE has several advantages as improving the...
183
click to vote
STTT
2010
15 years 1 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
187
click to vote
ICANN
2003
Springer
16 years 1 days ago
2003
Springer
We suggest a new approach to optimize the learning of sparse features under the constraints of explicit transformation symmetries imposed on the set of feature vectors. Given a set...
211
click to vote
IPCV
2008
15 years 8 months ago
2008
Abstract - A robust method for symbol recognition is presented that utilizes a compact signature based on a modified Hough Transform (HT) and knowledge-based hierarchical neural ne...
179
Voted
ENTCS
2008
15 years 6 months ago
2008
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...