10870 search results - page 453 / 2174 » Model Checking Programs |
161
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...
217
click to vote
ASP
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
181
click to vote
ANOR
2010
15 years 7 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 ...
205
click to vote
IJNSEC
2008
15 years 7 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 ...
191
click to vote
CP
2000
Springer
15 years 12 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...