1573 search results - page 231 / 315 » Strong User Authentication |
125
Voted
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
109
click to vote
DSL
2009
14 years 11 months ago
2009
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of...
ACL
2012
13 years 4 months ago
2012
In social psychology, it is generally accepted that one discloses more of his/her personal information to someone in a strong relationship. We present a computational framework fo...
CHI
2008
ACM
16 years 2 months ago
2008
ACM
We introduce the Expandable Grid, a novel interaction technique for creating, editing, and viewing many types of security policies. Security policies, such as file permissions pol...
132
click to vote
CHI
2006
ACM
16 years 2 months ago
2006
ACM
We have recently begun to see hardware support for the tabletop user interface, offering a number of new ways for humans to interact with computers. Tabletops offer great potentia...