6149 search results - page 460 / 1230 » Revealing the programming process |
205
click to vote
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
Refereed conferences require every submission to be reviewed by members of a program committee (PC) in charge of selecting the conference program. There are many software packages...
178
click to vote
ISSRE
2006
IEEE
16 years 29 days ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
167
click to vote
IFIP
2005
Springer
16 years 13 days ago
2005
Springer
In this paper we analyze the electricity portfolio problem of a big consumer in a multi-stage stochastic programming framework. Stochasticity enters the model via the uncertain spo...
188
click to vote
CONCUR
2004
Springer
16 years 10 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
149
click to vote
ECAI
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Previously it has been shown that the process of programming a cardiac pacemaker can be described in terms of the theory of diagnosis. A set-theoretical framework of diag...