2005 search results - page 187 / 401 » Business Process Knowledge Modelling: Method and Tool |
129
click to vote
IJDMB
2010
15 years 2 months ago
2010
: Since we are limited in our knowledge of human demographic history and variations of recombination and mutation rates, large-scale computer simulation is a necessary tool in gene...
166
click to vote
WSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
136
click to vote
CAI
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revisi...
157
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
121
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...