3742 search results - page 633 / 749 » On the Use of Formal Techniques for Validation |
177
click to vote
IWPSE
2007
IEEE
16 years 19 days ago
2007
IEEE
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
152
click to vote
CAV
2007
Springer
16 years 16 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
206
click to vote
CIA
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We present a trust model extension that attempts to relax the assumptions that are currently taken by the majority of existing trust models: (i) proven identity of agents...
172
click to vote
CISC
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Key privacy is a notion regarding the privacy of the owner of a public key, which has important applications in building (receiver) anonymous channels, or privacy-enhance...
157
click to vote
CSL
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Establishing local consistency is one of the main algorithmic techniques in temporal and spatial reasoning. In this area, one of the central questions for the various pro...