770 search results - page 140 / 154 » Dinatural Terms in System F |
166
click to vote
PLDI
2009
ACM
16 years 26 days 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...
182
click to vote
PLDI
2009
ACM
16 years 26 days ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
166
click to vote
PLDI
2009
ACM
16 years 26 days ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
166
click to vote
WISEC
2009
ACM
16 years 26 days ago
2009
ACM
Time synchronization in highly distributed wireless systems like sensor and ad hoc networks is extremely important in order to maintain a consistent notion of time throughout the ...
163
click to vote
GECCO
2009
Springer
16 years 19 days ago
2009
Springer
Hyper-heuristics can be thought of as “heuristics to choose heuristics”. They are concerned with adaptively finding solution methods, rather than directly producing a solutio...