2492 search results - page 215 / 499 » An Integrated Rule Modeling Framework |
175
click to vote
ISF
2007
2007
Requirements traceability in model-driven development: Applying model and transformation conformance
15 years 6 months ago
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper prop...
177
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
186
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
198
click to vote
EPIA
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, we propose a framework named UMT (User-profile Modeling based on Transactional data) for modeling user group profiles based on the transactional data. UMT is a gener...
178
click to vote
NAACL
2010
15 years 4 months ago
2010
The goal of this work is to integrate query similarity metrics as features into a dense model that can be trained on large amounts of query log data, in order to rank query rewrit...