Pervasive personal communication technologies offer the potential for important social benefits for individual users, but also the potential for significant social difficulties an...
This paper presents two empirical usability studies based on techniques from Human-Computer Interaction HCI and software engineering, which were used to elicitate requirements fo...
Based on five design principles extracted from a survey of location systems, we present the Location Stack, a layered software engineering model for location in ubiquitous comput...
Jeffrey Hightower, Barry Brumitt, Gaetano Borriell...
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...