966 search results - page 145 / 194 » Communicating Answer Set Programs |
112
click to vote
CP
2003
Springer
15 years 7 months ago
2003
Springer
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...
106
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
In typical multiagent teamwork settings, the teammates are either programmed together, or are otherwise provided with standard communication languages and coordination protocols. ...
128
click to vote
TCC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
106
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
145
click to vote
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— Multiple description coding (MDC) has emerged as a powerful technique for reliable real-time communications over lossy packet networks. In its basic form, it involves encoding ...