- Subscribe to this page:
- RSS
- Email Alert
Harvard University
(166 results)-
White Papers
Abstract Predicates and Mutable ADTs in Hoare Type Theory
January 1, 2011, 12:00am PST
Hoare Type Theory (HTT) combines a dependently typed, higher-order language with monadically-encapsulated, stateful computations. The type system incorporates pre- and post-conditions, in a...
Provided by Harvard University
-
White Papers
Strategic Advantage: Why America Should Care About Cybersecurity
October 1, 2009, 12:00am PDT
The internet is an interconnected series of networks - where it is difficult to determine where private security threats end and public ones begin. These networks deliver power and water to the...
Provided by Harvard University
-
White Papers
Evaluating Value-Graph Translation Validation for LLVM
February 7, 2011, 12:00am PST
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the value-graphs of...
Provided by Harvard University
-
White Papers
Certified Web Services in Ynot
May 24, 2009, 12:00am PDT
In this paper, the authors explains that it is possible to implement certified web systems in a way not much different from writing Standard ML or Haskell code, including use of imperative...
Provided by Harvard University
-
Whitepapers
Verifiable Computation With Massively Parallel Interactive Proofs
May 16, 2012, 12:00am PDT
As the cloud computing paradigm has gained prominence, the need for verifiable computation has grown increasingly urgent. Protocols for verifiable computation enable a weak client to outsource...
Provided by Harvard University
-
White Papers
An Architecture for Extensible Wireless LANs
September 15, 2008, 12:00am PDT
Off late wireless LANs are a mess. The current 802.11 family of WLANs involves a jumble of competing standards, and a slew of implementations with varying degrees of interoperability and...
Provided by Harvard University
-
White Papers
EmID: Web Authentication by Email Address
April 29, 2008, 12:00am PDT
It suggests that OpenID should use email addresses rather than URLs as identifiers, and show how OpenID can be adapted accordingly with relative ease. Email addresses provide better backwards...
Provided by Harvard University
-
White Papers
An Architecture for Extensible Wireless LANs
September 15, 2008, 12:00am PDT
Off late wireless LANs are a mess. The current 802.11 family of WLANs involves a jumble of competing standards, and a slew of implementations with varying degrees of interoperability and...
Provided by Harvard University
-
White Papers
ACO Routing in Wireless Sensor Networks
January 15, 2008, 12:00am PST
The recent popularity of applications based on wireless sensor networks provides a strong motivation for pushing its technological limits. The authors feel that sensor networks can benefit from...
Provided by Harvard University
-
White Papers
Measuring The Impact Of ICT Investments On Economic Growth
September 19, 2007, 12:00am PDT
Measuring the impact of ICT (Information and Communication Technologies) investment on economic growth has been thoroughly examined for a number of industrialized countries. This paper provides a...
Provided by Harvard University
-
White Papers
Computational Risk Management For Building Highly Reliable Network Services
September 19, 2007, 12:00am PDT
Building reliable network services that can deliver consistent high performance to clients in the presence of failures and bursty demand is expensive and inefficient. Resources often need to be...
Provided by Harvard University
-
White Papers
Skill Vs. Luck In Entrepreneurship And Venture Capital
July 1, 2006, 12:00am PDT
This paper argues that a large component of success in entrepreneurship and venture capital can be attributed to skill. We show that entrepreneurs with a track record of success are more likely to...
Provided by Harvard University
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
