7961 search results - page 61 / 1593 » Input-Output Model Programs |
120
click to vote
AAMAS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
138
click to vote
ASP
2003
Springer
15 years 7 months 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...
117
Voted
PVM
2007
Springer
15 years 8 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...
105
Voted
ANOR
2010
15 years 2 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 ...
130
click to vote
IJNSEC
2008
15 years 2 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 ...