606 search results - page 9 / 122 » Complexity Results for Checking Distributed Implementability |
JNSM
2010
14 years 6 months ago
2010
The Internet Protocol Security Architecture IPsec is hard to deploy in large, nested, or dynamic scenarios. The major reason for this is the need for manual configuration of the cr...
100
click to vote
ATAL
2010
Springer
15 years 23 days ago
2010
Springer
Aggregating the judgments of a group of agents regarding a set of interdependent propositions can lead to inconsistent outcomes. One of the parameters involved is the agenda, the ...
113
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
108
click to vote
PAPM
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
79
Voted
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...