14244 search results - page 337 / 2849 » Modeling Program Predictability |
128
Voted
PVM
2007
Springer
15 years 9 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
113
Voted
ANOR
2010
15 years 3 months ago
2010
We study some mathematical programming formulations for the origin-destination model in airline revenue management. In particular, we focus on the traditional probabilistic model ...
142
Voted
IJNSEC
2008
15 years 3 months ago
2008
In this paper we demonstrate that it is possible in general to detect Windows-based malicious program behavior. Since S. Forrest et al. used the N-grams method to classify system ...
166
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
133
Voted
CP
2000
Springer
15 years 8 months ago
2000
Springer
Constraint programming offers a variety of modeling objects such as logical and global constraints, that lead to concise and clear models for expressing combinatorial optimization...