394 search results - page 12 / 79 » Composition mechanisms for retrenchment |
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
FM
1999
Springer
14 years 26 days ago
1999
Springer
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
ACL
1992
13 years 9 months ago
1992
We present a new compositional tense-aspect deindexing mechanism that makes use of tense trees as components of discourse contexts. The mechanism allows reference episodes to be c...
ICALT
2005
IEEE
14 years 2 months ago
2005
IEEE
The authors will propose system integrated mechanisms, a Wiki platform for peer-reviewing, Link Grammar for automatically checking the students’ papers, and a RSS reader to peri...
FMOODS
2006
13 years 10 months ago
2006
Abstract. We use a distributed, enriched -calculus for describing networks of services. Both services and their clients can protect themselves, by imposing security constraints on ...