929 search results - page 180 / 186 » Modeling and Verifying Ad Hoc Routing Protocols |
APBC
2003
13 years 9 months ago
2003
In this paper we suggest the requirements for an open platform designed for the description, distribution and analysis of genetic polymorphism data. This platform is discussed in ...
AAMAS
2007
Springer
13 years 7 months ago
2007
Springer
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
INFOCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
Body Area Networks (BAN) is a key enabling technology in E-healthcare such as remote health monitoring. An important security issue during bootstrap phase of the BAN is to securely...
GRID
2004
Springer
14 years 1 months ago
2004
Springer
Much experience has been gained with the protocols and mechanisms needed for discovery and allocation of remote computational resources. However, the preparation of a remote compu...
SAC
2003
ACM
14 years 27 days ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...