-
1
-
-
33751063543
-
Privacy and contextual integrity: Framework and applications
-
A. Barth, A. Datta, J. Mitchell, and H. Nissenbaum, "Privacy and contextual integrity: framework and applications," in Security and Privacy, 2006 IEEE Symposium on, may 2006, pp. 15 pp. -198.
-
Security and Privacy, 2006 IEEE Symposium on, May 2006
-
-
Barth, A.1
Datta, A.2
Mitchell, J.3
Nissenbaum, H.4
-
3
-
-
84891093560
-
An experiment to compare the comprehensibility of textual and visual forms of algebraic specifications
-
D. Neary and M. R. Woodward, "An experiment to compare the comprehensibility of textual and visual forms of algebraic specifications." J. Vis. Lang. Comput.
-
J. Vis. Lang. Comput.
-
-
Neary, D.1
Woodward, M.R.2
-
4
-
-
0029327901
-
Why looking isn't always seeing: Readership skills and graphical programming
-
June [Online]. Available
-
M. Petre, "Why looking isn't always seeing: readership skills and graphical programming," Commun. ACM, vol. 38, pp. 33-44, June 1995. [Online]. Available: http://doi.acm.org/10.1145/203241.203251
-
(1995)
Commun. ACM
, vol.38
, pp. 33-44
-
-
Petre, M.1
-
5
-
-
82855181169
-
Deriving sound inference rules for concept diagrams
-
IEEE
-
P. Chapman, G. Stapleton, J. Howse, and I. Oliver, "Deriving sound inference rules for concept diagrams," in IEEE Symposium on Visual Languages and Human-Centric Computing. IEEE, 2011.
-
(2011)
IEEE Symposium on Visual Languages and Human-Centric Computing
-
-
Chapman, P.1
Stapleton, G.2
Howse, J.3
Oliver, I.4
-
6
-
-
80055027567
-
Visualising and specifying ontologies using diagrammatic logics
-
CRPIT
-
I. Oliver, J. Howse, G. Stapleton, E. Nuutila, and S. Torma, "Visualising and specifying ontologies using diagrammatic logics," in 5thAustralasian Ontologies Workshop, vol. 112. CRPIT, 2009, pp. 87- 104.
-
(2009)
5thAustralasian Ontologies Workshop
, vol.112
, pp. 87-104
-
-
Oliver, I.1
Howse, J.2
Stapleton, G.3
Nuutila, E.4
Torma, S.5
-
7
-
-
80055037399
-
Visualizing ontologies: A case study
-
Springer
-
J. Howse, G. Stapleton, K. Taylor, and P. Chapman, "Visualizing ontologies: A case study," in International Semantic Web Conference 2011. Springer, 2011.
-
(2011)
International Semantic Web Conference 2011
-
-
Howse, J.1
Stapleton, G.2
Taylor, K.3
Chapman, P.4
-
8
-
-
34547720006
-
The new casper: Query processing for location services without compromising privacy
-
Proceedings of the 32nd international conference on Very largedata bases, ser. VLDB Endowment, [Online]. Available
-
M. F. Mokbel, C.-Y. Chow, and W. G. Aref, "The new casper: query processing for location services without compromising privacy," in Proceedings of the 32nd international conference on Very largedata bases, ser. VLDB '06. VLDB Endowment, 2006, pp. 763-774. [Online]. Available: http://dl.acm.org/citation.cfm?id=1182635.1164193
-
(2006)
VLDB '06
, pp. 763-774
-
-
Mokbel, M.F.1
Chow, C.-Y.2
Aref, W.G.3
-
11
-
-
72049116531
-
Diagrammatic formal specification of a configuration control platform
-
ENTCS
-
J. Howse, S. Schuman, G. Stapleton, and I. Oliver, "Diagrammatic formal specification of a configuration control platform," in 2009 Refinement Workshop. ENTCS, 2009, pp. 87-104.
-
(2009)
2009 Refinement Workshop
, pp. 87-104
-
-
Howse, J.1
Schuman, S.2
Stapleton, G.3
Oliver, I.4
-
13
-
-
84856043672
-
A mathematical theory of communication
-
C.E.Shannon, "A mathematical theory of communication," Bell System Technical Journal, vol. 27, pp. 379-423, 1948.
-
(1948)
Bell System Technical Journal
, vol.27
, pp. 379-423
-
-
Shannon, C.E.1
-
14
-
-
78249264133
-
Distance makes the types grow stronger: A calculus for differential privacy
-
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ser. New York, NY, USA: ACM, [Online]. Available
-
J. Reed and B. C. Pierce, "Distance makes the types grow stronger: a calculus for differential privacy," in Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ser. ICFP '10. New York, NY, USA: ACM, 2010, pp. 157-168. [Online]. Available: http://doi.acm.org/10. 1145/1863543.1863568
-
(2010)
ICFP '10
, pp. 157-168
-
-
Reed, J.1
Pierce, B.C.2
|