2268 search results - page 415 / 454 » Semantic Integration |
PODS
2006
ACM
15 years 12 months ago
2006
ACM
An intelligent agent will often be uncertain about various properties of its environment, and when acting in that environment it will frequently need to quantify its uncertainty. ...
105
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
110
click to vote
SOSP
2003
ACM
15 years 8 months ago
2003
ACM
We present a flexible architecture for trusted computing, called Terra, that allows applications with a wide range of security requirements to run simultaneously on commodity har...
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...
105
click to vote
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Although scripting languages are becoming increasingly popular, even mature scripting language implementations remain interpreted. Several compilers and reimplementations have bee...