This paper presents a new method to analyze system behavior. A software system is modeled by a Petri net, and then the Petri net is sliced into several parts based on T-invariant. It has been shown that the behavior o...
详细信息
Cloud computing arise as an efficient way to allocate resources for execution of task and services within a set of geographically dispersed providers from different organizations. In cloud computing, an IaaS computing...
详细信息
ISBN:
(纸本)9781467307215
Cloud computing arise as an efficient way to allocate resources for execution of task and services within a set of geographically dispersed providers from different organizations. In cloud computing, an IaaS computing model called Cloud Bank. Cloud Bank model [1] is an IaaS model on the basis of economics principal and cloud computing features. It can be partly distinguished from other traditional IaaS providers by the sources of infrastructure resources. In Cloud Bank, pricing resources is the key problem. Client applications and services providers meet in Cloud Bank and negotiate for the sales of services by means of the signature of a service level agreement. This paper come up with a resource pricing strategy based on Resource Swarm Optimization to solve the problem of how to price computing resources in Cloud Bank model.
software systems are subject to change. To embrace change, the systems should be equipped with automated mechanisms. Business process and software architecture models are two artifacts that are subject to change in an...
详细信息
software systems are subject to change. To embrace change, the systems should be equipped with automated mechanisms. Business process and software architecture models are two artifacts that are subject to change in an interrelated manner that requires them co-evolve. As opposed to the traditional batch-based model transformation, we propose a comprehensive set of structural and behavioral evolution patterns that enable to incrementally reflect the impact of change of business processes to their associated architecture models by applying reusable patterns. A basis for automation is provided through a graph-based formalism.
Workflow is a technology which software system uses highly frequent. A good workflow system can replace the traditional manual way document circulation and greatly simplify office process. It has become an indispensab...
详细信息
Data uncertainty appears in many important XML applications. Recent probabilistic XML models represent different dependency correlations of sibling nodes by adding various kinds of distributional nodes, while there do...
详细信息
Future systems will be too complex to design and implement explicitly. Instead, we will have to learn to engineer complex behaviours indirectly: through the discovery and application of local rules of behaviour, appli...
详细信息
Background: Systematic literature reviews are increasingly used in softwareengineering. Most systematic literature reviews require several hundred papers to be examined and assessed. This is not a trivial task and ca...
详细信息
ISBN:
(纸本)9781450315098
Background: Systematic literature reviews are increasingly used in softwareengineering. Most systematic literature reviews require several hundred papers to be examined and assessed. This is not a trivial task and can be time consuming and error-prone. Aim: We present SLuRp - our open source web enabled database that supports the management of systematic literature reviews. Method: We describe the functionality of SLuRp and explain how it supports all phases in a systematic literature review. Results: We show how we used SLuRp in our SLR. We discuss how SLuRp enabled us to generate complex results in which we had confidence. Conclusions: SLuRp supports all phases of an SLR and enables reliable results to be generated. If we are to have confidence in the outcomes of SLRs it is essential that such automated systems are used. Copyright 2012 ACM.
Variance-based Radio Tomographic Imaging (VRTI) is an emerging technology that locates moving objects in areas surrounded by simple and inexpensive wireless sensor nodes. VRTI uses human motion induced variation in RS...
Variance-based Radio Tomographic Imaging (VRTI) is an emerging technology that locates moving objects in areas surrounded by simple and inexpensive wireless sensor nodes. VRTI uses human motion induced variation in RSS and spatial correlation between link variations to locate and track people. An artificially induced power variations in the deployed network by an adversary can introduce unprecedented errors in localization process of VRTI and, given the critical applications of VRTI, can potentially lead to serious consequences including loss of human lives. In this paper, we tackle the problem of detecting malicious receivers that report false RSS values to induce artificial power variations in a VRTI system. We use the term “Receiver Attack” to refer to such malicious power changes. We use a combination of statistical hypothesis testing and heuristics to develop real-time methods to detect receiver attack in a VRTI system. Our results show that we can detect receiver attacks of reasonable intensity and identify the source(s) of malicious activity with very high accuracy.
作者：
Iman AvazpourJohn GrundyFaculty of ICT
Centre for Computing and Engineering Software and Systems Swinburne University of Technology Hawthorn VIC Australia
Model Driven engineering (MDE) has become a commonly used approach in softwareengineering. It promotes using models as primary artefacts and proposes methods for transforming them to desired software products. Howeve...
详细信息
Model Driven engineering (MDE) has become a commonly used approach in softwareengineering. It promotes using models as primary artefacts and proposes methods for transforming them to desired software products. However, the specification of models and their transformations in MDE with current techniques is not user-friendly, due to excessive use of high level abstract models and textual representation of transformation languages. This paper briefly describes CONVErT, an approach and tool developed for user-centric transformation generation using concrete model visualisations.
暂无评论