9182 search results - page 192 / 1837 » Requirements for Requirements Management Tools |
146
click to vote
ICDIM
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a strategy for the automated and scheduled maintenance of a digital library collection. Existing systems require the user either to add new data manually...
130
click to vote
MIR
2006
ACM
15 years 10 months ago
2006
ACM
There is a growing need to access historical Ottoman documents stored in large archives and therefore managing tools for automatic searching, indexing and transcription of these d...
134
click to vote
SOFSEM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Open source software has become a common way of disseminating research results. In this talk, we first introduce the motivations and implications of releasing research pr...
116
click to vote
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
129
click to vote
ECBS
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...