8917 search results - page 1334 / 1784 » Abstraction in Algorithm Animation |
150
click to vote
BROADNETS
2007
IEEE
16 years 21 days ago
2007
IEEE
Wireless Sensor Networks (WSNs) provide an important means of monitoring the physical world, but their ons present challenges to fundamental network services such as routing. In t...
161
click to vote
CAV
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
152
click to vote
ICCS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. An algorithm to detect invisible relevant persons in a homogeneous social network is studied with computer simulation. The network is effective as a model for contempora...
177
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The need for supporting CSCW applications with heterogeneous and varying user requirements calls for adaptive and reconfigurable schedulers accommodating a mixture of re...
197
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...