Sciweavers

    1216 search results - page 77 / 244
    » Modelling Safe Interface Interactions in Web Applications
    Sort
    View
    BMCBI
    2008
    134views more  BMCBI 2008»
    Prediction of protein-protein binding site by using core interface residue and support vector machine
    14 years 10 months ago
    Prediction of protein-protein binding site by using core interface residue and support vector machine
    Download  www.biomedcentral.com
    Background: The prediction of protein-protein binding site can provide structural annotation to the protein interaction data from proteomics studies. This is very important for th...
    Nan Li, Zhonghua Sun, Fan Jiang
    claim paper
    Read More »
    FORTE
    1996
    187views Formal Methods» more  FORTE 1996»
    Combined Application of SDL-92, OMT, MSC and TTCN
    14 years 11 months ago
    Combined Application of SDL-92, OMT, MSC and TTCN
    Download  paginas.fe.up.pt
    The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
    Eurico Inocêncio, Manuel Ricardo, Hitoshi Sa...
    claim paper
    Read More »
    WWW
    2008
    ACM
    141views Internet Technology» more  WWW 2008»
    Guanxi in the chinese web - a study of mutual linking
    15 years 10 months ago
    Guanxi in the chinese web - a study of mutual linking
    Download  www2008.org
    Guanxi is a type of dyadic social interaction based on feelings ("qing") and trust ("xin"). Long studied by scholars of Chinese origin, it has recently drawn t...
    Valerie King, Louis Lei Yu, Yan Zhuang
    claim paper
    Read More »
    DSVIS
    2005
    Springer
    137views Human Computer Interaction» more  DSVIS 2005»
    Towards Model Checking Stochastic Aspects of the thinkteam User Interface
    15 years 3 months ago
    Towards Model Checking Stochastic Aspects of the thinkteam User Interface
    Download  fmt.isti.cnr.it
    Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
    Maurice H. ter Beek, Mieke Massink, Diego Latella
    claim paper
    Read More »
    ENTCS
    2008
    97views more  ENTCS 2008»
    Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks
    14 years 8 months ago
    Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks
    Download  www.cs.kent.ac.uk
    Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
    Li Su, Howard Bowman, Philip Barnard
    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-2025, USA.