Sciweavers

    10038 search results - page 366 / 2008
    » Model Checking for Managers
    Sort
    View
    IJIPM
    2010
    55views more  IJIPM 2010»
    A Model for Manageable Dependability of IT Services Associated with Social and Economic Infrastructure
    15 years 4 months ago
    A Model for Manageable Dependability of IT Services Associated with Social and Economic Infrastructure
    Download  www.humanpub.org
    Hiroshi Ohtaka, Koichiro Oshika, Masashi Gotou, Ts...
    claim paper
    Read More »
    VLSISP
    2011
    223views Database» more  VLSISP 2011»
    Signal Assignment Model for the Memory Management of Multidimensional Signal Processing Applications
    15 years 1 months ago
    Signal Assignment Model for the Memory Management of Multidimensional Signal Processing Applications
    Download  www.suu.edu
    Florin Balasa, Ilie I. Luican, Hongwei Zhu, Doru V...
    claim paper
    Read More »
    JKM
    2010
    143views more  JKM 2010»
    Defining a knowledge management conceptual model by using MADM
    15 years 1 months ago
    Defining a knowledge management conceptual model by using MADM
    Download  ishm2.um.ac.ir
    Mostafa Kazemi, Maral Zafar Allahyari
    claim paper
    Read More »
    IAT
    2009
    IEEE
    118views Intelligent Agents» more  IAT 2009»
    How Do Agents Comply with Norms?
    16 years 1 months ago
    How Do Agents Comply with Norms?
    Download  www.governatori.net
    —The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
    Guido Governatori, Antonino Rotolo
    claim paper
    Read More »
    APLAS
    2005
    ACM
    116views Programming Languages» more  APLAS 2005»
    Symbolic Execution with Separation Logic
    16 years 10 days ago
    Symbolic Execution with Separation Logic
    Download  research.microsoft.com
    We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...
    Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
    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.