805 search results - page 53 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
227
click to vote
ENTCS
2006
15 years 3 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
124
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
In this work we analyze the behavior on a company-internal social network site to determine which interaction patterns signal closeness between colleagues. Regression analysis sug...
136
click to vote
JCS
2010
14 years 10 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
CHI
2007
ACM
16 years 3 months ago
2007
ACM
Hotkeys are extremely useful in leveraging expert performance, but learning them is a slow process. This paper investigates alternative menu designs that can motivate and help use...
108
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Traditional network analysis tools support analysts in studying a single network. ManyNets offers these analysts a powerful new approach that enables them to work on multiple netw...