In the appendix of [1], Gurevich defines finite exploration for small-step algorithms which do not interact with the environment. Although satisfying finite exploration is a seemingly weaker property than satisfying bounded exploration, he proves the two notions are equivalent for this class of algorithms. We investigate what happens in the case of ordinary small-step algorithms – in particular...

My research interest is in networked systems and surrounding areas, such as distributed systems, computer networks, and security/privacy. I have worked on various projects including smartphone security and privacy [2–4, 11, 13], network architecture to protect user privacy [5, 15], reliable distributed systems [9], and mobile systems for voice and vision interactions [7, 8]. In my dissertation,...

M ost traditional computing systems and applications research treats software as the variable and hardware as the constant. In ubiquitous computing research, it’s difficult to maintain this perspective. A defining characteristic of ubiquitous computing systems is embodying physical context and interaction with a given physical locale rather than abstracting from it.1 Generally, ubiquitous compu...

This provocative statement by David Wellman, a sociologist of labor, can be read as a kind of challenge to work researchers. The sense in which it rings true is particularly remarkable given the large and growing body of literature dedicated to work-flow modeling, business process reengineering, and other methods aimed at representing work in the service of transforming it. At the same time tha...

decent work is a new concept that has recently entered in international labor market economic literature and according to a good number of authorities it is one of the major aspects of sustainable developments that can lead to poverty reduction. on the other hand, international labor office (ilo) has considered decent work as the basis of its major framework of activities. ilo intends to encour...

BACKGROUND We previously reported a new management variable, work rate, defined as work load due per hour, based on cumulative standard treatment times. We found that work rates were unachievable (ie, exceeded 1 hour of scheduled work per hour of available labor) for 75% of scheduled due times, despite presumed achievable average work load. OBJECTIVE To determine the optimal strategy for cre...

We propose the topic of “CSCL at Work” which we advanced through workshops at ACM Group 2010, ACM Group 2012 and CSCL 2013. The resulting book raises an important set of issues and potential topics for research and practice but, like any agenda setting work, does not solve thorny or controversial issues. CSCL@Work provides one possible viewpoint for bridging informal learning and work. The purp...