Sciweavers

    8056 search results - page 1602 / 1612
    » Object Behavior Analysis
    Sort
    View
    JFP
    2007
    111views more  JFP 2007»
    Mechanizing metatheory in a logical framework
    13 years 7 months ago
    Mechanizing metatheory in a logical framework
    Download  www.cs.cmu.edu
    The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
    Robert Harper, Daniel R. Licata
    claim paper
    Read More »
    TON
    2008
    136views more  TON 2008»
    A geometric approach to improving active packet loss measurement
    13 years 7 months ago
    A geometric approach to improving active packet loss measurement
    Download  pages.cs.wisc.edu
    Abstract-- Measurement and estimation of packet loss characteristics are challenging due to the relatively rare occurrence and typically short duration of packet loss episodes. Whi...
    Joel Sommers, Paul Barford, Nick G. Duffield, Amos...
    claim paper
    Read More »
    TSC
    2008
    209views more  TSC 2008»
    Effective Web Service Composition in Diverse and Large-Scale Service Networks
    13 years 7 months ago
    Effective Web Service Composition in Diverse and Large-Scale Service Networks
    Download  pike.psu.edu
    Web services are considered to be a potential silver bullet for the envisioned Service Oriented Architecture, in which loosely coupled software components are published, located, a...
    Seog-Chan Oh, Dongwon Lee, Soundar R. T. Kumara
    claim paper
    Read More »
    JSAC
    2007
    116views more  JSAC 2007»
    Outreach: peer-to-peer topology construction towards minimized server bandwidth costs
    13 years 7 months ago
    Outreach: peer-to-peer topology construction towards minimized server bandwidth costs
    Download  www.eecg.toronto.edu
    Abstract— On-demand and live multimedia streaming applications (such as Internet TV) are well known to utilize a significant amount of bandwidth from media streaming servers, es...
    Tara Small, Baochun Li, Ben Liang
    claim paper
    Read More »
    JSAC
    2007
    132views more  JSAC 2007»
    Lifetime maximization via cooperative nodes and relay deployment in wireless networks
    13 years 7 months ago
    Lifetime maximization via cooperative nodes and relay deployment in wireless networks
    Download  www.cspl.umd.edu
    — Extending lifetime of battery-operated devices is a key design issue that allows uninterrupted information exchange among distributed nodes in wireless networks. Cooperative co...
    Thanongsak Himsoon, W. Pam Siriwongpairat, Zhu Han...
    claim paper
    Read More »
    « Prev « First page 1602 / 1612 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.