Sciweavers

    5634 search results - page 18 / 1127
    » About Abstract Classes
    Sort
    View
    APLAS
    2006
    ACM
    117views Programming Languages» more  APLAS 2006»
    Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy
    15 years 4 months ago
    Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy
    Download  www.ict.swin.edu.au
    Abstract. Class extensions provide a fine-grained mechanism to define incremental modifications to class-based systems when standard subclassing mechanisms are inappropriate. To...
    Markus Lumpe
    claim paper
    Read More »
    ITP
    2010
    165views Mathematics» more  ITP 2010»
    A Mechanized Translation from Higher-Order Logic to Set Theory
    15 years 2 months ago
    A Mechanized Translation from Higher-Order Logic to Set Theory
    Download  www4.in.tum.de
    Abstract. In order to make existing formalizations available for settheoretic developments, we present an automated translation of theories from Isabelle/HOL to Isabelle/ZF. This c...
    Alexander Krauss, Andreas Schropp
    claim paper
    Read More »
    JAIR
    1998
    163views more  JAIR 1998»
    A Temporal Description Logic for Reasoning about Actions and Plans
    14 years 10 months ago
    A Temporal Description Logic for Reasoning about Actions and Plans
    Download  www.jair.org
    A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
    Alessandro Artale, Enrico Franconi
    claim paper
    Read More »
    JOT
    2010
    137views more  JOT 2010»
    Computational Abstraction Steps
    14 years 9 months ago
    Computational Abstraction Steps
    Download  www.jot.fm
    ional Abstraction Steps Lone Leth Thomsena Bent Thomsena Kurt Nørmarka a. Department of Computer Science, Aalborg University, Denmark In this paper we discuss computational abstra...
    Lone Leth Thomsen, Bent Thomsen, Kurt Nørma...
    claim paper
    Read More »
    CSFW
    2005
    IEEE
    136views Security Privacy» more  CSFW 2005»
    An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
    15 years 4 months ago
    An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
    Download  www.qatar.cmu.edu
    Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
    Iliano Cervesato, Catherine Meadows, Dusko Pavlovi...
    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.