4757 search results - page 671 / 952 » Monads for Functional Programming |
206
click to vote
MOBISEC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...
170
click to vote
SAMOS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present a particularly lightweight, integrative approach to programming and executing applications targeting heterogeneous, dynamically reconfigurable ...
164
click to vote
DOCENG
2009
ACM
16 years 1 months ago
2009
ACM
In this article, we introduce a new problem: the construction of multi-structured documents. We first offer an overview of existing solutions to the representation of such docum...
163
click to vote
CBMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Mapping concepts from medical terminologies, such as the UMLS, to medical documents is a prerequisite for many tasks of (automatically) processing documents. Due to the nature of ...
141
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We construct a family of iterative discretization algorithms for computing sequences of finitely-supported correlated equilibria of n-player games with polynomial utility func...