9626 search results - page 1350 / 1926 » Invariant Based Programming |
198
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 ...
186
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
We consider setting up sleep scheduling in sensor networks. We formulate the problem as an instance of the fractional domatic partition problem and obtain a distributed approximati...
210
click to vote
TSD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents the final version of the Czech Broadcast Conversation Corpus released at the Linguistic Data Consortium (LDC). The corpus contains 72 recordings of a...
182
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...
164
click to vote
ESEM
2009
ACM
16 years 1 months ago
2009
ACM
This article describes a survey which aims to identify the relative importance of a set of factors that affect the motivation of software engineers at work. The conceptual underpi...