Sciweavers

    31387 search results - page 437 / 6278
    » Abstracts
    Sort
    View
    SOFSEM
    2010
    Springer
    111views Theoretical Computer Science» more  SOFSEM 2010»
    Forcing Monotonicity in Parameterized Verification: From Multisets to Words
    15 years 5 months ago
    Forcing Monotonicity in Parameterized Verification: From Multisets to Words
    Download  user.it.uu.se
    We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
    Parosh Aziz Abdulla
    claim paper
    Read More »
    SRDS
    2010
    IEEE
    133views Operating System» more  SRDS 2010»
    PrEServD - Privacy Ensured Service Discovery in Mobile Peer-to-Peer Networks
    15 years 5 months ago
    PrEServD - Privacy Ensured Service Discovery in Mobile Peer-to-Peer Networks
    Download  www.scs.ryerson.ca
    lick on the link below to access the abstract:
    Santhosh Muthyapu, Sanjay Kumar Madria, Mark Linde...
    claim paper
    Read More »
    SUTC
    2010
    IEEE
    142views Sensor Networks» more  SUTC 2010»
    Indirect Reference: Reconfiguring Distributed Sensors and Actuators
    15 years 5 months ago
    Indirect Reference: Reconfiguring Distributed Sensors and Actuators
    Download  aass.oru.se
    Abstract--Many sensor networks have lately included actua
    Md. Jayedur Rashid, Mathias Broxvall
    claim paper
    Read More »
    DFN
    2009
    117views Computer Science» more  DFN 2009»
    Virtualisierungstechnologien in Grid Rechenzentren
    15 years 5 months ago
    Virtualisierungstechnologien in Grid Rechenzentren
    Download  www.dfn.de
    Abstract: Kommerzielle und auch akademische Rechenzentren stehen vor der Einf
    Stefan Freitag
    claim paper
    Read More »
    DLOG
    2009
    106views Automated Reasoning» more  DLOG 2009»
    OntoComP System Description
    15 years 5 months ago
    OntoComP System Description
    Download  lat.inf.tu-dresden.de
    Abstract. We describe OntoComP, a Prot
    Baris Sertkaya
    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.