2940 search results - page 434 / 588 » Relational Parametricity and Control |
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
In multi-agent systems where sets of joint actions (JAs) are generated, metrics are needed to evaluate these sets and efficiently allocate resources for the many JAs. For the case...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents an agent strategy for complex bilateral negotiations over many issues with inter-dependent valuations. We use ideas inspired by graph theory and probabilistic ...
DIGRA
2005
Springer
15 years 3 months ago
2005
Springer
This paper suggests that the digital games industry products are not limited to games-related hardware and software or the related spin-off industry products. Further, consumers â...
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
84
Voted
EPEW
2005
Springer
15 years 3 months ago
2005
Springer
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...