Search Results

In this paper, we present a rough k-means clustering algorithm based on minimizing the dissimilarity, which is defined in terms of the squared Euclidean distances between data points and their closest cluster centers. This approach is referred to as ...

Large-scale protein analysis and reliable annotations are particularly helpful for scholars in biology and medicine community. Understanding the functional characterizations of protein sequences has been a major challenge in recent years. Extensive ...

In this paper, we present a new compositional verification methodology for efficiently verifying high-assurance properties such as reachability and deadlock freedom of real-time systems. In this methodology, each component of real-time systems is ...

With the rapid growth of networking and high-computing power, the demand of larger and more complex software systems has increased dramatically. To deal with the complexity in designing large-scale complex software systems, the concept of component-...

From the Publisher:

Compositional Verification of Concurrent and Real-Time Systems is an excellent resource for students and researchers who seek a comprehensive understanding of how formal methods can be applied to the problems of intellectual or ...

This paper presents a new net-reduction methodology to facilitate the analysis of real-time systems using Delay Time Petri Nets (DTPNs). Net reduction is one of the most important techniques for reducing the state-explosion problem of Petri nets. ...

The concept of knowledge-based software architecture has recently emerged as a new way to improve our ability to effectively construct and maintain complex large-scale software systems. Under this new paradigm, software engineers are able to do ...

The state-explosion problem of formal verification has obstructed its application to large-scale software systems. In this article, we introduce a set of new condensation theories: IOT-failure equivalence, IOT-state equivalence, and firing-dependence ...

The dynamic behavior of concurrent systems can be modeled and analyzed using Petri nets. Many approaches have been proposed to analyze the properties of Petri nets. Among them, reachability analysis is a fundamental method for studying the dynamic ...

We present a hybrid model to speed up the evaluation of a logic based intelligent system. A logic based system is first applied by a data dependency analysis technique which can find all the mode combinations that exist within clauses of a knowledge ...

Timing analysis is essential to the development of valid computer systems especially for a distributed real-time system. In this paper, we present both static and dynamic analysis procedures to verify timing properties of distributed real-time systems ...