State Machines: A Generic Model of Computation

State Machines: Verification Problems and Complexity

In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenario, the attacker and the communication between them.

Nowadays, by successful application of on time production concept in other concepts like production management and storage, the need to complete the processing of jobs in their delivery time is considered a key issue in industrial environments. Unrelated parallel machines scheduling is a general mood of classic problems of parallel machines. In some of the applications of unrelated parallel mac...

For almost three decades researchers have sought to quantify the benefits of home and community care for the elderly, invariably assuming that such care would be an economical substitute for institutionalization. Twenty-seven studies that met rigorous criteria of design, size, and subject were analyzed and the results were synthesized to address the effects on institutional utilization and expe...

Lifelogging, a technique for digitally gathering every moment in life using wearable cameras, is a growing phenomenon. However, it is important to remember that in addition to recording their own lives, users are recording others as well, which raises privacy issues around lifelogging from a bystander’s perspective. This warrants conducting bystander-focused privacy studies in an uncontrolled e...

The Gap Park Self-Harm Minimisation Masterplan project is a collaborative attempt to address jumping suicides at Sydney’s Gap Park through means restriction, encouraging help-seeking, and increasing the likelihood of third-party intervention. We used various data sources to describe the Masterplan project’s processes, impacts, and outcomes. There have been reductions in reported jumps and confi...

Following Rosen [1981], superstar effects (earnings convex in quality and a few firms reaping a large share of market earnings) occur with imperfect substitution between sellers, low (and possibly declining) marginal cost of output, and marginal cost falling as quality increases. However, markets without such characteristics have superstar effects, and the main result from the superstar model —...