456 search results - page 6 / 92 » Semantic Foundations of Jade |
WSC
2004
14 years 11 months ago
2004
Federated simulations address the need for interoperability, as well as the improvement of reuse and composability of existing simulation models. The focal goal in a federated sim...
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
CALCO
2009
Springer
15 years 4 months ago
2009
Springer
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
69
Voted
PEPM
1995
ACM
15 years 1 months ago
1995
ACM
