2650 search results - page 320 / 530 » Simulation and Control of Reactive Systems |
137
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
For Peer-2-Peer (P2P) networks to realize their full potential their nodes need to coordinate and cooperate, to improve the performance of the network as a whole. But this requires...
138
Voted
ECAL
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we study aggregation in a swarm of simple robots, called s-bots, having the capability to self-organize and selfassemble to form a robotic system, called a swarm-bot...
131
Voted
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
118
click to vote
CISS
2008
IEEE
15 years 10 months ago
2008
IEEE
—We consider a multiuser two-way relay network where multiple pairs of users communicate with their pre-assigned partners, using a common intermediate relay node, in a twophase c...
113
Voted
SACMAT
2003
ACM
15 years 9 months ago
2003
ACM
Traditional network security technologies such as firewalls and intrusion detection systems usually work according to a static ruleset only. We believe that a better approach to ...