101 search results - page 6 / 21 » A User Interface for a Game-Based Protocol Verification Tool |
168
click to vote
TACAS
2000
Springer
15 years 9 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
171
click to vote
ACSC
2002
IEEE
15 years 10 months ago
2002
IEEE
Although spreadsheets have been around for over thirty years, we are only just realising their importance. Most companies use spreadsheets in their decision-making processes, but ...
155
click to vote
JSW
2007
15 years 5 months ago
2007
—Shibboleth is an architecture and protocol for allowing users to authenticate and be authorized to use a remote resource by logging into the identity management system that is m...
172
click to vote
CHI
2004
ACM
15 years 11 months ago
2004
ACM
While collections—aggregation mechanisms such as folders, buddy lists, photo albums, etc.—clearly play a central role in information management, the potential benefits of true...
146
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we enhance the SOFA Component Description Language with a semantic description of a component's functionality. There are two key requirements this description a...