Process discovery techniques try to generate process models from execution logs. Declarative process modeling languages are more suitable than procedural notations for representing the discovery results deriving from logs of processes working in dynamic and low-predictable environments. However, existing declarative discovery approaches aim at mining declarative specifications considering each ...

The upcoming General Data Protection Regulation (GDPR) requires justification of data activities to acquire, use, share, and store data using consent obtained from the user. Failure to comply may result in significant heavy fines which incentivises creation and maintenance of records for all activities involving consent and data. Compliance documentation therefore requires provenance informatio...

While software security has become an expectation, stakeholders often have difficulty expressing such expectations. Elaborate (and expensive) frameworks to identify, analyze, validate and incorporate security requirements for large software systems (and organizations) have been proposed, however, small organizations working within short development lifecycles and minimal resources cannot justif...

Imaginaries of empty, verdant lands have long motivated agricultural frontier expansion. Today, climate change, food insecurity, and economic promise are invigorating new frontiers across the circumpolar north. In this article, I draw on extensive archival ethnographic evidence to analyze mid-twentieth-century recent twenty-first-century narratives development in Northwest Territories, Canada. ...

Many parasites, including those of relevance to human health, use multiple hosts in order to complete their lifecycle. These complex lifecycles are somewhat mysterious from an evolutionary perspective, as the reliance on more than one host species seems likely to make the parasite more vulnerable to ecosystem perturbation and to restrict its range (L opez et al. 2015). There have been a number ...

An important decision in software projects is when to stop testing. Decision support tools for this have been built using causal models represented by Bayesian Networks (BNs), incorporating empirical data and expert judgement. Previously, this required a custom BN for each development lifecycle. We describe a more general approach that allows causal models to be applied to any lifecycle. The ap...