12084 search results - page 2284 / 2417 » Effect Systems with Subtyping |
133
Voted
PLDI
2009
ACM
15 years 10 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...
142
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
113
click to vote
TEI
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we introduce a new way to interact intimately with an automated system. The Intimate Door Lock investigates the psychological effects of intimate humanhuman interact...
122
Voted
STACS
2009
Springer
15 years 10 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
168
click to vote
CLUSTER
2009
IEEE
15 years 10 months ago
2009
IEEE
—Server consolidation based on virtualization technology will simplify system administration, reduce the cost of power and physical infrastructure, and improve utilization in tod...