7961 search results - page 432 / 1593 » Input-Output Model Programs |
400
click to vote
ICSE
2012
IEEE-ACM
13 years 8 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
182
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
157
click to vote
SIGDOC
2006
ACM
16 years 9 days ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
150
click to vote
IFIP
2005
Springer
15 years 12 months 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...
146
click to vote
DEXA
2000
Springer
15 years 10 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...