4716 search results - page 661 / 944 » Tangible functional programming |
181
click to vote
LOPSTR
2009
Springer
16 years 23 days ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...
192
click to vote
MOBISEC
2009
Springer
16 years 23 days 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...
161
click to vote
SAMOS
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. In this paper, we present a particularly lightweight, integrative approach to programming and executing applications targeting heterogeneous, dynamically reconfigurable ...
160
click to vote
DOCENG
2009
ACM
16 years 23 days 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...
155
click to vote
CBMS
2008
IEEE
16 years 21 days 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 ...