1440 search results - page 97 / 288 » Mobility Model for Tactical Networks |
172
click to vote
AINA
2009
IEEE
16 years 26 days ago
2009
IEEE
In this paper we reinforce the benefits of a trust based approach in mobile multi-agent systems. Whilst we do not specify a trust model we provide a framework for property based ...
148
click to vote
ICDCSW
2000
IEEE
15 years 9 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
159
click to vote
EURONGI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The integration of mobile ad hoc networks into IP-based access networks demands the presence of a gateway which is responsible for propagating some configuration paramete...
191
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
166
click to vote
MOBIMEDIA
2007
15 years 7 months ago
2007
Security is a crucial factor in the provision of the network services, in both wireless and wired communications. Day by day, the number of subscribers is increased by an exponent...