1104 search results - page 25 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
AMR
2006
Springer
14 years 14 days ago
2006
Springer
A novel and general criterion for image similarity validation is introduced using the so-called a contrario decision framework. It is mathematically proved that it is possible to c...
GFKL
2005
Springer
14 years 2 months ago
2005
Springer
Mixture models represent results of gene expression cluster analysis in a more natural way than ’hard’ partitions. This is also true for the representation of gene labels, such...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
ENTCS
2002
13 years 8 months ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
INFSOF
2006
13 years 8 months ago
2006
Ensuring that organizational IT is in alignment with and provides support for an organization's business strategy is critical to business success. Despite this, business stra...