• Mobiware

  • Referenced in 4 articles [sw10697]
  • adaptation management, and wireless transport systems in support of new mobile services (e.g., interactive multimedia ... evaluation of mobiware, a mobile middleware toolkit that enables adaptive mobile services to dynamically exploit ... scalable properties of mobile multimedia applications in response to time-varying mobile network conditions ... COMET Group, mobiware runs on mobile devices, wireless access points, and mobile-capable switch/routers providing...
  • CLOVER

  • Referenced in 2 articles [sw33619]
  • images over 802.11b wireless networks to mobile devices and demonstrate its effectiveness and scalability...
  • FUSE

  • Referenced in 1 article [sw03138]
  • within diverse mobile environments. The recent proliferation of heterogeneous computing devices and wireless network technology ... variety of interactive devices, irrespective of whether individuals are mobile or deskbound. However, developing groupware...
  • SinkTrail

  • Referenced in 1 article [sw20848]
  • large-scale Wireless Sensor Networks (WSNs), leveraging data sinks’ mobility for data gathering has drawn ... Current researches either focus on planning a mobile sink’s moving trajectory in advance ... network. In many application scenarios, however, a mobile sink cannot move freely in the deployed ... reporting protocols, SinkTrail and SinkTrail-S, for mobile sink-based data collection. The proposed protocols...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • TSPLIB

  • Referenced in 711 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • GridSim

  • Referenced in 49 articles [sw01392]
  • The GridSim toolkit allows modeling and simulation of...
  • HMQV

  • Referenced in 89 articles [sw02714]
  • The MQV protocol of Law, Menezes, Qu, Solinas...
  • AVISPA

  • Referenced in 88 articles [sw03172]
  • AVISPA (Automated Validation of Internet Security Protocols and...
  • CUDA

  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • CPLEX

  • Referenced in 2804 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • COMSOL

  • Referenced in 460 articles [sw04091]
  • The COMSOL Multiphysics engineering simulation software environment facilitates...
  • Simulink

  • Referenced in 820 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • CVX

  • Referenced in 855 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • Uppaal

  • Referenced in 658 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • Concorde

  • Referenced in 319 articles [sw04770]
  • Concorde is a computer code for the symmetric...
  • HOL

  • Referenced in 594 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • Maude

  • Referenced in 700 articles [sw06233]
  • Maude is a high-performance reflective language and...