144 search results - page 9 / 29 » Towards Fuzzy Compositional Modelling |
109
click to vote
EPIA
2001
Springer
15 years 5 months ago
2001
Springer
The goal of this paper is to further investigate the extreme behaviour of the proportional membership model (FCPM) in contrast to the central tendency of fuzzy c-means (FCM). A dat...
146
click to vote
ESWS
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
178
click to vote
NADA
1998
Springer
15 years 5 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
NJC
2006
15 years 1 months ago
2006
In model based design model fragments are used in everyday work. Concurrent operations on separate parts of a model and communication between stakeholders are some examples. Howeve...
106
click to vote
IEEESCC
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...