5639 search results - page 798 / 1128 » Timed Abstract Non-interference |
113
click to vote
RSKT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Consumer research has indicated that consumers use compensatory and non-compensatory decision strategies when formulating their purchasing decisions. Compensatory decisio...
160
click to vote
SAGA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Motivated by an application in project portfolio analysis under uncertainty, we develop an algorithm S-VNS for solving stochastic combinatorial optimization (SCO) problem...
136
click to vote
SAMOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Embedded systems are special purpose systems which perform predefined tasks with very specific requirements like high performance, low volume or low power. Most of the ...
146
click to vote
SARA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We describe a way to improve the performance of MDP planners by modifying them to use lower and upper bounds to eliminate non-optimal actions during their search. First, ...
139
click to vote
SAS
2007
Springer
15 years 11 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...