Authentication email has already been sent, please check your email box: and activate it as soon as possible.
You can login to My Profile and manage your email alerts.
If you haven’t received the email, please:
|
|
There are 4 papers published in subject: > since this site started. |
Results per page: |
Select Subject |
Select/Unselect all | For Selected Papers |
Saved Papers
Please enter a name for this paper to be shown in your personalized Saved Papers list
|
1. On the super-edge connectivity of strong product of graphs | |||
LV Min | |||
Computer Science and Technology 24 February 2014 | |||
Show/Hide Abstract | Cite this paper︱Full-text: PDF (0 B) | |||
Abstract:For a connected graph G, the super edge-connectivity is the minimum cardinality of an edge-cut S in G such that every component of G-S contains at least two vertices. It is a more refined index than the edge-connectivity. This paper deals with the super edge-connectivity of strong product graphs and gives a sufficient condition for it to be maximally super connected. | |||
TO cite this article:LV Min. On the super-edge connectivity of strong product of graphs[OL].[24 February 2014] http://en.paper.edu.cn/en_releasepaper/content/4583009 |
2. Model Checking Hybrid Systems Within Hybrid Temporal Logic | |||
ZHANG Haibin | |||
Computer Science and Technology 28 January 2014 | |||
Show/Hide Abstract | Cite this paper︱Full-text: PDF (0 B) | |||
Abstract:In this paper, we deal with the model checking issue for hybrid systems within hybrid temporal logic. We solve the model checking problem for timed automata by translating it to the same issue for interval temporal logic. Then we prove that the model checking issue of multirate automata can be translated to that of timed automata. Finally, we give an approach for checking the linear propositional property of compact rectangular automata. | |||
TO cite this article:ZHANG Haibin. Model Checking Hybrid Systems Within Hybrid Temporal Logic[OL].[28 January 2014] http://en.paper.edu.cn/en_releasepaper/content/4583955 |
3. On the Connectivity of Strong Product of Graphs | |||
LV Min | |||
Computer Science and Technology 02 January 2014 | |||
Show/Hide Abstract | Cite this paper︱Full-text: PDF (0 B) | |||
Abstract:For a connected graph G, connectivity is the minimum cardinality of an vertex-cut S in G such that G-S is disconnected or trivial(a graph is trivial if it contains only one vertex). This paper deals with the connectivity of strong product graphs and gives the lower bound for it. | |||
TO cite this article:LV Min. On the Connectivity of Strong Product of Graphs[OL].[ 2 January 2014] http://en.paper.edu.cn/en_releasepaper/content/4580133 |
4. Software Reliability Models Based on Markov Renewal Process | |||
Ning Ning,Bo Yang | |||
Computer Science and Technology 29 September 2007 | |||
Show/Hide Abstract | Cite this paper︱Full-text: PDF (0 B) | |||
Abstract:Many existing software reliability models are based on the assumption of statistical independence among successive software failures. In reality, this assumption could be easily violated. In recent years, efforts have been made to relax this unrealistic assumption and a software reliability modeling framework considering failure correlation was developed by Goseva-Popstojanova and Trivedi. However, some important issues that are crucial for the proposed models to be used in practice remain unstudied, such as the method of estimation of model parameters. In this paper, we study the parameter estimation problem for this software reliability modeling framework. We propose a relationship function among model parameters which could be essential to the reduction of the number of parameters to be estimated as well as to the reliability prediction using the proposed modeling framework. Two parameter estimation methods have been developed based on deferent types of data available, using Maximum Likelihood Estimation (MLE) method. Simulation results preliminarily show that the accuracy of both proposed estimation methods are satisfactory. | |||
TO cite this article:Ning Ning,Bo Yang. Software Reliability Models Based on Markov Renewal Process[OL].[29 September 2007] http://en.paper.edu.cn/en_releasepaper/content/15436 |
Select/Unselect all | For Selected Papers |
Saved Papers
Please enter a name for this paper to be shown in your personalized Saved Papers list
|
Results per page: |
About Sciencepaper Online | Privacy Policy | Terms & Conditions | Contact Us
© 2003-2012 Sciencepaper Online. unless otherwise stated