Sciweavers

1362 search results - page 174 / 273
» Model Checking Large Network Protocol Implementations
Sort
View
HICSS
2003
IEEE
97views Biometrics» more  HICSS 2003»
15 years 8 months ago
Java Mobile Agents on Project JXTA Peer-to-Peer Platform
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...
Rita Yu Chen, Bill Yeager
WINET
2010
142views more  WINET 2010»
15 years 1 months ago
Demand-driven publish/subscribe in mobile environments
—We propose a novel Self-Balancing Supply/Demand (SBSD) reactive MANET protocol. Our algorithm dynamically discovers publications matching specified subscriptions by controlled f...
Aris M. Ouksel, Doug Lundquist
DLOG
2009
15 years 1 months ago
Explaining by Example: Model Exploration for Ontology Comprehension
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...
Johannes Bauer, Ulrike Sattler, Bijan Parsia
MATA
2000
Springer
137views Communications» more  MATA 2000»
15 years 6 months ago
Topology Discovery in Ad Hoc Wireless Networks Using Mobile Agents
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 ...
Romit Roy Choudhury, Somprakash Bandyopadhyay, Kri...
INFOCOM
2012
IEEE
13 years 5 months ago
Network optimization for DHT-based applications
—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...
Yi Sun, Yang Richard Yang, Xiaobing Zhang, Yang Gu...