Sciweavers

    2145 search results - page 4 / 429
    » Architectural Specifications in CASL
    Sort
    View
    CLOSER
    2011
    45views more  CLOSER 2011»
    Specifying Services using the Service Oriented Architecture Modeling Language (SoaML) - A Baseline for Specification of Cloud-ba
    12 years 7 months ago
    Specifying Services using the Service Oriented Architecture Modeling Language (SoaML) - A Baseline for Specification of Cloud-ba
    Download  www.remics.eu
    Brian Elvesæter, Arne-Jørgen Berre, A...
    claim paper
    Read More »
    AMAST
    2010
    Springer
    246views Software Engineering» more  AMAST 2010»
    Integrating Maude into Hets
    13 years 2 months ago
    Integrating Maude into Hets
    Download  www.informatik.uni-bremen.de
    Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
    Mihai Codescu, Till Mossakowski, Adrián Rie...
    claim paper
    Read More »
    ACOM
    2004
    Springer
    100views Intelligent Agents» more  ACOM 2004»
    A Model of Rational Agency for Communicating Agents
    13 years 11 months ago
    A Model of Rational Agency for Communicating Agents
    Download  www.cse.yorku.ca
    The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
    Shakil M. Khan, Yves Lespérance
    claim paper
    Read More »
    IJSI
    2008
    126views more  IJSI 2008»
    Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks
    13 years 7 months ago
    Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks
    Download  www.ijsi.org
    In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...
    Hui Shi, Bernd Krieg-Brückner
    claim paper
    Read More »
    DAC
    2004
    ACM
    126views Computer Architecture» more  DAC 2004»
    Automatic generation of equivalent architecture model from functional specification
    14 years 27 days ago
    Automatic generation of equivalent architecture model from functional specification
    Download  www.cs.york.ac.uk
    Samar Abdi, Daniel Gajski
    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.