Sciweavers

12478 search results - page 1827 / 2496
» Secure Interaction Design
Sort
View
PERCOM
2004
ACM
16 years 6 months ago
Pervasive Enablement of Business Processes
People are an important part of many business processes. Current workflow-based implementations of business processes constrain users to the desktop environment; require them to p...
Dipanjan Chakraborty, Hui Lei
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 4 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
IUI
2010
ACM
16 years 4 months ago
Towards intelligent motion inferencing in mathematical sketching
We present a new approach for creating dynamic illustrations to assist in the understanding of concepts in physics and mathematics using pen-based interaction. Our approach builds...
Salman Cheema, Joseph J. LaViola Jr.
CSCW
2010
ACM
16 years 4 months ago
An empirical study of critical mass and online community survival
There is general consensus that critical mass at inception ensures the sustained success of online communities. However, no clear understanding of what constitutes such a 'cr...
Daphne R. Raban, Mihai Moldovan, Quentin Jones
CSCW
2010
ACM
16 years 4 months ago
"on my way": deceptive texting and interpersonal awareness narratives
Managing one’s availability for interaction with others is an increasingly complex act, involving multiple media and the sharing of many types of information. In this paper we d...
Jeremy P. Birnholtz, Jamie Guillory, Jeffrey T. Ha...
« Prev « First page 1827 / 2496 Last » Next »