420 search results - page 21 / 84 » Towards Design Tools for Protocol Development |
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
SYNASC
2006
IEEE
15 years 3 months ago
2006
IEEE
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
96
Voted
DALT
2004
Springer
15 years 2 months ago
2004
Springer
Engineering systems of heterogeneous agents is a difficult task; one of the ways for achieving the successful industrial deployment of agent technology is the development of engine...
WOWMOM
2005
ACM
15 years 3 months ago
2005
ACM
A mobile ad hoc network is a collection of nodes that is connected through a wireless medium forming rapidly changing topologies. The widely accepted existing routing protocols de...
79
Voted
USENIX
2003
14 years 11 months ago
2003
Performance was an important issue in the development of X from the initial protocol design and continues to be important in modern application and extension development. That X i...