2517026
On Dynamic and Concurrent Model of Web Service Components
The researches of Web service fasten on composition process, and are lack of the formalized description on dynamic attributes of service component itself. Aiming to these, a new dynamic and concurrent model of Web service component is presented. Firstly, this paper analyzes the process of state transition of service component under certain actions, and then depicts the dynamic transition process of service component with the state transition graph. At last, the physical representation method in memory and the algorithms to judge equivalence of state transition graph are given. Comparing with existing researches, the dynamic evolvement of service component under the actions is considered, and the algorithm to judge equivalence of service components provides an effective tool for model verification.
12820927
A Policy Language for Adaptive Web Services Security Framework
How to resolve access control on Web services has become one of the important research tasks about the application of Web services. In this paper, we propose a policy based adaptive Web services security framework. In this framework, the ReiT policy is a declarative language based on the rules and ontologies. The non-structural knowledge is represented by rules and the structural temporal knowledge is represented by ontology. Moreover, we propose a mixer reasoning mechanism to evaluate the ReiT policy. The access control policy including the context of the user and Web services is evaluated by the reasoner. According to the evaluated result agent authorizes the access control of the Web services.
39230310
SSOA: a Semantic Service-Oriented Architecture Based on Fuzzy Assertion System
16164261
Relevance Feedback for Sketch Retrieval Based on Linear Programming Classification
Relevance feedback plays as an important role in sketch retrieval as it does in existing content-based retrieval. This paper presents a method of relevance feedback for sketch retrieval by means of Linear Programming (LP) classification. A LP classifier is designed to do online training and feature selection simultaneously. Combined with feature selection, it can select a set of user-sensitive features and perform classification well facing a small number of training samples. Experiments prove the proposed method both effective and efficient for relevance feedback in sketch retrieval.
43513684
A representation theorem for recovering contraction relations satisfying wci
A notion of an image structure associated with the canonical epistemic state is introduced. Based on it, we get a representation result for recovering contraction inference relations satisfying the condition weak conjunctive inclusion (wci) in terms of F-standard epistemic AGM states. In effect, this result establishes a representation theorem for belief contraction functions satisfying AGM postulates (k-1) - (k-7), and Rott's (wci) and (k-8c), and hence generalizes Rott's corresponding result in the finite framework.
15542808
An Agent-based Policy Aware Framework for Web Services Security
The security of Web services has become one of the important research topics about the application of Web services. In this paper, we propose an agent-based policy aware framework for Web services security. In this framework, a policy language called ReiT which is a declarative language based on the rules and ontologies is introduced. The non-structural knowledge is represented by rules and the structural temporal knowledge is represented by ontology. Moreover, we propose a mixed reasoning mechanism to evaluate the ReiT policy. The access control policy including the context of the user and Web services is evaluated by the reasoner. In addition, we present a policy aware BOID agent to authorize the access control of the Web services. And we implement the policy aware BOID agent by extending the JADE platform.
34644832
On-Line Signature Verification Based on PCA (Principal Component Analysis) and MCA (Minor Component Analysis)
On-line signature verification is still an active topic in the field of biometrics. This paper proposes a novel method based on PCA (Principal Component Analysis) and MCA (Minor Component Analysis). Different from the application of PCA in other fields, both principal and minor components are used to signature verification, and MC plays a very important role. Comparing with DTW and the discriminance of Euclidean distance, the method based on PCA and MCA is better. With 1215 signatures contributed by 81 signers of which numbers of reference signatures, genuine signatures and forgeries (skilled) are 5 respectively, the EER is about 5%.
10908543
Construct Teacher Community in E-Learning System
At present, most universities had completed the basic facilities and services of Information and Communication Technology (ICT), and installed e-learning system. What should be done to facilitate teachers' transition to employ ICT to their new teaching practices? We believe that virtual communities for Teacher Professional development (TPD) and socialization are supposed to be an excellent solution. We also deem that e-learning system could be a place for TPD as well as assisting teaching. In this paper, we present our past attempts, and the rationale behind the design of the Zjiao.Com virtual community.
1252893
A Configurable Web Service Performance Testing Framework
More and more softwares based on web service technologies are developed. Before their releases on the Internet, it is necessary to evaluate these systems' performance, especially their response time under different workload pressures. However, existing performance testing benchmarks and tools for web service applications are difficult to adapt to various user-specific testing purposes. This paper proposes a configurable web service performance testing framework which contains client module, application server module and database module. Client module, by using the network cooperation method that one central client drives several other clients, adapts to a great number of concurrent customers to request web services. Application server module contains web services under testing and external supporting web services, each of which is configured as a plug-in. The process to realize mixed ratio of web service interactions is similar to dealing cards and adapts to different commercial application characteristics. In database module, the data model including table and attribute dependence can be customized, and the data scale initialization can be resized according to the topology of above dependence. As such, this framework allows testers to dynamically define their data model, customize their scale of database, configure their transaction characteristics, deploy their application strategies and confirm their performance metrics..
16509577
Novel Routing Algorithms for Hierarchical Architecture in ASON
The hierarchical routing infrastructure in Automatic Switched Optical Network (ASON) is researched. Three operational algorithms MLLR (Multi-Layer Least Loaded Routing Algorithm), MLCR (Multi-Layer Least Congestion Routing Algorithm) and MROB (Multi-Layer Routing Algorithm based on backtracking) are proposed. In these algorithms, the resource coordination and balancing of multi-domain and multilayer are considered based on the fixed alternate hierarchical routing. A platform named AHORSP (ASON based hierarchical optimal routing & signaling platform) supporting our routing optimization scheme is proposed and demonstrated. Based on the platform the average block probability can be reduced effectively with acceptable time performance by these algorithms.
206544153
Analysis of creeping locomotion of a snake robot on a slope
Biological snakes' diverse locomotion modes and physiology make them supremely adapted for environment. To realize these snakes' noticeable features, we have developed a snake-like robot that has no any forward direction driving force. To enlarge the environment-adaptable ability of our robot, in this study we discuss the creeping locomotion of our snake-like robot on a slope. A computer simulator is presented for analysis of the creeping locomotion of our snake-like robot on a slope, and the environment-adaptable body shape for the creeping locomotion of the snake-like robot on slope is also derived through this simulator.