Sciweavers

    3255 search results - page 552 / 651
    » Combination of Abstractions in the ASTR
    Sort
    View
    ESOP
    2008
    Springer
    137views Programming Languages» more  ESOP 2008»
    Open Bisimulation for the Concurrent Constraint Pi-Calculus
    13 years 11 months ago
    Open Bisimulation for the Concurrent Constraint Pi-Calculus
    Download  rap.dsi.unifi.it
    Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
    Maria Grazia Buscemi, Ugo Montanari
    claim paper
    Read More »
    CRITIS
    2007
    144views Security Privacy» more  CRITIS 2007»
    Managing Critical Infrastructures through Virtual Network Communities
    13 years 11 months ago
    Managing Critical Infrastructures through Virtual Network Communities
    Download  www.di.unipi.it
    Abstract. Virtual Interacting Network CommunIty (Vinci) is an abstract architecture to share in a secure way an ICT infrastructure among several user communities, each with its own...
    Fabrizio Baiardi, Gaspare Sala, Daniele Sgandurra
    claim paper
    Read More »
    APVIS
    2008
    127views Information Technology» more  APVIS 2008»
    Dynamic Shader Generation for Flexible Multi-Volume Visualization
    13 years 11 months ago
    Dynamic Shader Generation for Flexible Multi-Volume Visualization
    Download  www.fg-medvis.de
    Volume rendering of multiple intersecting volumetric objects is a difficult visualization task, especially if different rendering styles need to be applied to the components, in o...
    Friedemann Rößler, Ralf P. Botchen, Tho...
    claim paper
    Read More »
    HCI
    2007
    154views Human Computer Interaction» more  HCI 2007»
    Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications
    13 years 11 months ago
    Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications
    Download  www.medien.ifi.lmu.de
    Abstract. The Multimedia Modeling Language (MML) is a platformindependent modeling language for model-driven development of interactive multimedia applications. Using models provid...
    Andreas Pleuß, Heinrich Hußmann
    claim paper
    Read More »
    DAIS
    2006
    135views Distributed And Parallel Com...» more  DAIS 2006»
    An Application Framework for Nomadic, Collaborative Applications
    13 years 11 months ago
    An Application Framework for Nomadic, Collaborative Applications
    Download  www.jaimz.org
    To maintain availability and responsiveness, mobile applications sharing data often work on their own copy and transmit local changes to other participants. Existing systems for re...
    James O'Brien, Marc Shapiro
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.