9626 search results - page 1277 / 1926 » Invariant Based Programming |
195
Voted
ICCSA
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. A company needs to implement several make-to-stock policies apart from a regular make-to-order production, so that the capacity of expensive resources can be fully utiliz...
220
Voted
ILP
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Logical Bayesian Networks (LBNs) have recently been introduced as another language for knowledge based model construction of Bayesian networks, besides existing languages...
193
click to vote
LCTRTS
2005
Springer
16 years 23 days ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
190
Voted
SOCO
2005
Springer
16 years 23 days ago
2005
Springer
Aspects that trigger on a sequence of join points instead of on a single join point are not explicitly supported in current AspectOriented approaches. Explicit protocols are howeve...
166
click to vote
TACAS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...