• Uppaal

  • Referenced in 640 articles [sw04702]
  • areas include real-time controllers and communication protocols in particular, those where timing aspects...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • time deadlines. Embedded controllers, circuits and communication protocols are examples of such time-dependent systems...
  • CADP

  • Referenced in 130 articles [sw04993]
  • popular toolbox for the design of communication protocols and distributed systems. CADP is developed...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • Communication protocols for mathematical services based on KQML and OMRS We describe the first ideas ... formalizing a communication protocol for mathematical services based on KQML (Knowledge Query and Manipulation Language ... that the interaction level of a communication protocol for mathematical services can be relatively generic ... OPENMATH standard, and gives a semantics to communication of mathematical services in distributed theorem proving...
  • GloMoSim

  • Referenced in 60 articles [sw13764]
  • extensible and composable: the communication protocol stack for wireless networks is divided into...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • areas include real-time controllers and communication protocols in particular, those where timing aspects...
  • Gandalf

  • Referenced in 35 articles [sw10133]
  • such as digital circuits, software and communications protocols. A new application area for ATP systems...
  • PMaude

  • Referenced in 30 articles [sw08422]
  • event simulation. Because distributed and concurrent communication protocols can be modelled using actors (concurrent objects...
  • Scribble

  • Referenced in 16 articles [sw20863]
  • language to describe application-level protocols among communicating systems. A protocol represents an agreement ... protocol, it is hard to do meaningful interaction: participants simply cannot communicate effectively, since they ... data. However, having a description of a protocol has further benefits. It enables verification...
  • Pict

  • Referenced in 71 articles [sw08929]
  • basic data structures, protocols for returning results, higher-order programming, selective communication, and concurrent objects...
  • NModel

  • Referenced in 11 articles [sw11364]
  • based testing has been applied to communication protocols, web applications, embedded control systems, and graphical...
  • CESAR

  • Referenced in 159 articles [sw08510]
  • illustrate by an example, the alternating bit protocol, the use of CESAR, an interactive system ... algorithmic description of a system of communicating sequential processes with respect to a given...
  • opaal

  • Referenced in 7 articles [sw13332]
  • domains such as database programs, lossy communication protocols and cache analysis...
  • Chord

  • Referenced in 208 articles [sw09434]
  • This paper presents Chord, a distributed lookup protocol that addresses this problem. Chord provides support ... experiments show that Chord is scalable, with communication cost and the state maintained by each...
  • Java CoG Kit

  • Referenced in 36 articles [sw21563]
  • Globus Toolkit protocols, allowing the Java CoG Kit to also communicate with the services distributed...
  • Wendy

  • Referenced in 6 articles [sw01246]
  • correctness of a service, its communication protocol needs to be analyzed. A fundamental correctness criterion...
  • FairplayMP

  • Referenced in 11 articles [sw11926]
  • Micali-Rogaway (BMR) protocol which runs in a constant number of communication rounds (eight rounds ... this protocol since we believe that the number of communication rounds is a major factor...
  • scyther

  • Referenced in 16 articles [sw09467]
  • order to provide secure communication. The analysis of such security protocols has turned...
  • SensorSim

  • Referenced in 5 articles [sw15014]
  • sensor networks has numerous other aspects besides communication. To create a better understanding of sensor ... facilitate the development of new protocols and applications, detailed simulation and performance evaluation techniques need ... real and simulated nodes, new communication protocols and real time user interaction with graphical data...
  • ParPre

  • Referenced in 5 articles [sw12613]
  • multiplicative Schwarz, Schur complement). The communication protocol is MPI, and low level routines from...