4719 search results - page 663 / 944 » Spreadsheet functional programming |
161
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
190
click to vote
LOPSTR
2009
Springer
16 years 1 months 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...
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...