• SafeDpi

  • Referenced in 13 articles [sw01989]
  • SafeDpi: A language for controlling mobile code safeDpi is a distributed version of the Picalculus...
  • CARMEN

  • Referenced in 8 articles [sw10656]
  • open-source collection of software for mobile robot control. CARMEN is modular software designed...
  • AntNet

  • Referenced in 66 articles [sw11975]
  • AntNet: Distributed stigmergetic control for communications networks. This paper introduces AntNet, a novel approach ... communications networks. AntNet is a distributed, mobile agents based Monte Carlo system that was inspired...
  • KLAIM

  • Referenced in 71 articles [sw09424]
  • designing a kernel programming language for mobile computing and describe KLAIM, a language that supports ... language provides coordination mechanisms to control the interaction protocols among located processes. The formal operational ... that statically checks access right violations of mobile agents. Types are used to describe...
  • Succinct

  • Referenced in 5 articles [sw09703]
  • Java Card byte-code, access control features of Mobile and Discretionary Ambients, and validation...
  • GAZEBO

  • Referenced in 10 articles [sw21668]
  • next generation of mobile robots. Its open source status, fine grained control, and high fidelity...
  • CiaoPP

  • Referenced in 41 articles [sw12089]
  • program, program parallelization (taking granularity control into account), inclusion of run-time tests for assertions ... system to certify that an untrusted mobile code is safe w.r.t. the given policy...
  • ULM

  • Referenced in 10 articles [sw08978]
  • programming mobile agents, that move together with their state, which consists of a control stack...
  • Swarm-Sync

  • Referenced in 1 article [sw27055]
  • reported in routing and medium access control of mobile wireless sensor networks (MWSNs...
  • MOMBASA

  • Referenced in 5 articles [sw00588]
  • functionalities complementing multicast protocols for multicast-based mobility support. The functionalities provided by the MOMBASA ... update, paging, address translation, handoff initiation, handoff control, rerouting, prevention of handoff oscillation and inactive ... researchers investigating the support of host mobility in IP-based cellular networks. It aims ... performance evaluation of mobility support by means of measurements. The software is easy to maintain...
  • MUSE

  • Referenced in 1 article [sw21749]
  • However, existing mobile botnets usually rely on a single command and control channel ... outperform existing push-styled mobile botnets in terms of robustness, controllability, scalability, and stealthiness. Although ... overcome the limitations of existing push-styled mobile botnets. We have implemented MUSE by exploiting ... also its advantages, such as stealthiness, controllability...
  • MobileOBJ

  • Referenced in 2 articles [sw01815]
  • mobile object). We also present the equational specification of a control center...
  • COSTA

  • Referenced in 23 articles [sw00162]
  • sending a text message on a mobile phone) executed by the program. When performing cost ... analysis options available, allowing a fine-grained control over the behaviour of the analyzer. Some ... particular for the MIDP profile for mobile phones...
  • JBotSim

  • Referenced in 1 article [sw33305]
  • Node movements can be controlled by program (e.g. mobile robots or mobility models...
  • Sumatra

  • Referenced in 7 articles [sw09426]
  • requirements that are not shared with other mobile programs. First, they need to monitor ... Third, they need to be able to control the way in which resources are used ... extension of Java that supports resource-aware mobile programs. We also describe the design...
  • HMAT

  • Referenced in 2 articles [sw03385]
  • behalf of mobile hosts. The root mobile agent of the HMAT is also an edge ... control mechanisms to support QoS in Access and Core Network for Mobile IPv6...
  • AsTeRICS

  • Referenced in 2 articles [sw14933]
  • flow control), and actuators (such as mouse/keyboard replacement, smart environments, and mobile phone access...
  • Punobot

  • Referenced in 1 article [sw21751]
  • with mobile botnets, we need to anticipate and prevent their command and control ... explore a new C&C channel for mobile botnets that is based on the push...
  • SinkTrail

  • Referenced in 1 article [sw20848]
  • mobile sink-based data collection. The proposed protocols feature low-complexity and reduced control overheads ... allow sufficient flexibility in the movement of mobile sinks to dynamically adapt to various terrestrial ... results demonstrate that the proposed algorithms reduce control overheads and yield satisfactory performance in finding...
  • lfe

  • Referenced in 4 articles [sw26553]
  • uses factors with many levels as pure control variables. Includes support for instrumental variables, conditional ... clustered standard errors, as well as limited mobility bias correction...