448 search results - page 38 / 90 » A Meta-Method for Formal Method Integration |
131
click to vote
ACMICEC
2008
ACM
15 years 5 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
129
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
In recent years, a number of projects have turned to Wikipedia to establish large-scale taxonomies that describe orders of magnitude more entities than traditional manually built ...
128
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
118
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
A bioinformatics analysis pipeline is often highly elaborate, due to the inherent complexity of biological systems and the variety and size of laboratory publications would be high...
127
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...