7715 search results - page 435 / 1543 » Visual Rules Modeling |
208
click to vote
WAIM
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we propose a generic model to generate basic multi-partite graphs obtained by associations found in arbitrary data. The interest of such a model is to be the formal ...
171
Voted
GG
2004
Springer
16 years 9 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
189
click to vote
ILP
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
183
click to vote
SP
1996
IEEE
15 years 11 months ago
1996
IEEE
The protection of personal health information has become a live issue in a number of countries including the USA, Canada, Britain and Germany. The debate has shown that there is w...
226
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...