11214 search results - page 260 / 2243 » Programming Multi-agent Systems |
136
click to vote
JSS
2000
15 years 6 months ago
2000
One of the most important steps towards eective software maintenance of a large complicated system is to understand how program features are spread over the entire system and thei...
183
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a novel system for propositional Answer-Set Programming (ASP). This system, called dynASP, is based on dynamic programming and thus significantly differs fro...
154
Voted
USS
2004
15 years 8 months ago
2004
Many host-based anomaly detection systems monitor a process ostensibly running a known program by observing the system calls the process makes. Numerous improvements to the precis...
185
click to vote
JFP
2008
15 years 6 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
156
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...