13 search results - page 3 / 3 » User Interaction with the Matita Proof Assistant |
IUI
2010
ACM
14 years 19 days ago
2010
ACM
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...
IUI
2006
ACM
13 years 11 months ago
2006
ACM
Large organizations with sophisticated infrastructures have large form-based systems that manage the interaction between the user community and the infrastructure. In many cases, ...
SSS
2009
Springer
14 years 9 days ago
2009
Springer
Abstract. We present schemes for providing anonymous transactions while privacy and anonymity are preserved, providing user anonymous authentication in distributed networks such as...