Sciweavers

    2024 search results - page 23 / 405
    » A Formal Model of Multi-agent Computations
    Sort
    View
    DEON
    2008
    Springer
    109views Automated Reasoning» more  DEON 2008»
    Trust and Norms in the Context of Computer Security: A Logical Formalization
    13 years 9 months ago
    Trust and Norms in the Context of Computer Security: A Logical Formalization
    Download  www.irit.fr
    Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
    Emiliano Lorini, Robert Demolombe
    claim paper
    Read More »
    SAC
    1997
    ACM
    109views Applied Computing» more  SAC 1997»
    A formal model for the discrete representation of spatial objects
    13 years 11 months ago
    A formal model for the discrete representation of spatial objects
    Download  www.mat.uniroma2.it
    Francesca Coppa, Enrico Nardelli, Maurizio Talamo
    claim paper
    Read More »
    GI
    2010
    Springer
    107views Theoretical Computer Science» more  GI 2010»
    Formalizing Dependencies in Business Process Models Using Constraint Satisfaction
    13 years 6 months ago
    Formalizing Dependencies in Business Process Models Using Constraint Satisfaction
    Download  www.inf.uos.de
    Wolfgang Runte
    claim paper
    Read More »
    ACL
    2010
    137views Computational Linguistics» more  ACL 2010»
    The Use of Formal Language Models in the Typology of the Morphology of Amerindian Languages
    13 years 5 months ago
    The Use of Formal Language Models in the Typology of the Morphology of Amerindian Languages
    Download  aclweb.org
    Andres Osvaldo Porta
    claim paper
    Read More »
    DSVIS
    1998
    Springer
    210views Human Computer Interaction» more  DSVIS 1998»
    Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
    13 years 11 months ago
    Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
    Download  ftp.inrialpes.fr
    Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
    Meurig Sage, Chris Johnson
    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.