Result 1 to 20 of 168 total
Performance and productivity of new programming languages. (English)
Keller, Rainer (ed.) et al., Facing the multicore-challenge II. Aspects of new paradigms and technologies in parallel computing. Berlin: Springer (ISBN 978-3-642-30396-8/pbk). Lecture Notes in Computer Science 7174, 24-35 (2012).
1
Linear-use CPS translations in the enriched effect calculus. (English)
Log. Methods Comput. Sci. 8, No. 4, Paper No. 2, 27 p. (2012).
2
Constructive toposes with countable sums as models of constructive set theory. (English)
Ann. Pure Appl. Logic 163, No. 10, 1419-1436 (2012).
3
Sequent calculi for induction and infinite descent. (English)
J. Log. Comput. 21, No. 6, 1177-1216 (2011).
4
Conformance checking of dynamic access control policies. (English)
Qin, Shengchao (ed.) et al., Formal methods and software engineering. 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24558-9/pbk). Lecture Notes in Computer Science 6991, 227-242 (2011).
5
Automatic conformance checking of role-based access control policies via Alloy. (English)
Erlingsson, Úlfar (ed.) et al., Engineering secure software and systems. Third international symposium, ESSoS 2011, Madrid, Spain, February 9‒10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19124-4/pbk). Lecture Notes in Computer Science 6542, 15-28 (2011).
6
Conformance checking of dynamic access control policies (English)
ICFEM, 227-242 (2011).
7
Automatic conformance checking of role-based access control policies via alloy (English)
ESSoS, 15-28 (2011).
8
GIMI: the past, the present and the future. (English)
Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 368, No. 1925, 3891-3905 (2010).
9
On the secure sharing and aggregation of data to support systems biology research. (English)
Lambrix, Patrick (ed.) et al., Data integration in the life sciences. 7th international conference, DILS 2010, Gothenburg, Sweden, August 25‒27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15119-4/pbk). Lecture Notes in Computer Science 6254. Lecture Notes in Bioinformatics, 58-73 (2010).
10
Linearly-used continuations in the enriched effect calculus. (English)
Ong, Luke (ed.), Foundations of software science and computational structures. 13th international conference, FOSSACS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12031-2/pbk). Lecture Notes in Computer Science 6014, 18-32 (2010).
11
On the modelling and analysis of Amazon web services access policies. (English)
Frappier, Marc (ed.) et al., Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11810-4/pbk). Lecture Notes in Computer Science 5977, 394 (2010).
12
Towards formally templated relational database representations in Z. (English)
Frappier, Marc (ed.) et al., Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11810-4/pbk). Lecture Notes in Computer Science 5977, 363-376 (2010).
13
Formalising and validating RBAC-to-XACML translation using lightweight formal methods. (English)
Frappier, Marc (ed.) et al., Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11810-4/pbk). Lecture Notes in Computer Science 5977, 349-362 (2010).
14
A generic operational metatheory for algebraic effects (English)
LICS, 209-218 (2010).
15
On the secure sharing and aggregation of data to support systems biology research (English)
DILS, 58-73 (2010).
16
Linearly-used continuations in the enriched effect calculus (English)
FOSSACS, 18-32 (2010).
17
Formalising and validating RBAC-to-XACML translation using lightweight formal methods (English)
ASM, 349-362 (2010).
18
On the modelling and analysis of amazon web services access policies (English)
ASM, 394 (2010).
19
Towards formally templated relational database representations in Z (English)
ASM, 363-376 (2010).
20
Result 1 to 20 of 168 total
Start
Contact
Print
General Help
