5775 search results - page 281 / 1155 » A Rationale-based Analysis Tool |
157
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 ...
295
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 ...
162
click to vote
XPU
2005
Springer
16 years 5 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...
167
click to vote
FORMATS
2005
Springer
16 years 6 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...
183
click to vote
ICDAR
2007
IEEE
15 years 8 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...