2514 search results - page 478 / 503 » The use of industrial-strength formal methods |
126
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
A voting rule is an algorithm for determining the winner in an election, and there are several approaches that have been used to justify the proposed rules. One justification is t...
139
click to vote
COMCOM
2010
15 years 2 months ago
2010
In this paper, we consider QoS aware mesh networks that are maintained by multiple operators and they cooperate in the provision of networking services to the mesh clients. In ord...
108
click to vote
JCB
2007
15 years 1 months ago
2007
Analysis of biopolymer sequences and structures generally adopts one of two approaches: use of detailed biophysical theoretical models of the system with experimentally-determined...
136
click to vote
SCP
2010
15 years 9 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
109
click to vote
SPIN
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...