5775 search results - page 281 / 1155 » A Rationale-based Analysis Tool |
174
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
This study investigates the context of interactions of IT security practitioners, based on a qualitative analysis of 30 interviews and participatory observation. We identify nine ...
333
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
191
click to vote
XPU
2005
Springer
16 years 26 days 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...
185
click to vote
FORMATS
2005
Springer
16 years 28 days ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
215
click to vote
ICDAR
2007
IEEE
15 years 9 months ago
2007
IEEE
Performance evaluation for document image analysis and understanding is a recurring problem. Many groundtruthed document image databases are now used to evaluate general algorithm...