480 search results - page 11 / 96 » Scenarios and Techniques for Choreography Design |
CHI
2011
ACM
2011
ACM
TouchCuts and TouchZoom: enhanced target selection for touch displays using finger proximity sensing
12 years 11 months ago
Although touch-screen laptops are increasing in popularity, users still do not comfortably rely on touch in these environments, as current software interfaces were not designed fo...
PDC
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we report on a project applying participatory design methods to include people who have experience of social exclusion (in one form or another) in designing possibl...
POPL
2008
ACM
14 years 7 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
COMPSAC
2003
IEEE
14 years 25 days ago
2003
IEEE
One important trend in enterprise-scale IT has been the increasing use of business-to-business integration (B2Bi) technologies to automate business processes that cross organisati...
CCR
2004
13 years 7 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...