780 search results - page 8 / 156 » Compositional Quantitative Reasoning |
108
Voted
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
190
click to vote
HAIS
2011
Springer
14 years 5 months ago
2011
Springer
A novel method for mining association rules that are both quantitative and temporal using a multi-objective evolutionary algorithm is presented. This method successfully identifie...
120
click to vote
CAV
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
118
Voted
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
126
click to vote
VSTTE
2010
Springer
15 years 20 days ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...