177 search results - page 11 / 36 » Reasoning About Active Network Protocols |
DAIS
2009
13 years 6 months ago
2009
Queries are widely used for acquiring data distributed in opportunistically formed mobile networks. However, when queries are executed in such dynamic settings, the returned result...
AIMSA
2008
Springer
14 years 2 months ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
COORDINATION
2009
Springer
14 years 9 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
AINA
2005
IEEE
14 years 2 months ago
2005
IEEE
More and more sensor networks will be deployed in the place where people are living, studying, and working. These sensor networks bring us the convenience of accessing information...
JUCS
2008
13 years 8 months ago
2008
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...