Sciweavers

    9518 search results - page 152 / 1904
    » On Mobility of Software Processes
    Sort
    View
    ICDCSW
    2000
    IEEE
    85views Computer Networks» more  ICDCSW 2000»
    Secure Information Flow in Mobile Bootstrapping Process
    15 years 8 months ago
    Secure Information Flow in Mobile Bootstrapping Process
    Download  historical.ncstrl.org
    Zhaoyu Liu, M. Dennis Mickunas, Roy H. Campbell
    claim paper
    Read More »
    CAV
    2008
    Springer
    130views Hardware» more  CAV 2008»
    A Hybrid Type System for Lock-Freedom of Mobile Processes
    15 years 6 months ago
    A Hybrid Type System for Lock-Freedom of Mobile Processes
    Download  pages.cs.wisc.edu
    We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
    Naoki Kobayashi, Davide Sangiorgi
    claim paper
    Read More »
    115
    Voted
    DAGSTUHL
    2004
    123views Software Engineering» more  DAGSTUHL 2004»
    04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems
    15 years 6 months ago
    04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems
    Download  drops.dagstuhl.de
    Barbara König, Ugo Montanari, Philippa Gardne...
    claim paper
    Read More »
    IFIP8
    2004
    64views Information Technology» more  IFIP8 2004»
    Mobile Process Support Systems - Experiences from a case study
    15 years 6 months ago
    Mobile Process Support Systems - Experiences from a case study
    Download  www.idi.ntnu.no
    Børge Haugset
    claim paper
    Read More »
    PROCOMET
    1998
    113views Programming Languages» more  PROCOMET 1998»
    Imperative objects and mobile processes
    15 years 5 months ago
    Imperative objects and mobile processes
    Download  www.brics.dk
    Josva Kleist, Davide Sangiorgi
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.