805 search results - page 147 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
143
click to vote
ACMDIS
2004
ACM
15 years 8 months ago
2004
ACM
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...
134
click to vote
IJCAI
1989
15 years 4 months ago
1989
The acceptability and effectiveness of an expert system is critically dependent on its user interface. Natural language could be a well-suited communicative medium; however, curre...
142
click to vote
TSE
1998
15 years 2 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
124
click to vote
SP
2000
IEEE
15 years 7 months ago
2000
IEEE
Today, even a moderately sized corporate intranet contains multiple firewalls and routers, which are all used to enforce various aspects of the global corporate security policy. ...
131
click to vote
ASIACRYPT
2008
Springer
15 years 4 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...