2934 search results - page 240 / 587 » Universality in Multi-Agent Systems |
155
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
171
click to vote
RSFDGRC
2005
Springer
16 years 1 days ago
2005
Springer
In this paper, the concept of a granulation order is proposed in an information system. The positive approximation of a set under a granulation order is defined. Some properties o...
186
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
Group communication is a widely studied paradigm for building fault-tolerant distributed systems. The Armada project at the University of Michigan is a collaborative effort with t...
160
click to vote
CTCS
1997
Springer
15 years 10 months ago
1997
Springer
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In [L¨u96], this semantics ...
135
click to vote
PATAT
2000
Springer
15 years 10 months ago
2000
Springer
The examination scheduling problem has been examined and a four-phase system using a tabu search algorithm, OTTABU, has been implemented. This system uses both recency-based short-...