1965 search results - page 271 / 393 » On the analysis of interacting pushdown systems |
CCS
2010
ACM
13 years 9 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Could people use tagging to manage day-to-day work in their personal computing environment? Could tagging be sufficiently generic and lightweight to support diverse ways of workin...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
This paper presents a case study of the NASA Ames Research Center HCI Group's design and development of a problem reporting system for NASA's next generation vehicle (to...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
In this paper, we explore the use of digital photographs in computer-mediated communication. We present Lascaux, an instant messaging client that serves as a research platform for...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
People cannot type as fast as they think, especially when faced with the constraints of mobile devices. There have been numerous approaches to solving this problem, including rese...