• PROCOL

  • Referenced in 8 articles [sw02535]
  • PROCOL. A concurrent object-oriented language with protocols delegation and constraints PROCOL is an object ... object access by an explicit per-object protocol. This protocol is a specification ... client type checking. The use of protocols in object communication fosters structured, safer and potentially ... verifiable information exchange between objects. The protocol also plays an important role as a partial...
  • Pict

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

  • Referenced in 30 articles [sw08422]
  • PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. We introduce a rewrite-based specification ... concurrent communication protocols can be modelled using actors (concurrent objects with asynchronous message passing...
  • BioMOBY

  • Referenced in 9 articles [sw21658]
  • response of a simple object access protocol (SOAP) transaction...
  • JOpera

  • Referenced in 7 articles [sw10578]
  • with Web services through the simple object access protocol (SOAP), described with Web services language...
  • Ibis

  • Referenced in 9 articles [sw07881]
  • flexible to cope with different network protocols and dynamically changing groups of compute nodes, while ... processor pools, and with highly efficient, object-based communication. Ibis can transfer Java objects very ... efficiently by combining streaming object serialization with a zero-copy protocol. Using ... nine times higher throughputs with trees of objects. Copyright © 2005 John Wiley & Sons...
  • Timbuk

  • Referenced in 47 articles [sw06351]
  • Timbuk is currently used to verify Cryptographic Protocols (see some papers and in the examples ... three standalone tools and a bunch of Objective Caml functions for basic manipulation on Tree...
  • pickle

  • Referenced in 4 articles [sw28736]
  • pickle - Python object serialization. The pickle module implements binary protocols for serializing and de-serializing...
  • MIRROR

  • Referenced in 4 articles [sw02280]
  • MIRROR: A state-conscious concurrency control protocol for replicated real-time databases. Data replication ... Replicated Real-time Object Repositories (MIRROR), a concurrency control protocol specifically designed for firm-deadline...
  • iGHBP

  • Referenced in 2 articles [sw37444]
  • effectiveness of our feature selection protocol. Furthermore, when objectively evaluated on an independent data...
  • PubChem PUG

  • Referenced in 1 article [sw36343]
  • SOAP, which uses the simple object access protocol (SOAP) and PUG-REST, which...
  • DIARETDB1

  • Referenced in 5 articles [sw14356]
  • objective of the design has been to unambiguously define a database and a testing protocol...
  • PLURAL

  • Referenced in 2 articles [sw13787]
  • usage protocols is notoriously hard due to possible aliasing of objects through multiple references ... proposed a sound, modular approach to checking protocol compliance based on typestates that offers...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • timed asynchronous systems (such as telecommunication protocols or distributed applications, in general). The toolbox ... dynamic systems. More exactly, primitive operations like object (or thread) creation and destruction, which...
  • CRAG

  • Referenced in 8 articles [sw06865]
  • Library provides an environment to test cryptographic protocols constructed from non-commutative groups, for example ... computations. There are implementations of basic algebraic objects like words, maps and subgroups. We plan...
  • MOT16

  • Referenced in 3 articles [sw39251]
  • pedestrians are by far the most studied object in the tracking community. This paper accompanies ... have been carefully annotated following a consistent protocol. Moreover, it not only offers a significant ... labeled boxes, but also provides multiple object classes beside pedestrians and the level of visibility...
  • LyraNET

  • Referenced in 2 articles [sw01964]
  • TCP/IP protocol processing overhead can be significantly decreased by 23–63%. Besides, object code size...
  • JOTSA

  • Referenced in 2 articles [sw29849]
  • objects. JOTSA was motivated by the need to represent exact timing relationships in network protocols ... panning and zooming, linking of collections of objects, event-driven simulation and synchronization. Applications have...
  • DIARETDB0

  • Referenced in 2 articles [sw14355]
  • objective of the design has been to unambiguously define a database and a testing protocol...