5550 search results - page 244 / 1110 » Different Approaches to Proof Systems |
163
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— The spiders’ ability of walking and climbing on different surfaces and in different conditions is taken into account in this paper in order to define and study a suitable sp...
224
click to vote
SELMAS
2005
Springer
16 years 2 days ago
2005
Springer
We argue that it is useful to study classes of Multi-Agent System (MAS) architectures, corresponding to architectural styles in addition to particular tures. In this work we focus ...
155
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
In open multi-agent systems agents need resources provided by other agents but they are not aware of which agents provide the particular resources. Most solutions to this problem ...
143
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Although several analytical models have been proposed in the literature for different interconnection networks with deterministic routing, very few of them have considered the eff...
185
Voted
BIRTHDAY
2010
Springer
15 years 11 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...