958 search results - page 125 / 192 » Model Transformation Languages and Their Implementation by B... |
100
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
112
click to vote
JUCS
2007
15 years 1 months ago
2007
: Competence development programmes are collections of units of learning and learning activities used to increase the overall effective performance of a learner within a certain ta...
108
click to vote
CAI
1998
Springer
15 years 1 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...
179
click to vote
TSMC
2010
14 years 8 months ago
2010
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
145
click to vote
ICCV
2011
IEEE
14 years 1 months ago
2011
IEEE
Rank correlation measures are known for their resilience to perturbations in numeric values and are widely used in many evaluation metrics. Such ordinal measures have rarely been ...