11022 search results - page 452 / 2205 » Programming Systems for Autonomy |
193
click to vote
BIBM
2009
IEEE
16 years 21 days ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
237
click to vote
SCCC
1998
IEEE
15 years 11 months ago
1998
IEEE
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
232
Voted
AGILEDC
2004
IEEE
15 years 11 months ago
2004
IEEE
Through his law, "adding manpower to a late software project makes it later," Brooks asserts that the assimilation, training, and intercommunication costs of adding new ...
224
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...
200
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...