5384 search results - page 237 / 1077 » Open Standards Requirements |
133
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Distributed reconfiguration is an important problem in multi-robot systems such as mobile sensor nets and metamorphic robot systems. In this work, we present a scalabl...
182
click to vote
JVA
2006
IEEE
16 years 21 days ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
137
click to vote
CEAS
2005
Springer
16 years 7 days ago
2005
Springer
Spam filter developers are confronted with the task of integrating their ideas in user-friendly products. In this paper, we introduce Spamato as an open, extendable, and multi-fa...
142
click to vote
ICADL
2005
Springer
16 years 6 days ago
2005
Springer
Peer-to-Peer (P2P) overlay network aims to be a feasible platform for building federated but autonomous digital libraries. However, due to a plethora number of P2P infrastructures ...
240
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...