• GloMoSim

  • Referenced in 60 articles [sw13764]
  • describes a library, called GloMoSim (Global Mobile system Simulator), for parallel simulation of wireless networks...
  • MWB

  • Referenced in 33 articles [sw04395]
  • automated tool for manipulating and analyzing mobile concurrent systems (those with evolving connectivity structures) described ... handover protocol for a mobile telephone system...
  • KLAIM

  • Referenced in 71 articles [sw09424]
  • designing a kernel programming language for mobile computing and describe KLAIM, a language that supports ... with a type system that statically checks access right violations of mobile agents. Types ... relation to the various localities. The type system is used to determine the operations that ... series of examples, we show that many mobile code programming paradigms can be naturally implemented...
  • AntNet

  • Referenced in 66 articles [sw11975]
  • AntNet is a distributed, mobile agents based Monte Carlo system that was inspired by recent...
  • TensorFlow

  • Referenced in 271 articles [sw15170]
  • GPUs in a desktop, server, or mobile device with a single API. TensorFlow was originally ... deep neural networks research, but the system is general enough to be applicable...
  • KASUMI

  • Referenced in 20 articles [sw02926]
  • used in UMTS, GSM, and GPRS mobile communications systems. In UMTS, KASUMI is used ... with 3GPP technical specification group (TSG) for system aspects of 3G security (SA3) to base ... meet other requirements set for 3G mobile communications security...
  • SLMC

  • Referenced in 70 articles [sw04604]
  • systems. However, when the analysis focuses on properties related to resource usage, localities, interference, mobility ... analysis of behavioral and spatial properties of systems. The implementation, written in OCAML, is mature...
  • MAGDA

  • Referenced in 12 articles [sw02568]
  • Mobile agents mean both a technology and a programming paradigm. They allow for a flexible ... issues present in distributed and Grid-based systems, by means of features such as migration ... this paper we describe an architecture(MAGDA – Mobile Agent based Grid Architecture) we have designed ... programming and execution of mobile agent based application upon Grid systems...
  • CiaoPP

  • Referenced in 41 articles [sw12089]
  • used in the system to certify that an untrusted mobile code is safe w.r.t...
  • MMC

  • Referenced in 9 articles [sw13879]
  • present MMC, a model checker for mobile systems specified in the style...
  • Mobiware

  • Referenced in 4 articles [sw10697]
  • support for adaptive mobile networking. Existing mobile systems (e.g., mobile IP, mobile ATM, and third ... systems) lack the intrinsic architectural flexibility to deal with the complexity of supporting adaptive mobile ... management, and wireless transport systems in support of new mobile services (e.g., interactive multimedia...
  • Reo

  • Referenced in 81 articles [sw06353]
  • services based on the notion of mobile channels. Reo enforces an exogenous channel-based coordination ... components or services in a component-based system or a service-oriented application...
  • MonoSLAM

  • Referenced in 41 articles [sw18884]
  • rapidly through a previously unknown scene. Our system, which we dub MonoSLAM, is the first ... successful application of the SLAM methodology from mobile robotics to the ”pure vision” domain ... This work extends the range of robotic systems in which SLAM can be usefully applied...
  • CindyJS

  • Referenced in 8 articles [sw15162]
  • side) is to provide an intuitive authoring system that can in particular be used ... within a browser and on mobile devices. The system, among other aims, should provide easy...
  • ASAP

  • Referenced in 6 articles [sw02689]
  • currently suggested MAC protocols for RFID systems. In order to accomplish this task, ASAP estimates ... constraints on frame size, and mobile RFID systems where tags move at constant velocity...
  • CLEAN

  • Referenced in 58 articles [sw01346]
  • version of Clean offers a hybrid type system with both static as well as dynamic ... With help of Dynamics one can create mobile expressions, which can be passed to other...
  • COSTA

  • Referenced in 23 articles [sw00162]
  • termination information about Java bytecode programs. The system receives as input a bytecode program ... sending a text message on a mobile phone) executed by the program. When performing cost ... analysis, COSTA produces a cost equation system, which is an extended form of recurrence relations ... understand the different options implemented in the system and their implications in analysis accuracy...
  • FRIDGE

  • Referenced in 8 articles [sw25428]
  • design and simulation environment. Digital systems, especially those for mobile applications are sensitive to power ... programmable DSPs. On the other hand, system design starts from a floating-point description. These...
  • ArcGIS

  • Referenced in 31 articles [sw04852]
  • geographic dimension to your business analytics systems. Make informed decisions by visualizing critical information ... Developers can add mapping to web, mobile, and desktop applications using a choice of languages...
  • MobileOBJ

  • Referenced in 2 articles [sw01815]
  • main entities of any mobile system (the other is the mobile object). We also present...