2607 search results - page 389 / 522 » Complete Functional Synthesis |
111
Voted
IPMI
2009
Springer
16 years 3 months ago
2009
Springer
We present a novel framework for characterizing signals in images using techniques from computational algebraic topology. This technique is general enough for dealing with noisy mu...
115
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
We study the Cost-Per-Action or Cost-Per-Acquisition (CPA) charging scheme in online advertising. In this scheme, instead of paying per click, the advertisers pay only when a user...
233
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
116
click to vote
CCS
2009
ACM
16 years 3 months ago
2009
ACM
This paper proposes a D-algebra to compose decisions from multiple access control policies. Compared to other algebrabased approaches aimed at policy composition, D-algebra is the...
130
Voted
COORDINATION
2009
Springer
16 years 3 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...