Sciweavers

    5255 search results - page 1019 / 1051
    » Formal Methods for Privacy
    Sort
    View
    MEMOCODE
    2005
    IEEE
    95views Formal Methods» more  MEMOCODE 2005»
    Extended abstract: a race-free hardware modeling language
    14 years 1 months ago
    Extended abstract: a race-free hardware modeling language
    Download  www.emsec.ee.ucla.edu
    We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
    Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
    claim paper
    Read More »
    KCAP
    2005
    ACM
    105views Information Technology» more  KCAP 2005»
    Acquisition and maintenance of constraints in engineering design
    14 years 1 months ago
    Acquisition and maintenance of constraints in engineering design
    Download  eprints.aktors.org
    The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...
    Suraj Ajit, Derek H. Sleeman, David W. Fowler, Dav...
    claim paper
    Read More »
    KCAP
    2005
    ACM
    81views Information Technology» more  KCAP 2005»
    An instance mapping ontology for the semantic web
    14 years 1 months ago
    An instance mapping ontology for the semantic web
    Download  eprints.aktors.org
    Semantic data transformation plays an important role in realizing the vision of the semantic web. It supports the transformation of data in different representations into ontologi...
    Yuangui Lei
    claim paper
    Read More »
    SASN
    2005
    ACM
    135views Sensor Networks» more  SASN 2005»
    On the security of group communication schemes based on symmetric key cryptosystems
    14 years 1 months ago
    On the security of group communication schemes based on symmetric key cryptosystems
    Download  www.cs.utsa.edu
    Many emerging applications in both wired and wireless networks, such as information dissemination and distributed collaboration in an adversarial environment, need support of secu...
    Shouhuai Xu
    claim paper
    Read More »
    WIDM
    2005
    ACM
    118views Internet Technology» more  WIDM 2005»
    Exploiting native XML indexing techniques for XML retrieval in relational database systems
    14 years 1 months ago
    Exploiting native XML indexing techniques for XML retrieval in relational database systems
    Download  nike.psu.edu
    In XML retrieval, two distinct approaches have been established and pursued without much cross-fertilization taking place so far. On the one hand, native XML databases tailored to...
    Felix Weigel, Klaus U. Schulz, Holger Meuss
    claim paper
    Read More »
    « Prev « First page 1019 / 1051 Last » Next »
    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.