default search action

combined dblp search
author search
venue search
publication search

ask others

CASSIS 2005: Nice, France

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > CASSIS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cassis/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/2005
Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet:
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3956, Springer 2006, ISBN 3-540-33689-3
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/ArdagnaCDVS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/ArdagnaCDVS05
Claudio A. Ardagna, Marco Cremonini, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati:
The Architecture of a Privacy-Aware Access Control Decision Component. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/AspinallM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/AspinallM05
David Aspinall, Kenneth MacKenzie:
Mobile Resource Guarantees and Policies. 16-36
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/BonelliCM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/BonelliCM05
Eduardo Bonelli, Adriana B. Compagnoni, Ricardo H. Medel:
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. 37-56
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/CourbotGV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/CourbotGV05
Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle:
Romization: Early Deployment and Customization of Java Systems for Constrained Devices. 57-76
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/LeagueM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/LeagueM05
Christopher League, Stefan Monnier:
Typed Compilation Against Non-manifest Base Classes. 77-98
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/LohmannSS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/LohmannSS05
Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk:
The Design of Application-Tailorable Operating System Product Lines. 99-117
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/OzcanJS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/OzcanJS05
Ali Erdem Özcan, Sébastien Jean, Jean-Bernard Stefani:
Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach. 118-137
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/Pichardie05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/Pichardie05
David Pichardie:
Modular Proof Principles for Parameterised Concretizations. 138-154
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/Beguelin05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/Beguelin05
Santiago Zanella-Béguelin:
Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method. 155-173

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.