Web Service Composition WSC problems can be considered as a service matching problem, which means that the output parameters of a Web service can be used as inputs of another one. However, when a very large number of Web services are deployed in the environment, the service composition has become sophisticated and complicated process. In this study, we proposed a novel cost-effective Web servic...

Template-based composition of web services is considered as useful middle-way between their manual ’programming in the large’ and fully automatic ’AI-planning-style’ composition. This is also relevant for applications analysing the content and structure of the web space. As simple proof of concept, we simulate this approach on a collection of services, templates, data objects and ontological kn...

Wildfires cause devastation on communities, most significantly loss of life. The safety of at-risk populations depends on accurate risk assessment and emergency planning. Evacuation modelling and simulation systems are essential tools for such planning and decision making. During a wildfire evacuation, the behaviour of people is a key factor; what people do, and when they do it, depends heavily...

Models of biochemical systems presented as a set of formal reaction rules with kinetic expressions can be interpreted with different semantics: as either deterministic Ordinary Differential Equations, stochastic continuous-time Markov Chains, Petri nets or Boolean transition systems. While the formal composition of reaction models can be syntactically defined as the (multiset) union of the reac...

Simulations are today very common and are used frequently for education, testing, research, development, gaming etc. No matter in what area it is used, it is used for the same purpose, to imitate a realistic event. With a simulation, certain factors are manipulated depending on what event is being simulated, like for example at a school for pilots, they use a simulator to imitate the flight. Ho...

This paper presents a taxonomy of techniques for creating the layout of a visual simulation model component. Seven categories of techniques are identified: diagram, drawing, icon, map, painting, photograph, and schema. Layouts facilitate visual simulation model development by enabling the modeler to apply decomposition, aggregation, multiple levels of abstraction, static versus dynamic characte...

We present a case study in the use of performance modeling for parallel application development, with a biological cell simulation as our target application. We show that a simple performance model is adequate for determining data layout for arrays and linked structures, and validate our model against experimental results for some application kernels. We quantify the importance of optimizing ac...

We prove a randomized communication-complexity lower bound for a composed function — OrderedSearch ◦ IP — by lifting the randomized query-complexity lower-bound of OrderedSearch to the communication-complexity setting. We do this by extending ideas from a paper of Raz and Wigderson [RW89]. We think that the techniques we develop will be useful in proving a randomized simulation theorem. We also...

Composition methods are methods for the integration of ordinary differential equations arising from differential geometry, or more precisely, Lie algebra theory. We apply them here to the simulation of arrays of Chua’s circuits. In these methods, we split the vector field of the array of Chua’s circuits into its linear part and its nonlinear part. We then solve the elementary differential equat...