2111 search results - page 147 / 423 » How to Program Pervasive Systems |
80
Voted
ENTCS
2002
15 years 17 days 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...
ENTCS
2008
15 years 25 days 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...
PPL
2007
15 years 8 days 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...
123
click to vote
DAGSTUHL
2007
15 years 2 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...
112
Voted
KBSE
2008
IEEE
15 years 7 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...