Sciweavers

    98 search results - page 15 / 20
    » A semantics for procedure local heaps and its abstractions
    Sort
    View
    DAIS
    2006
    135views Distributed And Parallel Com...» more  DAIS 2006»
    An Application Framework for Nomadic, Collaborative Applications
    13 years 9 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 »
    DATESO
    2006
    106views Database» more  DATESO 2006»
    GeKon - Applying Novel Approaches to GIS Development
    13 years 9 months ago
    GeKon - Applying Novel Approaches to GIS Development
    Download  sunsite.informatik.rwth-aachen.de
    Abstract. This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is ...
    Tomas Richta
    claim paper
    Read More »
    BNCOD
    2008
    143views Database» more  BNCOD 2008»
    Reconciling Inconsistent Data in Probabilistic XML Data Integration
    13 years 9 months ago
    Reconciling Inconsistent Data in Probabilistic XML Data Integration
    Download  www.staff.amu.edu.pl
    Abstract. The problem of dealing with inconsistent data while integrating XML data from different sources is an important task, necessary to improve data integration quality. Typic...
    Tadeusz Pankowski
    claim paper
    Read More »
    PLDI
    2006
    ACM
    114views Programming Languages» more  PLDI 2006»
    Context-sensitive domain-independent algorithm composition and selection
    14 years 1 months ago
    Context-sensitive domain-independent algorithm composition and selection
    Download  www.ecn.purdue.edu
    Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
    Troy A. Johnson, Rudolf Eigenmann
    claim paper
    Read More »
    APN
    2008
    Springer
    165views Artificial Intelligence» more  APN 2008»
    Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
    13 years 9 months ago
    Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
    Download  lacl.univ-paris12.fr
    Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
    Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
    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.