Abstract is missing.
- The Architecture of a Privacy-Aware Access Control Decision ComponentClaudio Agostino Ardagna, Marco Cremonini, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati. 1-15 [doi]
- Mobile Resource Guarantees and PoliciesDavid Aspinall, Kenneth Mackenzie. 16-36 [doi]
- Information Flow Analysis for a Typed Assembly Language with Polymorphic StacksEduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel. 37-56 [doi]
- Romization: Early Deployment and Customization of Java Systems for Constrained DevicesAlexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle. 57-76 [doi]
- Typed Compilation Against Non-manifest Base ClassesChristopher League, Stefan Monnier. 77-98 [doi]
- The Design of Application-Tailorable Operating System Product LinesDaniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk. 99-117 [doi]
- Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based ApproachAli Erdem Özcan, Sébastien Jean, Jean-Bernard Stefani. 118-137 [doi]
- Modular Proof Principles for Parameterised ConcretizationsDavid Pichardie. 138-154 [doi]
- Formalisation and Verification of the GlobalPlatform Card Specification Using the B MethodSantiago Zanella Béguelin. 155-173 [doi]