Sciweavers

    29172 search results - page 421 / 5835
    » Modeling Systems in CLP
    Sort
    View
    AOSE
    2006
    Springer
    92views Intelligent Agents» more  AOSE 2006»
    Modeling Mental States in the Analysis of Multiagent Systems Requirements
    15 years 10 months ago
    Modeling Mental States in the Analysis of Multiagent Systems Requirements
    Download  www.cs.toronto.edu
    Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
    Alexei Lapouchnian, Yves Lespérance
    claim paper
    Read More »
    BIRTHDAY
    2004
    Springer
    109views Applied Computing» more  BIRTHDAY 2004»
    On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations
    15 years 10 months ago
    On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations
    Download  www.comlab.ox.ac.uk
    Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
    Ranko Lazic, Thomas Christopher Newcomb, A. W. Ros...
    claim paper
    Read More »
    ASWSD
    2006
    Springer
    259views Software Engineering» more  ASWSD 2006»
    A Software and System Modeling Facility for Vehicle Environment Interactions
    15 years 10 months ago
    A Software and System Modeling Facility for Vehicle Environment Interactions
    Download  aswsd.ucsd.edu
    Edward Nelson, Henry Huang
    claim paper
    Read More »
    ASWSD
    2006
    Springer
    248views Software Engineering» more  ASWSD 2006»
    Towards Model-Driven Development of Hard Real-Time Systems
    15 years 10 months ago
    Towards Model-Driven Development of Hard Real-Time Systems
    Download  aswsd.ucsd.edu
    Christian Ferdinand, Reinhold Heckmann, Hans-J&oum...
    claim paper
    Read More »
    ATVA
    2006
    Springer
    83views Hardware» more  ATVA 2006»
    Towards a Model-Checker for Counter Systems
    15 years 10 months ago
    Towards a Model-Checker for Counter Systems
    Download  www.lsv.ens-cachan.fr
    Stéphane Demri, Alain Finkel, Valentin Gora...
    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.