ALTO

Results: 5576



#Item
971A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets Alessandro Coglio and Cordell Green Kestrel Institute, Palo Alto, California, USA {coglio,green}@kestrel.edu

A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets Alessandro Coglio and Cordell Green Kestrel Institute, Palo Alto, California, USA {coglio,green}@kestrel.edu

Add to Reading List

Source URL: vstte.ethz.ch

Language: English - Date: 2005-10-11 03:37:02
    9722015 Annual Conference Sponsors Pro Bono Champion Beijing Boston Brussels Chicago Frankfurt Hong Kong Houston London Los Angeles Moscow Munich New York Palo Alto Paris São Paulo Seoul Shanghai Singapore Sydney Tokyo Tor

    2015 Annual Conference Sponsors Pro Bono Champion Beijing Boston Brussels Chicago Frankfurt Hong Kong Houston London Los Angeles Moscow Munich New York Palo Alto Paris São Paulo Seoul Shanghai Singapore Sydney Tokyo Tor

    Add to Reading List

    Source URL: www.probonoinst.org

    Language: English - Date: 2015-03-24 17:32:32
      973Sotto l’Alto Patronato Permanente del PRESIDENTE DELLA REPUBBLICA ITALIANA MARMORARI MAGISTRI ROMANI

      Sotto l’Alto Patronato Permanente del PRESIDENTE DELLA REPUBBLICA ITALIANA MARMORARI MAGISTRI ROMANI

      Add to Reading List

      Source URL: www.dariodelbufalo.it

      Language: Italian - Date: 2013-05-13 04:33:21
        974Report to Mont Alto Faculty Senate – November 12, 2014 The Mont Alto Faculty Senate ad hoc committee on general education met on Monday, November 3, 2014 to discuss the proposed general education prototypes and to offe

        Report to Mont Alto Faculty Senate – November 12, 2014 The Mont Alto Faculty Senate ad hoc committee on general education met on Monday, November 3, 2014 to discuss the proposed general education prototypes and to offe

        Add to Reading List

        Source URL: gened.psu.edu

        Language: English - Date: 2014-11-13 11:59:02
          975FOR IMMEDIATE RELEASE Exponential Edge Inc. CEO and Author Adrian C. Ott to Receive NAWBO- Silicon Valley Enterprising Woman of the Year Award at 2011 Invent Your Future Conference for Women Palo Alto, CA., Apr. 20, 201

          FOR IMMEDIATE RELEASE Exponential Edge Inc. CEO and Author Adrian C. Ott to Receive NAWBO- Silicon Valley Enterprising Woman of the Year Award at 2011 Invent Your Future Conference for Women Palo Alto, CA., Apr. 20, 201

          Add to Reading List

          Source URL: www.exponentialedge.com

          Language: English - Date: 2014-12-20 12:30:48
            976Greg Schmid, Council Member City of Palo Alto Board of Directors Bay Area Water Supply & Conservation Agency Greg Schmid was appointed by the City of Palo Alto to the Board of Directors of the Bay Area Water Supply and C

            Greg Schmid, Council Member City of Palo Alto Board of Directors Bay Area Water Supply & Conservation Agency Greg Schmid was appointed by the City of Palo Alto to the Board of Directors of the Bay Area Water Supply and C

            Add to Reading List

            Source URL: www.bawsca.org

            Language: English
              977Asynchronous Execution and Communication Latency in Distributed Constraint Optimization Stephen Fitzpatrick & Lambert Meertens Kestrel Institute 3260 Hillview Avenue, Palo Alto, California, U.S.A.

              Asynchronous Execution and Communication Latency in Distributed Constraint Optimization Stephen Fitzpatrick & Lambert Meertens Kestrel Institute 3260 Hillview Avenue, Palo Alto, California, U.S.A.

              Add to Reading List

              Source URL: www.kestrel.edu

              Language: English - Date: 2002-08-07 12:31:33
                978Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute Palo Alto, CAUSA

                Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute Palo Alto, CAUSA

                Add to Reading List

                Source URL: vstte.ethz.ch

                Language: English - Date: 2005-10-11 03:37:12
                  979How Push-To-Talk Makes Talk Less Pushy Allison Woodruff and Paul M. Aoki Palo Alto Research Center 3333 Coyote Hill Road Palo Alto, CAUSA

                  How Push-To-Talk Makes Talk Less Pushy Allison Woodruff and Paul M. Aoki Palo Alto Research Center 3333 Coyote Hill Road Palo Alto, CAUSA

                  Add to Reading List

                  Source URL: www.allisonwoodruff.com

                  Language: English - Date: 2004-08-11 20:21:04
                    980The Guidebook, the Friend, and the Room: Visitor Experience in a Historic House Allison Woodruff, Paul M. Aoki, Amy Hurst, and Margaret H. Szymanski Xerox Palo Alto Research Center 3333 Coyote Hill Road Palo Alto, CA 943

                    The Guidebook, the Friend, and the Room: Visitor Experience in a Historic House Allison Woodruff, Paul M. Aoki, Amy Hurst, and Margaret H. Szymanski Xerox Palo Alto Research Center 3333 Coyote Hill Road Palo Alto, CA 943

                    Add to Reading List

                    Source URL: www.allisonwoodruff.com

                    Language: English - Date: 2004-08-11 20:20:57