1362 search results - page 174 / 273 » Model Checking Large Network Protocol Implementations |
101
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Over the last year Peer-to-Peer (p2p) implementations have evolved from experimental to sophisticated systems. Mobile agents have a long e-Commerce history dating back to the midd...
123
click to vote
WINET
2010
15 years 1 months ago
2010
—We propose a novel Self-Balancing Supply/Demand (SBSD) reactive MANET protocol. Our algorithm dynamically discovers publications matching specified subscriptions by controlled f...
127
click to vote
DLOG
2009
15 years 1 months ago
2009
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
155
click to vote
MATA
2000
Springer
15 years 6 months ago
2000
Springer
Extensive research on mobile agents has been rife with the growing interests in network computing. In this paper, we have discussed a mobile multi-agent-based framework to address ...
138
click to vote
INFOCOM
2012
IEEE
13 years 5 months ago
2012
IEEE
—P2P platforms have been criticized because of the heavy strain that some P2P services can inflict on costly interdomain links of network operators. It is therefore necessary to...