• SecureUML

  • Referenced in 13 articles [sw01727]
  • approach is based on role-based access control with additional support for specifying authorization constraints...
  • RBAC-PAT

  • Referenced in 3 articles [sw00782]
  • Based Access Control (RBAC) has been widely used for expressing access control policies. Administrative Role ... Based Access Control (ARBAC) specifies how an RBAC policy may be changed by each administrator ... including reachability, availability, containment, weakest precondition, dead roles, and information flows...
  • ASASP

  • Referenced in 5 articles [sw06350]
  • analysis of administrative access control policies. The tool represents access policies and their administrative actions ... arising in (extensions of) the Role-Based Access Control model. Our tool shows better scalability...
  • PoPS

  • Referenced in 3 articles [sw11970]
  • specificity. Proteases play a fundamental role in the control of intra- and extra-cellular processes ... matrices. Here we present PoPS, a publicly accessible bioinformatics tool () that provides a novel method ... protease specificity, which while still being based on these amino acid sequences, can be built...
  • BiRen

  • Referenced in 1 article [sw27676]
  • stretches of DNA that play key roles in controlling gene expression programmes. Despite major efforts ... species. Thus, the development of computational methods based on limited experimentally validated enhancers and deciphering ... urgent. Results: We present a deep-learning-based hybrid architecture, BiRen, which predicts enhancers using ... other state-of-the-art enhancer predictors based on sequence characteristics. Our BiRen will enable...
  • Meta-4mCpred

  • Referenced in 1 article [sw37449]
  • crucial roles in differentiation between self and non-self DNA and in controlling DNA replication ... learning scheme and generated 56 probabilistic features based on four different machine-learning algorithms ... implement the proposed Meta-4mCpred is freely accessible at http://thegleelab.org/Meta-4mCpred....
  • FAtiMA

  • Referenced in 1 article [sw37739]
  • help children deal with bullying through role-playing with virtual characters. It was also ... with the goal of making FAtiMA more accessible, easier to incorporate into different projects ... capabilities for human-agent interaction, based upon the experience gathered over the years across different ... field of Agent-Based Architectures. More precisely, FAtiMA Toolkit’s library based design allows developers...
  • UniVerMec

  • Referenced in 1 article [sw35265]
  • Verfied Techniques. Verified algorithms play an important role in the context of different applications from ... formalize the arithmetics using a heterogeneous algebra. Based on this algebra, we introduce the concept ... made accessible by the function representation objects. Moreover, we formalize and improve interval-based hierarchical ... cases from biomechanics and modeling, simulation and control of fuel cells. We demonstrate that...
  • R

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

  • Referenced in 30 articles [sw01247]
  • Alloy: A new technology for software modelling. Alloy...
  • WebCom

  • Referenced in 12 articles [sw01586]
  • WebCom: A web based volunteer computer. The World...
  • Ada95

  • Referenced in 293 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...
  • DISCOVER

  • Referenced in 8 articles [sw02247]
  • DISCOVER: An environment for Web-based interaction and...
  • CAPP

  • Referenced in 9 articles [sw03233]
  • Technological advances are reshaping the face of manufacturing...
  • TPTP

  • Referenced in 383 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • Smodels

  • Referenced in 239 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • Maude

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

  • Referenced in 71 articles [sw09424]
  • KLAIM: a kernel language for agents interaction and...
  • LIME

  • Referenced in 26 articles [sw09425]
  • LIME: a middleware for physical and logical mobility...
  • Linda

  • Referenced in 103 articles [sw09427]
  • Generative communication in Linda. Generative communication is the...