Sciweavers

204 search results - page 6 / 41
» Validity of the standard cross-correlation test for model st...
Sort
View
ENVSOFT
2007
80views more  ENVSOFT 2007»
13 years 6 months ago
Testing the PEARL model in the Netherlands and Sweden
The Plant Protection Product Directive (91/414/EEC) stresses the need of validated models to calculate predicted environmental concentrations. The use of models has become an unav...
Fayçal Bouraoui
SIES
2007
IEEE
14 years 29 days ago
Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
Simon Tjell
ICECCS
2005
IEEE
89views Hardware» more  ICECCS 2005»
14 years 9 days ago
A Tool-Supported Approach to Testing UML Design Models
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diag...
Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh,...
WSC
2007
13 years 9 months ago
Distributed simulation for interoperability testing along the supply chain
The need for interoperability of information systems among supply chain partners has been recognized. A number of standards have been or are being developed to ensure interoperabi...
Sanjay Jain, Frank Riddick, Andreas Craens, Deogra...
DEXAW
2009
IEEE
173views Database» more  DEXAW 2009»
14 years 1 months ago
Automatic Cluster Number Selection Using a Split and Merge K-Means Approach
Abstract—The k-means method is a simple and fast clustering technique that exhibits the problem of specifying the optimal number of clusters preliminarily. We address the problem...
Markus Muhr, Michael Granitzer