Sciweavers

    366 search results - page 64 / 74
    » Synthesis: Words and Traces
    Sort
    View
    JLP
    2010
    85views more  JLP 2010»
    Synchronous Kleene algebra
    13 years 2 months ago
    Synchronous Kleene algebra
    Download  folk.uio.no
    The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
    Cristian Prisacariu
    claim paper
    Read More »
    JUCS
    2010
    134views more  JUCS 2010»
    Systematic Management of Variability in UML-based Software Product Lines
    13 years 2 months ago
    Systematic Management of Variability in UML-based Software Product Lines
    Download  www.jucs.org
    Abstract: This paper presents SMarty, a variability management approach for UMLbased software product lines (PL). SMarty is supported by a UML profile, the SMartyProfile, and a pro...
    Edson Alves de Oliveira Junior, Itana Maria de Sou...
    claim paper
    Read More »
    MOC
    2010
    153views Security Privacy» more  MOC 2010»
    A direct coupling of local discontinuous Galerkin and boundary element methods
    13 years 2 months ago
    A direct coupling of local discontinuous Galerkin and boundary element methods
    Download  www.mat.puc.cl
    The coupling of local discontinuous Galerkin (LDG) and boundary element methods (BEM), which has been developed recently to solve linear and nonlinear exterior transmission proble...
    Gabriel N. Gatica, Norbert Heuer, Francisco-Javier...
    claim paper
    Read More »
    SCP
    2010
    174views more  SCP 2010»
    Aspects of availability: Enforcing timed properties to prevent denial of service
    13 years 2 months ago
    Aspects of availability: Enforcing timed properties to prevent denial of service
    Download  pop-art.inrialpes.fr
    We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the ...
    Pascal Fradet, Stéphane Hong Tuan Ha
    claim paper
    Read More »
    EMMCVPR
    2007
    Springer
    201views Computer Vision» more  EMMCVPR 2007»
    Bayesian Inference for Layer Representation with Mixed Markov Random Field
    14 years 1 months ago
    Bayesian Inference for Layer Representation with Mixed Markov Random Field
    Download  www.stat.ucla.edu
    Abstract. This paper presents a Bayesian inference algorithm for image layer representation [26], 2.1D sketch [6], with mixed Markov random field. 2.1D sketch is an very important...
    Ru-Xin Gao, Tianfu Wu, Song Chun Zhu, Nong Sang
    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.