• MYDDAS

  • Referenced in 3 articles [sw13885]
  • real-time traffic characterization through a mobility sensors network...
  • Swarm-Sync

  • Referenced in 1 article [sw27055]
  • medium access control of mobile wireless sensor networks (MWSNs), or for navigation in a collaborative ... problem of time synchronization over a wireless network for a swarm robotic system. We propose ... terms of proposing a scalable, topology independent, mobility-assisted time synchronization framework with resynchronization interval ... swarm robotic systems and mobile wireless sensor networks for several human-friendly real-world applications...
  • SinkTrail

  • Referenced in 1 article [sw20848]
  • large-scale Wireless Sensor Networks (WSNs), leveraging data sinks’ mobility for data gathering has drawn...
  • J-Sim

  • Referenced in 6 articles [sw20626]
  • open source, component-based compositional network simulation environment developed entirely in Java. This framework ... object-oriented definition of target, sensor, and sink nodes, sensor and wireless communication channels ... physical media such as seismic channels, mobility models, and power models (both energy-producing ... classes and mechanisms to realize network emulation. We demonstrate the use of the proposed...
  • TouchDevelop

  • Referenced in 2 articles [sw22662]
  • develop mobile device applications that can access your data, your media, your sensors and allows ... cloud services including storage, computing, and social networks. TouchDevelop targets students, and hobbyists, not necessarily ... access the rich sensor data available on a mobile device. In our vision, the state...
  • COROR

  • Referenced in 2 articles [sw12479]
  • resource-constrained devices such as mobile phones or sensors. However the ever-increasing application ... push intelligence towards the edge of the network, emphasizes the need for resource-constrained reasoning...
  • ANSYS

  • Referenced in 713 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CGAL

  • Referenced in 402 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

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

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • 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...
  • PRISM

  • Referenced in 454 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • ML

  • Referenced in 524 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Kronos

  • Referenced in 274 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • FreeFem++

  • Referenced in 1396 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • eHIP

  • Referenced in 4 articles [sw01490]
  • eHIP: An energy-efficient hybrid intrusion prohibition system...
  • PicoDBMS

  • Referenced in 11 articles [sw01550]
  • PicoDBMS: Scaling down database techniques for the smartcard...