A workflow specification is a formal description of business processes in the real world. Its correctness is critical to the workflow execution and hence the realisation of business objectives. In addition to structural and temporal constraints, resource constraints are also implied in workflow specifications. Therefore, they should be analysed to ensure that the workflow specification is resou...

Efficient coverage algorithms are essential for information search or dispersal in all kinds of networks. We define an extended coverage problem which accounts for constrained resources of consumed bandwidth B and time T . Our solution to the network challenge is here studied for regular grids only. Using methods from statistical mechanics, we develop a coverage algorithm with proliferating mes...

Planning deals with the problem of finding a partially ordered sequence of actions (plan) that transfers the world from some initial state to a desired state. Causal relations between actions play a critical role here. Introduction of explicit time and resources into planning is an important step towards modeling real-life problems. In this paper we propose a suboptimal domainindependent planni...

The primary goal of psycholinguistic research is to understand the architectures and mechanisms that underlie human language comprehension and production. This entails an understanding of how linguistic knowledge is represented and organized in the brain and a theory of how that knowledge is accessed when we use language. Research has traditionally emphasized purely linguistic aspects of on-lin...

Due to the critical role humans play in automated business processes, a BPEL extension has been recently released BPEL4People and WS-HumanTask to express issues like authorization to execute a task. However, there is currently little support to human resource allocation to tasks in high level modeling languages such as BPMN. In this paper, we show how resource allocation can be captured in BPMN...

Integration of multicast and unicast data in future radio access networks will be necessary in order to improve the resource efficiency and provide new services. Such integration requires new and efficient resource sharing mechanisms. These mechanisms need to be optimized to provide the best possible trade-off between resource efficiency and fairness. In this paper, we consider a case where str...

This paper studies the causes of over-utilization of the resource capacities of a group of cooperative resourcelimited agents and what they can do to reduce their resource consumption. We view the problem of how an agent decides what tasks to execute and what to ignore as a type of multiagent planning problem. An agent in a multiagent setting has to prepare for all states it may reach as a resu...

A virtual workflow specification is a formal description of business process in the real world and whose execution is done in a virtual organisation. Workflows are activities that involve the coordinated execution of multy tasks performed by different processing entities. Among the processing entities are human resources. These latter belong to an organisation or in a virtual organisation and a...

We first present a new service network design model for freight consolidation carriers, one that both routes commodities and the resources needed to transport them while explicitly recognizing that there are limits on how many resources are available at each terminal. We next present a solution approach that combines column generation, meta-heuristic, and exact optimization techniques to produc...