1080 search results - page 29 / 216 » Modeling Constraint Programs with Software Technology Standa... |
121
click to vote
STTT
2002
15 years 4 months ago
2002
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
147
click to vote
RTAS
2009
IEEE
15 years 11 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
142
click to vote
ISW
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...
139
Voted
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
159
Voted
UM
2005
Springer
15 years 10 months ago
2005
Springer
This research aims at reconciling web personalization with privacy constraints imposed by legal restrictions and by users’ privacy preferences. We propose a software product line...