Defining product specifications so that customers’ needs could be well matched with suppliers’ capabilities is a very challenging task in custom product design. This research links technical requirements on product design with product management issues and formulates specification definition as multi-attribute negotiation. Specification negotiation is modeled as an iterative process of give and...

Today, sustainability becomes one of the biggest challenges. It represents a key issue in every production activity. To face this issue, a possible solution is to enhance knowledge usage in manufacturing and sustainability domains. In this paper, we extend the ONTO-PDM ontology for formalizing sustainable manufacturing knowledge. An industrial case is presented for instantiating the extension. ...

This paper describes a simplified and corrected specification of role-based access control (RBAC) based on the specification in the ANSI standard for RBAC. The simplifications and corrections were made while following a systematic method for deriving efficient implementations from straightforward implementations of clear specifications. The method allows specifications to be written clearly wit...

This paper describes a corrected and simplified specification of role-based access control (RBAC) based on the specification in the ANSI standard for RBAC. We give a complete specification of core RBAC, explaining the methodology we used in developing it; we then give a complete specification of hierarchical RBAC, with an additional option for managing the relationship on roles; and we also des...

This document presents a State Of the Art related to most popular products, tools and methods related to CBIR.

Behavior-rule specification-based technique is analyzed for intrusion detection of medical devices embedded in a medical cyber physical system (MCPS) where patient’s safety is of the utmost importance. Medical cyber physical system(MCPS) are used as tool for cyber attacks.This can relatively harm the patient or may even cause a direct or indirect threat to life. Intrusion detection technique he...

In the last two decades researchers from various disciplines have made attempts to model and estimate developments in the size and structure of the population of firms. Although these attempts give useful insights into possible explanatory factors of firm dynamics, the explanatory value, and hence predictive power of these models is usually not very high. In this paper we follow a pure demograp...

Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checking based approach to malware detection can capture the semantics of security exploits more accurately than traditional approaches, and consequently achieve higher detection rates. In this approach, malicious behavior is formali...