1671 search results - page 291 / 335 » Language Constructs for Multi-agent Programming |
173
click to vote
BIRTHDAY
2005
Springer
16 years 12 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
170
click to vote
CP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
190
Voted
CSL
2005
Springer
16 years 11 days ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
201
click to vote
DSVIS
2005
Springer
16 years 11 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
160
Voted
ICALP
2005
Springer
16 years 11 days ago
2005
Springer
We develop a new method for estimating the discrepancy of tensors associated with multiparty communication problems in the “Number on the Forehead” model of Chandra, Furst and...