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

Now showing items 7-9 of 3794

    • Hybrid I/O Automata* 

      Lynch, Nancy A.; Segala, Roberto; Vaandrager, Frits (2003-01)
      Hybrid systems are systems that exhibit a combination of discrete and continuous behavior. Typical hybrid systems include computer components, which operate in discrete program steps, and real-world components, whose ...

    • Enhanced Certificate Revocation 

      Micali, Silvio (1996-03)
      We apply off-line/on-line signatures to provide an alternative solution to the problem of certificate revocation. The new systems dismiss with traditional CRLs (Certificate Revocation Lists) and yield public-key infrastructures ...

    • What are principal typings and what are they good for? 

      Jim, Trevor (1995-11)
      We demonstrate the pragmatic value of the principal typing property, a property more general than ML's principal type property, by studying a type system with principal typings. The type system is based on rank 2 intersection ...