1104 search results - page 129 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
135
Voted
EUROPAR
2010
Springer
15 years 5 months ago
2010
Springer
Manual parallelization of programs is known to be difficult and error-prone, and there are currently few ways to measure the amount of potential parallelism in the original sequent...
142
click to vote
SIGMOD
2002
ACM
15 years 3 months ago
2002
ACM
Workflow management systems (WFMS) that are geared for the orchestration of business processes across multiple organizations are complex distributed systems: they consist of multi...
132
click to vote
ICCD
1996
IEEE
15 years 8 months ago
1996
IEEE
There are four crucial issues associated with performance simulators: simulator retargetability, simulator validation, simulation speed and simulation accuracy. This paper documen...
136
Voted
EUSFLAT
2009
15 years 1 months ago
2009
Fuzzy C-Means (FCM) and hard clustering are the most common tools for data partitioning. However, the presence of noisy observations in the data may cause generation of completely ...
142
click to vote
ENTCS
2010
15 years 1 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...