603 search results - page 53 / 121 » A Formal Operational Semantics for SOFL |
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
IFM
2000
Springer
14 years 8 days ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
EDOC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with con...
ACL
1997
13 years 10 months ago
1997
We describe a method for interpreting abstract fiat syntactic representations, LFG fstructures, as underspecified semantic representations, here Underspecified Discourse Represent...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...