2111 search results - page 147 / 423 » How to Program Pervasive Systems |
104
click to vote
ENTCS
2002
15 years 3 months ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
101
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. F...
114
click to vote
PPL
2007
15 years 2 months ago
2007
In this paper, we present an program that enables the transformation of a nonterminating alternator into a terminating alternator. Our solution is stabilization preserving and has...
149
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
129
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...