5668 search results - page 306 / 1134 » Overlaps in Requirements Engineering |
234
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
We present a way to incorporate backtracking and dynamic patching into existing debuggers, without requiring any change to their source code, the compiler or the run-time environm...
195
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
128
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
139
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—While log data are being increasingly used as digital evidence in judicial disputes, the extent to which existing secure logging protocols used to collect log data fulï¬...
157
click to vote
ICSE
2007
IEEE-ACM
16 years 25 days ago
2007
IEEE-ACM
This paper outlines our experiences with making architectural tradeoffs between performance, availability, security, and usability, in light of stringent cost and time-to-market c...