Sciweavers

    5630 search results - page 25 / 1126
    » Computability in Specification
    Sort
    View
    115
    Voted
    EDOC
    2006
    IEEE
    87views Distributed And Parallel Com...» more  EDOC 2006»
    Using Model-Driven Engineering to generate QoS Monitors from a formal specification
    15 years 8 months ago
    Using Model-Driven Engineering to generate QoS Monitors from a formal specification
    Download  www.irisa.fr
    Sébastien Saudrais, Olivier Barais, Laurenc...
    claim paper
    Read More »
    98
    Voted
    DSVIS
    2003
    Springer
    101views Human Computer Interaction» more  DSVIS 2003»
    Specification-Based Testing of User Interfaces
    15 years 7 months ago
    Specification-Based Testing of User Interfaces
    Download  paginas.fe.up.pt
    Ana Paiva, João C. P. Faria, Raul F. A. M. ...
    claim paper
    Read More »
    71
    Voted
    DAC
    2004
    ACM
    81views Computer Architecture» more  DAC 2004»
    FITS: framework-based instruction-set tuning synthesis for embedded application specific processors
    16 years 3 months ago
    FITS: framework-based instruction-set tuning synthesis for embedded application specific processors
    Download  www.eecs.umich.edu
    Allen C. Cheng, Gary S. Tyson, Trevor N. Mudge
    claim paper
    Read More »
    ICEBE
    2005
    IEEE
    165views Business» more  ICEBE 2005»
    Distributed Policy Specification and Enforcement in Service-Oriented Business Systems
    15 years 8 months ago
    Distributed Policy Specification and Enforcement in Service-Oriented Business Systems
    Download  asusrl.eas.asu.edu
    Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...
    Wei-Tek Tsai, Xinxin Liu, Yinong Chen
    claim paper
    Read More »
    103
    Voted
    PDP
    1996
    IEEE
    116views Distributed And Parallel Com...» more  PDP 1996»
    Using ITL and Tempura for Large-Scale Specification and Simulation
    15 years 6 months ago
    Using ITL and Tempura for Large-Scale Specification and Simulation
    Download  www.cse.dmu.ac.uk
    Contents Home Page Go Back Close Quit Using ITL and Tempura for Large Scale Specification and Simulation A. Cau, H. Zedan, N. Coleman and B. Moszkowski
    Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. M...
    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-2026, USA.