Sciweavers

    8623 search results - page 143 / 1725
    » Software engineering for secure systems
    Sort
    View
    WWW
    2006
    ACM
    136views Internet Technology» more  WWW 2006»
    Capturing the essentials of federated systems
    14 years 10 months ago
    Capturing the essentials of federated systems
    Download  www2006.org
    Today, the Web is increasingly used as a platform for distributed services, which transcend organizational boundaries to form federated applications. Consequently, there is a grow...
    Alexander Brändle, Frederic Majer, Johannes M...
    claim paper
    Read More »
    VMCAI
    2010
    Springer
    138views Software Engineering» more  VMCAI 2010»
    Automatic Abstraction for Congruences
    14 years 6 months ago
    Automatic Abstraction for Congruences
    Download  www.cs.kent.ac.uk
    c Abstraction for Congruences A Story of Beauty and the Beast Andy King and Harald S?ndergaard Portcullis Computer Security University of Melbourne g and Harald S?ndergaard Automat...
    Andy King, Harald Søndergaard
    claim paper
    Read More »
    COMSWARE
    2008
    IEEE
    173views Software Engineering» more  COMSWARE 2008»
    Multicast instant channel change in IPTV systems
    14 years 3 months ago
    Multicast instant channel change in IPTV systems
    Download  clarinet.u-strasbg.fr
    Damodar Banodkar, K. K. Ramakrishnan, Shivkumar Ka...
    claim paper
    Read More »
    CSSE
    2008
    IEEE
    163views Software Engineering» more  CSSE 2008»
    A Semantic Web Methodology for Situation-Aware Curative Food Service Recommendation System
    14 years 3 months ago
    A Semantic Web Methodology for Situation-Aware Curative Food Service Recommendation System
    Download  www.informatics.org.cn
    Chi-Chun Lo, Ding-Yuan Cheng, Chi-Hua Chen
    claim paper
    Read More »
    VMCAI
    2007
    Springer
    89views Software Engineering» more  VMCAI 2007»
    Using First-Order Theorem Provers in the Jahob Data Structure Verification System
    14 years 3 months ago
    Using First-Order Theorem Provers in the Jahob Data Structure Verification System
    Download  www.mit.edu
    Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...
    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.