Search Results

We present a stochastic modeling framework for atomistic propagation of a Mode I surface crack, with atoms interacting according to the Lennard--Jones interatomic potential at zero temperature. Specifically, we invoke the Cauchy--Born rule and the maximum ...

Fluid approximation results provide powerful methods for scalable analysis of models of population dynamics with large numbers of discrete states and have seen wide-ranging applications in modelling biological and computer-based systems and model ...

Systems outages can have disastrous effects on businesses such as data loss, customer dissatisfaction, and subsequent revenue loss. Disaster recovery (DR) solutions have been adopted by companies to minimise the effects of these outages. However, the ...

We construct a stochastic version of the deterministic epidemiological model, introduced by Yang and Yang in 2014, to study computer viruses spreading across a network with two degrees. We compare the results expected by these two approaches. To be closer ...

This article studies synchronous online distributed software update, also known as rolling upgrade in DevOps, which in clouds upgrades software versions in virtual machine instances even when various failures may occur. The goal is to minimise ...

Improving the performance of wireless networks to maintain good quality of service for all users is always an ultimate goal. To reach this goal, the performance should be evaluated accurately and then analysed. Geometric modelling of wireless networks is ...

Formal languages like process algebras have been shown to be effective tools in modelling a wide range of dynamic systems, providing a high-level description that is readily transformed into an executable model. However, their application is sometimes ...

In this paper we propose a novel approach to multi-action recognition that performs joint segmentation and classification. This approach models each action using a Gaussian mixture using robust low-dimensional action features. Segmentation is achieved ...

A large-scale sensing infrastructure can collect ample data to benefit many real-world applications. One promising application scenario is building management. However, exposure of the sensor data potentially reveals private details about building ...

We report on modelling a population dynamics problem by means of stochastic quantitative analysis. We are interested in the tension between survival of the population and revenue that can be obtained by its exploitation, and in showing how the chosen ...

The development of simple mathematical model for representing complicated real-life chemical reaction systems has been a fundamental issue in computational biology and bioinformatics. In particular, the accurate description of chemical events with multi-...

With the growing popularity of search engines among consumers, advertising on search engines has also grown considerably. We study optimal bidding strategies for advertisers in sponsored search auctions. In general, these auctions are run as variants of ...

Scientific workflows provide powerful middleware for scientific computing in that they represent a central abstraction in the research task by simultaneously acting as an editable action plan, collaboration tool, and executable entity. Taverna workflows,...

For emerging wireless mesh networks, multicode multicarrier CDMA(MC-CDMA) based technology is one of the most viable candidates. We perform stochastic modelling of the queues at the mobile station for uplink communication with multicode multicarrier ...

In this paper, the deterministic modelling of linear circuits is replaced by stochastic modelling by including variance in the parameters (resistance, inductance and capacitance). Our method is based on results from the theory of stochastic differential ...

This paper deals with an extension to the hybrid simulation paradigm, i.e. the combination of event-driven simulation and analytical modelling, applied to packet telecommunication networks. In order to speed up the simulation only a small part of all ...

The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the physical environment and the activities that are to be carried out within it. ...

Disk drives are a common performance bottleneck in modern storage systems. To alleviate this, disk manufacturers employ a variety of I/O request scheduling strategies which aim to reduce disk head positioning time by dynamically reordering queueing ...

This paper presents an overview of Platform-Independent Petri Net Editor 2 (PIPE2 ), an open-source tool that supports the design and analysis of Generalised Stochastic Petri Net (GSPN) models. PIPE2 's extensible design enables developers to add ...

In an Enterprise network, several companies interact to produce families of goods. Each member company seeks to optimise his own production and inventory policy to maximise his profit. These objectives are generally antagonistic and can lead to ...