Search Results - "Huowang Chen"

A Detection and Offense Mechanism to Defend Against Application Layer DDoS Attacks by Jie Yu, Zhoujun Li, Huowang Chen, Xiaoming Chen

“…Application layer DDoS attacks, which are legitimate in packets and protocols, gradually become a pressing problem for commerce, politics and military. We…”
Get full text

QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm by Chunming Gao, Meiling Cai, Huowang Chen

“…A novel tree-coding genetic algorithms (TGA) is presented for QoS-aware service composition. Since tree-coding schema can carry the information of static model…”
Get full text

Universal abstract consistency class and universal refutation by Wang, Bingshan, Li, Zhoujun, Chen, Huowang

“…Refutation methods based on the resolution principle are generally applied to a (finite) set of sentences, which must have a series of pre-transformations…”
Get full text

The multi-criteria minimum spanning tree problem based genetic algorithm by Chen, Guolong, Chen, Shuili, Guo, Wenzhong, Chen, Huowang

“…Minimum spanning tree (MST) problem is of high importance in network optimization and can be solved efficiently. The multi-criteria MST (mc-MST) is a more…”
Get full text

Symbolic transition graph and its early bisimulation checking algorithms for the π-calculus by Li Zhoujun, Chen Huowang, Wang Bingshan

“…Symbolic transition graph is proposed as an intuitive and compact semantic model for the π-calculus processes. Various versions (strong/weak, ground/symbolic)…”
Get full text

Execution Mechanism of Service Proxy in Web Services Composition Execution Engine by Chunming Gao, Xiaojuan Yuan, Huowang Chen

“…Two problems in web services composition has been tackled in this paper: firstly, decoupling flow execution and web services invocation in web services…”
Get full text

Credulous argumentation with the disjunctive stable semantics by Wang, Kewen, Chen Huowang, Wu Quanyuan

“…The relationship between the disjunctive stable semantics and argumentation is rarely explored. In particular, the problem of how to perform argumentation with…”
Get full text

Argumentation in disjunctive logic programming by Wang, Kewen, Wu Quanyuan, Chen Huowang

“…Argumentation (abduction) is widely applied in artificial intelligence (AI) and law reasoning. However, the problem of how to perform argumentation in…”
Get full text

A Model Checking Tool Embedded into Services Composition Environment by Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen

“…This paper proposes a tool for formal verification of Web services composition based on an extended pi-calculus with type system and the conversion between…”
Get full text

Symbolic Model Checking APSL by Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma

“…PSL is a kind of temporal logic which uses SEREs as additional formula constructs. We present a variant of PSL, namely APSL, which replaces SEREs with finite…”
Get full text

A Feedback Control Framework of Service Composition Execution for Response Time Guarantee by Chunming Gao, Weian Chen, Huowang Chen

“…The service composition execution engine- WebJetFlow with dual feedback control loops, which separates process executor and service proxy to decouple process…”
Get full text

A Description Logic Framework for Semantic Web Service Composition by Zhoujun Li, Jiesheng Wang, Huowang Chen

“…Motivated by the need for a semantic web compatible and algorithmically manageable formalism for service composition in knowledge grid, a framework based on…”
Get full text

The Classification of Tumor Using Gene Expression Profile Based on Support Vector Machines and Factor Analysis by Shulin Wang, Ji Wang, Huowang Chen, Wensheng Tang

“…Gene expression data that is being used to gather information from tissue samples is expected to significantly improve the development of efficient tumor…”
Get full text

Services Composition Modeling with Mobility and Time by Chunming Gao, Yong Li, Huowang Chen

“…The mobile ambient is a formal model for mobile computation in which processes reside and move in a hierarchy of named locations organised as a tree-like…”
Get full text

Frameworks of Composite Services Execution Engine with Feedback Control by Chunming Gao, Huang Tan, Huowang Chen

“…According to the SOA, we proposed the framework of composite service execution engine WebJetFlow. In this framework, to guarantee the response time from…”
Get full text

Consistency-based abduction with extended disjunctive logic programs by 王克文 陈火旺 吴泉源

“…By translating each disjunctive logic program into an abductive framework, a declarative semantics for the class of disjunctive logic programs, called the…”
Get full text

Compatibility Checking of Web Services Composition in Pervasive Computing by Chunming Gao, Shizhang Ji, Rongsheng Liu, Huowang Chen

“…This paper proposes a method checking compatibility and a tool for checking Web services composition in pervasive computing. In order to ensure the correctness…”
Get full text

An Efficient Classification System Based on Binary Search Trees for Data Streams Mining by Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen, Jinshan Yu

“…Decision tree construction is a well-studied problem in data mining. Recently, there has been much interest in mining data streams. Domingos and Hulten have…”
Get full text

Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines by Shulin Wang, Huowang Chen, Ji Wang, Dingxing Zhang

“…Gene expression data that is being used to gather information from tissue samples is expected to significantly improve the development of efficient tumor…”
Get full text

A New Method of Cluster-Based Topic Language Model for Genomic IR by Jian Wen, Zhoujun Li, Lijuan Zhang, Xiaohua Hu, Huowang Chen

“…Accurately estimating language model is important to improve the performance of information retrieval. The key problems include solving synonymy and polysemy…”
Get full text