5255 search results - page 777 / 1051 » Formal Methods for Privacy |
167
click to vote
DSOM
2007
Springer
16 years 24 days ago
2007
Springer
This paper deals with the Change Management process within IT Service Management. Change Management includes several activities, some of which need to evaluate the risk exposure as...
158
click to vote
ECOOP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
172
click to vote
FMCAD
2007
Springer
16 years 24 days ago
2007
Springer
—Bus and interconnect protocols contain a few core operations (such as read and write transfers) whose behaviors interleave to form complex executions. Specifications of the cor...
146
click to vote
FMCAD
2007
Springer
16 years 24 days ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
161
click to vote
FMCAD
2007
Springer
16 years 24 days ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...