11022 search results - page 443 / 2205 » Programming Systems for Autonomy |
206
click to vote
PERCOM
2004
ACM
16 years 7 months ago
2004
ACM
Pervasive computing calls for suitable middleware and programming models to deal with large software systems dived in dynamic mobile network environments. Here we present the prog...
195
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
199
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
181
click to vote
EDUTAINMENT
2009
Springer
16 years 2 months ago
2009
Springer
Designing intelligent products, systems and related services require the designers to be able to integrate technology in their designs. Among other skills, programming is the key f...
192
click to vote
RR
2009
Springer
16 years 2 months ago
2009
Springer
Our previous work [26] introduced Belief Logic Programming (BLP), a novel form of quantitative logic programming with correlation of evidence. Unlike other quantitative approaches ...