Sciweavers

    5 search results - page 1 / 1
    » On the Use of Real-Time Maude for Architecture Description a...
    Sort
    View
    BCS
    2008
    113views Computer Science» more  BCS 2008»
    On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study
    13 years 6 months ago
    On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study
    Download  www.bcs.org
    Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi
    claim paper
    Read More »
    JOT
    2007
    169views more  JOT 2007»
    Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
    13 years 4 months ago
    Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
    Download  www.jot.fm
    Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
    Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda ...
    claim paper
    Read More »
    JUCS
    2010
    162views more  JUCS 2010»
    UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
    12 years 11 months ago
    UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
    Download  www.jucs.org
    Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
    Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Le...
    claim paper
    Read More »
    SOSE
    2008
    IEEE
    110views Internet Technology» more  SOSE 2008»
    Precise Steps for Choreography Modeling for SOA Validation and Verification
    13 years 11 months ago
    Precise Steps for Choreography Modeling for SOA Validation and Verification
    Download  www.vide-ist.eu
    Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
    Sebastian Wieczorek, Andreas Roth, Alin Stefanescu...
    claim paper
    Read More »
    ICSEA
    2007
    IEEE
    178views Software Engineering» more  ICSEA 2007»
    An Access Control Metamodel for Web Service-Oriented Architecture
    13 years 11 months ago
    An Access Control Metamodel for Web Service-Oriented Architecture
    Download  www.cm-tm.uka.de
    — With the mutual consent to use WSDL (Web Service Description Language) to describe web service interfaces and SOAP as the basic communication protocol, the cornerstone for web ...
    Christian Emig, Frank Brandt, Sebastian Abeck, J&u...
    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.