This paper describes Threshold Concepts, a theory of learning that distinguishes core concepts whose characteristics can make them troublesome in learning. With an eye to applying this theory in computerscience, we c...
详细信息
ISBN:
(纸本)1595936033
This paper describes Threshold Concepts, a theory of learning that distinguishes core concepts whose characteristics can make them troublesome in learning. With an eye to applying this theory in computerscience, we consider this notion in the context of related topics in computerscience education.
FlowUML is a logic-based system to validate information flow policies at the requirements specification phase of UML based designs. It uses Horn clauses to specify information flow polices that can be checked against ...
详细信息
Taking advantage of the Grid workflow, scientists and engineers are building more and more complex decision support applications to process large data sets, and coordinate scheduling distributed decision resources. Su...
详细信息
Taking advantage of the Grid workflow, scientists and engineers are building more and more complex decision support applications to process large data sets, and coordinate scheduling distributed decision resources. Such decision resource scheduling processes require means for composing and executing complex workflows. Therefore, many efforts have been made towards the development of workflow scheduling systems for decision resource coordinate scheduling on Grid environment. In this paper, we investigates the emerging need for Grid workflow to aid decision support on the Grid and proposes a Grid workflow for decision resource scheduling that is a Petri net-based graph model and incorporates a reasoning system designed to perform such a task. It effectively hides the heterogeneity of decision resources with good intelligence, scalability and adaptability.
When transacting and interacting through open computer networks, traditional methods used in the physical world for establishing trust can no longer be used. Creating virtual network substitutes with which people, org...
详细信息
Laboratories for training students in software development involve a considerable coding effort, reducing the complexity of the exercises that are possible in the available lab time. In order to reduce this coding eff...
详细信息
Laboratories for training students in software development involve a considerable coding effort, reducing the complexity of the exercises that are possible in the available lab time. In order to reduce this coding effort our laboratory employed the component framework WebSI. An application developed with WebSI is composed of application logic (AL) component and an interaction style (IS) component, containing code for producing and managing the graphical user interface (GUI). In the laboratory the students wrote only the AL component, while the instructor provided a number of ready-made different IS components. If the student didn't like the produced GUI, she could simply exchange the IS component with one that produces a GUI that is more to her liking. The exchange of an IS component is possible since all IS components employ the same abstract semantic interface, which does not specify the geometric and other properties of the GUI to be produced. Changing components is fast, as no compilation is required. The time the students saved by using ready-made IS components was invested in requirement elicitation and specifications, which had a beneficial effect on the usability of the student projects.
In this paper, a general particle swarm optimization based on SA algorithm (SA-GPSO) for the solution to multi-specification one-dimensional cutting stock problem is proposed. Due to the limitation of its velocity-dis...
详细信息
ISBN:
(纸本)1424406048
In this paper, a general particle swarm optimization based on SA algorithm (SA-GPSO) for the solution to multi-specification one-dimensional cutting stock problem is proposed. Due to the limitation of its velocity-displacement search model, particle swarm optimization (PSO) has less application on discrete and combinatorial optimization problems effectively. SA-GPSO is still based on PSO mechanism, but the new updating operator is developed from simulated annealing algorithm, crossover operator and mutation operator of genetic algorithm. In order to repair invalid particle and reduce the searching space, best fit decrease (BFD) is introduced into repairing algorithm of SA-GPSO. According to the experimental results, it is observed that the proposed algorithm is feasible to solve both sufficient one-dimensional cutting problem and insufficient one-dimensional cutting problem
Unit test is major part of the software quality assurance. The unit test quality directly affects the software quality. The software enterprise takes more and more attention on unit test. However, beside the mature te...
详细信息
ISBN:
(纸本)9781424404759
Unit test is major part of the software quality assurance. The unit test quality directly affects the software quality. The software enterprise takes more and more attention on unit test. However, beside the mature technical, tools and process of unit test, the effect of unit test is not very good. Base on an overall analysis of the unit test work, the paper indicates that people is the kernel and ties of the test jobs. The key point to improve the unit test level is the improvement of the Personal Capability of test personnel.
The paper introduces the concepts of capability and Personal Capability in unit test. The three characters of Personal Capability for unit test are test efficiency, test quality and forecast. Personal Capability is reflected and developed by specific activities and practices. Three key practices for capability improvements are plan practice, track practice and evaluate and improve practice. The paper introduces three key practices in detail.
An enterprise case is studied and the result shows that the experience of Personal Capability improvement process will provide foundation for next turn of improvement activities, and act as reference to the software enterprise that want to improve their unit test process.
Limited resources in sensor make it very hard to assure security. Based on suitable encrypting algorithm and effective method to construct multi-path, a secure routing algorithm is proposed. The algorithm synthesizes ...
详细信息
Limited resources in sensor make it very hard to assure security. Based on suitable encrypting algorithm and effective method to construct multi-path, a secure routing algorithm is proposed. The algorithm synthesizes encryption algorithm and key distribution strategy to encrypt data and provide the security. Based on these, multi-path is constructed and used to validate reciprocally the data forwarded by different path. Simulating experiments show that the algorithm has good performance
暂无评论