8109 search results - page 150 / 1622 » A Model of Component-Based Programming |
128
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
127
Voted
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
140
click to vote
MP
2006
15 years 4 months ago
2006
Stochastic programming is the subfield of mathematical programming that considers optimization in the presence of uncertainty. During the last four decades a vast amount of litera...
146
Voted
CHI
2009
ACM
15 years 2 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
152
click to vote
IJCAI
2001
15 years 6 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...