1153 search results - page 5 / 231 » Compositional Specification Calculus for Information Systems... |
114
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...
157
Voted
IFIPTCS
2010
15 years 1 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
113
Voted
APSEC
2008
IEEE
15 years 10 months ago
2008
IEEE
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...
116
click to vote
ITS
2010
Springer
15 years 8 months ago
2010
Springer
In a controlled experiment using Comrade, a computer-supported peer review system, student reviewers offered feedback to student authors on their written analyses of a problem scen...
122
Voted
ISORC
1998
IEEE
15 years 7 months ago
1998
IEEE
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...