1054 search results - page 27 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
ICDM
2003
IEEE
14 years 20 days ago
2003
IEEE
Clustering is an important technique for understanding and analysis of large multi-dimensional datasets in many scientific applications. Most of clustering research to date has be...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The (neo-)evolutionary model of a Triple Helix of University-Industry-Government Relations focuses on the overlay of expectations, communications, and interactions that potentiall...
UTP
2010
13 years 5 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
IFIP12
2009
13 years 5 months ago
2009
Abstract In the scientific literature, it is generally assumed that models can be completely established before the diagnosis analysis. However, in the actual maintenance problems,...
JCP
2008
13 years 7 months ago
2008
The statistical analysis of Chinese stock market fluctuations modeled by the interacting particle systems has been done in this paper. The contact model and voter model of the inte...