Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions

Now showing items 31-33 of 3794

    • Efficient Web Browsing for Mobile Clients using HTTP Compression 

      Krashinsky, Ronny (2003-01)
      Efficient web browsing on mobile computers presents a unique challenge. These machines are different from other classes of client computers since they have relatively low-bandwidth connections and they are battery-powered ...

    • Physical Random Functions 

      Gassend, Blaise (2003-02)
      In general, secure protocols assume that participants are able to maintain secret key information. In practice, this assumption is often incorrect as an increasing number of devices are vulnerable to physical attacks. ...

    • On the Theory of Structural Subtyping 

      Kuncak, Viktor; Rinard, Martin (2003-01)
      We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let Sigma be a language consisting of function symbols (representing type constructors) and C a decidable structure in the ...