603 search results - page 9 / 121 » A Formal Operational Semantics for SOFL |
166
click to vote
DEXAW
2006
IEEE
15 years 11 months ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
138
click to vote
ASIAN
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
136
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
142
click to vote
CIBSE
2009
ACM
16 years 4 hour ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
147
Voted
JCSS
2010
15 years 3 months ago
2010
In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in...