114 search results - page 17 / 23 » Integrated Analysis from Abstract Stochastic Process Algebra... |
IFM
2004
Springer
14 years 25 days 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...
BMCBI
2007
13 years 7 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...
EDOC
2006
IEEE
13 years 11 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
14 years 1 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
14 years 1 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...