315 search results - page 10 / 63 » Claims Analysis |
SIGDOC
1998
ACM
14 years 2 months ago
1998
ACM
The act-function-phase model systematically relates the acts of the dialogue at time-of-use to the acts of the dialogue between author and users at time-of-development. We show ho...
DAGSTUHL
2003
13 years 11 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
XPU
2005
Springer
14 years 3 months ago
2005
Springer
Source repositories are a promising database of information about software projects. This paper proposes a tool to extract and summarize information from CVS logs in order to ident...
INTERACT
2003
13 years 11 months ago
2003
: This paper reports on current development of usability heuristics for large screen information exhibits. By basing the creation of such heuristics on real systems, and identifyin...
LOGCOM
2006
13 years 9 months ago
2006
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...