Sciweavers

    261 search results - page 2 / 53
    » Application domain independent policy conflict analysis usin...
    Sort
    View
    FIW
    2007
    133views Communications» more  FIW 2007»
    Conflict Detection in Call Control Using First-Order Logic Model Checking
    13 years 6 months ago
    Conflict Detection in Call Control Using First-Order Logic Model Checking
    Download  www.site.uottawa.ca
    Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
    Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...
    claim paper
    Read More »
    ASWEC
    2009
    IEEE
    150views Software Engineering» more  ASWEC 2009»
    Change Propagation Analysis Using Domain Information
    13 years 11 months ago
    Change Propagation Analysis Using Domain Information
    Download  goanna.cs.rmit.edu.au
    We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
    Amir Aryani, Ian D. Peake, Margaret Hamilton, Hein...
    claim paper
    Read More »
    IPPS
    1998
    IEEE
    148views Distributed And Parallel Com...» more  IPPS 1998»
    Configuration Independent Analysis for Characterizing Shared-Memory Applications
    13 years 9 months ago
    Configuration Independent Analysis for Characterizing Shared-Memory Applications
    Download  www.eecs.umich.edu
    Characterizing shared-memory applications provides insight to design efficient systems, and provides awareness to identify and correct application performance bottlenecks. Configu...
    Gheith A. Abandah, Edward S. Davidson
    claim paper
    Read More »
    ECEASST
    2008
    110views more  ECEASST 2008»
    Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
    13 years 4 months ago
    Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
    Download  tfs.cs.tu-berlin.de
    : The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
    Enrico Biermann, Tony Modica
    claim paper
    Read More »
    ISIM
    2007
    142views Information Technology» more  ISIM 2007»
    Formal Computation Independent Model of the Problem Domain within the MDA
    13 years 6 months ago
    Formal Computation Independent Model of the Problem Domain within the MDA
    Download  sunsite.informatik.rwth-aachen.de
    The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
    Janis Osis, Erika Asnina, Andrejs Grave
    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.