Studies of personal informatics systems primarily examine people's use or non-use, but people often leverage other technology towards their long-term behavior change processes such as social platforms. We explore how tracking technologies and platforms together help build healthy eating behaviors by interviewing 18 who Chinese food journaling apps. contribute a Model Socially Sustained Self-Tra...

In this paper, we propose a model in which a formal characterization of obligations is used to constrain BDI agents to a socially eecient behavior in connictual 2x2 games. This model shows how obligations can play the role of providing incentives for self interested agents. The presence of a third BDI agent ensures the respect of obligations so that the parties behave in a socially eecient way.

The paper presents a conceptual model for social sensor design in socially-competent computing systems. The model is based on theories of social behavior being driven by the underlying attitudes, rather than on models predicting behavior in response to behavior representing people as physical objects in dynamic interactions. It is proposed to increase the ability of the systems to extract relev...

We introduce and analyze an inter-temporal choice model where customer valuations are uncertain and evolve over time. The model leads directly to the study of call options on capacity that are similar to partially refundable fares. We show that the capacity provider earns significantly higher revenues by selling real options on capacity than low-to-high pricing. We also investigate the social i...

This article introduces a Health Maintenance Organization (HMO) model that characterizes HMO decisions on enrollment, utilization levels, and quality. Facing global budgets dependent on revenue raising capacity, HMOs must determine standards of care and the corresponding premiums to cover costs. Revenues are allocated among HMO providers by gatekeepers who are often subject to strict utilizatio...