The SCEAS System
Navigation Menu

Conferences in DBLP

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (cassis)
2005 (conf/cassis/2005)

  1. Claudio Agostino Ardagna, Marco Cremonini, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati
    The Architecture of a Privacy-Aware Access Control Decision Component. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2005, pp:1-15 [Conf]
  2. David Aspinall, Kenneth Mackenzie
    Mobile Resource Guarantees and Policies. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2005, pp:16-36 [Conf]
  3. Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel
    Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2005, pp:37-56 [Conf]
  4. Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle
    Romization: Early Deployment and Customization of Java Systems for Constrained Devices. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2005, pp:57-76 [Conf]
  5. Christopher League, Stefan Monnier
    Typed Compilation Against Non-manifest Base Classes. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2005, pp:77-98 [Conf]
  6. Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk
    The Design of Application-Tailorable Operating System Product Lines. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2005, pp:99-117 [Conf]
  7. Ali Erdem Özcan, Sébastien Jean, Jean-Bernard Stefani
    Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2005, pp:118-137 [Conf]
  8. David Pichardie
    Modular Proof Principles for Parameterised Concretizations. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2005, pp:138-154 [Conf]
  9. Santiago Zanella Béguelin
    Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2005, pp:155-173 [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002