Students and teachers do not necessarily have the same understanding of a course - of the purpose, the objective, and in particular of the course elements - the way the course is performed, the examination procedure, ...
详细信息
The most effective setting for training in Global softwareengineering is to provide a distributed environment for students. In such an environment, students will meet challenges in recognizing problems first-hand. Te...
详细信息
For hybrid systems, hybrid automata based tools are capable of verification while Matlab Simulink/Stateflow is proficient in simulation. In this paper, a methodology is developed in which the formal verification tool ...
详细信息
This paper gives out a PUB/SUB-based application server software, which aims at improving the coarse granularity of the pushed information in current LBS systems. Taking the advantage of PUB/SUB system's asynchron...
详细信息
Despite the benefits offered by smart grids, energy producers, distributors and consumers are increasingly concerned about possible security and privacy threats. These threats typically manifest themselves at runtime ...
详细信息
Component-based softwareengineering is characterized by its two major activities: development for reuse, and development with reuse. This paper argues that reusability metrics should be defined differently for these ...
详细信息
ISBN:
(纸本)0889863237
Component-based softwareengineering is characterized by its two major activities: development for reuse, and development with reuse. This paper argues that reusability metrics should be defined differently for these two different development activities: In "development for reuse", reusability is maximized to make the component in development as reusable as possible in various context and purposes. In "development with reuse", on the other hand, components with lower cost and lower irrelevant reusability should be selected in order to minimize the cost and complexity of the system. We provide a static metrics for measuring reusability of components in development for reuse, based on the internal structure and services provided by the components. For development with reuse, we provide a dynamic metrics for cost-benefit analysis to pick up the best components in terms of their reusability.
Most software transactional memories employ optimistic concurrency control. A pessimistic semantics, however, is not without its benefits: its programming model is often much simpler to reason about and supports the e...
详细信息
Network virtualization in cloud computing environment has attracted many attentions recently. With the help of network virtualization, VMM is able to provide fine-grained isolation among different VMs. However, the pe...
详细信息
The main objective of the Service Level Management process is to ensure that an agreed level of IT service is provided for all current IT services and that future services are delivered to agreed achievable targets. T...
详细信息
This paper presents a LBS middleware software, which contains application and positioning modules. The first module is designed to improve the granularity of the pushed information in current LBS systems and to conven...
详细信息
暂无评论