2268 search results - page 415 / 454 » Semantic Integration |
123
click to vote
PODS
2006
ACM
16 years 2 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. ...
135
Voted
POPL
2010
ACM
16 years 3 hour 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)...
141
Voted
SOSP
2003
ACM
15 years 11 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...
126
Voted
PLDI
2009
ACM
15 years 9 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...
136
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Although scripting languages are becoming increasingly popular, even mature scripting language implementations remain interpreted. Several compilers and reimplementations have bee...