204 Citations
A Policy Language for Abstraction and Automation in Application-Oriented Access Controls: The Functionality-Based Application Confinement Policy Language
- Computer Science2011 IEEE International Symposium on Policies for Distributed Systems and Networks
- 2011
FBAC-PL is a novel scheme for application confinement policy that reuses, encapsulates and abstracts policy details, and facilitates a priori policy specification: that is, without having to rely solely on learning modes for creating policies to restrict applications.
A Reinforcement Learning Approach to Domain-Knowledge Inclusion Using Grammar Guided Symbolic Regression
- Computer Science
- 2022
A Reinforcement-Based GrammarGuided Symbolic Regression (RBG2-SR) method that constrains the representational space with domain-knowledge using context-free grammar as reinforcement action space and offers the best error-complexity trade-off is proposed.
The Structure-Behavior Coalescence Approach for Systems Modeling
- Computer ScienceIEEE Access
- 2019
A new approach for general-purpose systems modeling called structure-behavior coalescence (SBC) is introduced, which supports the integration of modeling both structural and behavioral aspects of a system in a single diagram.
Développement d'un outil d'évaluation performantielle des réglementations incendie en France et dans les pays de l'Union Européenne
- Philosophy
- 2017
Dans le but de faciliter la tâche d'evaluation du niveau de securite incendie aux ingenieurs et permettre aux specialistes impliques dans le domaine d'utiliser leurs langages et outils preferes, nous…
Développement d'un outil d'évaluation performantielle des réglementations incendie en France et dans les pays de l'Union Européenne. (Development of a performantial evaluation tool for fire regulations in France and the countries of the European union)
- Computer Science
- 2017
A language dedicated to the field of fire safety, which automatically generates a simulation, taking into account the specific languages used by the specialists involved in the field, is proposed, based on algebraic specifications.
Multiple Instance Learning
- Computer ScienceSpringer International Publishing
- 2016
This book provides a general overview of multiple instance learning (MIL), defining the framework and covering the central paradigms. The authors discuss the most important algorithms for MIL such as…
gramEvol: Grammatical Evolution in R
- Computer Science
- 2016
We describe an R package which implements grammatical evolution (GE) for automatic program generation. By performing an unconstrained optimization over a population of R expressions generated via a…
A Hidden Markov Model for Automatic Generation of ER Diagrams from OWL Ontology
- Computer Science2014 IEEE International Conference on Semantic Computing
- 2014
This paper proposes an innovative technique for estimating the most likely composition of ERD constructs that correspond to a given sequence of OWL axioms using a Hidden Markov Model.
On the Design and Testing of Authorization Systems
- Computer Science
- 2013
There exists a precise semantics that improves the efficiency of access-enforcement over the accessenforcement without precise semantics, and it is shown that there exists a least-restrictive enforcement of the Chinese Wall security policy.
Open source software for train control applications and its architectural implications
- Computer Science
- 2012
The development of a graphical domain-specific language for modelling parts of the European Train Control System (ETCS) is presented, which is based on specialised data, control flow formalisms, and language elements derived from the specification document.
References
SHOWING 1-2 OF 2 REFERENCES
Specification languages for mechanical languages and their processors a baker's dozen: a set of examples presented to ASA x3.4 subcommittee
- Computer ScienceCACM
- 1961
The computing community has now matured to a point where it should recognize the need for discipline and clarity in communication among humans, relative to communication between humans and machines, and this paper aids language development.