Sciweavers

    1809 search results - page 284 / 362
    » A Formal Specification of dMARS
    Sort
    View
    SPLC
    2008
    196views Software Engineering» more  SPLC 2008»
    Calculating and Modeling Common Parts of Software Product Lines
    13 years 11 months ago
    Calculating and Modeling Common Parts of Software Product Lines
    Download  www4.in.tum.de
    This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
    Alexander Gruler, Martin Leucker, Kathrin D. Schei...
    claim paper
    Read More »
    ACST
    2006
    246views Computer Science» more  ACST 2006»
    Experimental study of hybrid-type distributed maximal constraint satisfaction algorithm
    13 years 11 months ago
    Experimental study of hybrid-type distributed maximal constraint satisfaction algorithm
    Download  kussharo.complex.eng.hokudai.ac.jp
    A constraint satisfaction problem (CSP) is a general framework that can formalize various application problems in artificial intelligence. However, practical real-world problems t...
    Masato Noto, Masahito Kurihara
    claim paper
    Read More »
    DAGSTUHL
    2004
    171views Software Engineering» more  DAGSTUHL 2004»
    Adaptive Rich Media Presentations via Preference-Based Constrained Optimization
    13 years 11 months ago
    Adaptive Rich Media Presentations via Preference-Based Constrained Optimization
    Download  www.cs.bgu.ac.il
    Personalization and adaptation of multi-media messages are well known and well studied problems. Ideally, each message should reflect its recipient's interests, device capabi...
    Ronen I. Brafman, Doron A. Friedman
    claim paper
    Read More »
    CSREAEEE
    2006
    129views Business» more  CSREAEEE 2006»
    Computer Science Exercises in a Virtual University
    13 years 11 months ago
    Computer Science Exercises in a Virtual University
    Download  ww1.ucmss.com
    Abstract--In distance teaching, direct feedback to the students is difficult to give, but crucial for their learning success. The system Asterix was developed in order to support t...
    Manfred Widera, Barbara Messing, Gabriele Kern-Isb...
    claim paper
    Read More »
    IASTEDSE
    2004
    74views Software Engineering» more  IASTEDSE 2004»
    Using application domain ontology to construct an initial system model
    13 years 11 months ago
    Using application domain ontology to construct an initial system model
    Download  www4.in.tum.de
    This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...
    Leonid Kof
    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.