5775 search results - page 352 / 1155 » A Rationale-based Analysis Tool |
178
click to vote
EDOC
2007
IEEE
16 years 1 months ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
174
click to vote
HAPTICS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a new approach for evaluating a protein’s simulated trajectory via time-based haptic feedback. Molecular-scale trajectories are highly dynamic and thus pose new deman...
178
click to vote
VIZSEC
2007
Springer
16 years 27 days ago
2007
Springer
This paper describes Isis, a system that uses progressive multiples of timelines and event plots to support the iterative investigation of intrusions by experienced analysts using ...
165
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
158
click to vote
APN
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents the high level Petri nets analyzer Helena. Helena can be used for the on-the-fly verification of state properties, i.e., properties that must hold in all the ...