Sciweavers

    828 search results - page 158 / 166
    » Modularity for Timed and Hybrid Systems
    Sort
    View
    KR
    2010
    Springer
    232views Automated Reasoning» more  KR 2010»
    Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
    14 years 9 days ago
    Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
    Download  www.aifb.kit.edu
    Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneficial trade-off between expressive power and computational complexity and, more spec...
    Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
    claim paper
    Read More »
    ELPUB
    1998
    ACM
    97views Information Technology» more  ELPUB 1998»
    The Library in the Card: Results from Decomate Project and Current Developments at UAB
    13 years 11 months ago
    The Library in the Card: Results from Decomate Project and Current Developments at UAB
    Download  elpub.scix.net
    The Library in the card is the slogan which would summarize the aims of the Univeritat Autonoma de Barcelona (UAB) Library Service in its involvement in several EC Libraries Progr...
    Nuria Gallart
    claim paper
    Read More »
    POS
    1994
    Springer
    120views Programming Languages» more  POS 1994»
    Expressing Object Residency Optimizations Using Pointer Type Annotations
    13 years 11 months ago
    Expressing Object Residency Optimizations Using Pointer Type Annotations
    Download  www.cs.purdue.edu
    We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
    J. Eliot B. Moss, Antony L. Hosking
    claim paper
    Read More »
    SPRINGSIM
    2007
    136views Modeling And Simulation» more  SPRINGSIM 2007»
    An architecture for wireless simulation in NS-2 applied to impulse-radio ultra-wide band networks
    13 years 8 months ago
    An architecture for wireless simulation in NS-2 applied to impulse-radio ultra-wide band networks
    Download  infoscience.epfl.ch
    We present an architecture for implementing a wireless physical layer in a packet-based network simulator. We integrate this architecture in the popular ns-2 network simulator and...
    Ruben Merz, Jean-Yves Le Boudec, Jörg Widmer
    claim paper
    Read More »
    CEE
    2007
    110views more  CEE 2007»
    HW/SW co-design for public-key cryptosystems on the 8051 micro-controller
    13 years 7 months ago
    HW/SW co-design for public-key cryptosystems on the 8051 micro-controller
    Download  www.cosic.esat.kuleuven.be
    It is a challenge to implement large word length public-key algorithms on embedded systems. Examples are smartcards, RF-ID tags and mobile terminals. This paper presents a HW/SW c...
    Kazuo Sakiyama, Lejla Batina, Bart Preneel, Ingrid...
    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.