114 search results - page 17 / 23 » Integrated Analysis from Abstract Stochastic Process Algebra... |
IFM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
100
click to vote
BMCBI
2007
14 years 9 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
107
Voted
EDOC
2006
IEEE
15 years 1 months ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...
PRIMA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...