Sciweavers

    3384 search results - page 524 / 677
    » More Testable Properties
    Sort
    View
    ENASE
    2009
    131views Hardware» more  ENASE 2009»
    Flexible Composites and Automatic Component Selection for Service-Based Applications
    13 years 8 months ago
    Flexible Composites and Automatic Component Selection for Service-Based Applications
    Download  www-adele.imag.fr
    In traditional Software Engineering approaches, an application is described as a composite entity containing all its components. This approach is no longer relevant in modern Softw...
    Jacky Estublier, Idrissa A. Dieng, Eric Simon, Ger...
    claim paper
    Read More »
    FORTE
    2009
    110views Formal Methods» more  FORTE 2009»
    Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
    13 years 8 months ago
    Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
    Download  www.inf.usi.ch
    Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
    Luciano Baresi, Domenico Bianculli, Sam Guinea, Pa...
    claim paper
    Read More »
    ICC
    2009
    IEEE
    139views Communications» more  ICC 2009»
    Non Disruptive Data Services Towards Real-Time Traffic in Wireless Ad Hoc Networks
    13 years 8 months ago
    Non Disruptive Data Services Towards Real-Time Traffic in Wireless Ad Hoc Networks
    Download  jeremie.leguay.free.fr
    Abstract--Mobile wireless Ad hoc NETworks (MANETs) naturally support a traffic mix of elastic and real-time flows but the shared nature and lossy properties of the radio medium mak...
    Jeremie Leguay, Hicham Khalife, Georgios Sotiropou...
    claim paper
    Read More »
    ICC
    2009
    IEEE
    116views Communications» more  ICC 2009»
    Efficient Implementation of Binary Sequence Generator for WiMAX and WRAN on Programmable Digital Signal Processor
    13 years 8 months ago
    Efficient Implementation of Binary Sequence Generator for WiMAX and WRAN on Programmable Digital Signal Processor
    Download  www.comsoc.org
    In this paper, an efficient design for implementing binary sequence generator on 32-bit instruction execution mode TI TMS320C6416 DSP is presented. The main goal is to achieve high...
    Lok Tiing Tie, Ser Wah Oh, K. J. M. Kua
    claim paper
    Read More »
    ICITS
    2009
    75views Security Privacy» more  ICITS 2009»
    Free-Start Distinguishing: Combining Two Types of Indistinguishability Amplification
    13 years 8 months ago
    Free-Start Distinguishing: Combining Two Types of Indistinguishability Amplification
    Download  ftp.inf.ethz.ch
    Abstract. The term indistinguishability amplification refers to a setting where a certain construction combines two (or more) cryptographic primitives of the same type to improve t...
    Peter Gazi, Ueli Maurer
    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.