Computer Engineering / Bilgisayar Mühendisliği

Permanent URI for this collectionhttps://hdl.handle.net/11147/10

Browse

Filters

2013 - 201942020 - 20242

Settings

Publisher: search.filters.publisher.SpringerScopus Q: search.filters.scopusQuartile.Q3

Search Results

Now showing 1 - 6 of 6
  • Conference Object
    Citation - Scopus: 1
    Computing a Parametric Reveals Relation for Bounded Equal-Conflict Petri Nets
    (Springer, 2024) Adobbati, Federica; Bernardinello, Luca; Kılınç Soylu, Görkem; Pomello, Lucia
    In a distributed system, in which an action can be either “hidden” or “observable”, an unwanted information flow might arise when occurrences of observable actions give information about occurrences of hidden actions. A collection of relations, i.e. reveals and its variants, is used to model such information flow among transitions of a Petri net. This paper recalls the reveals relations defined in [3], and proposes an algorithm to compute them on bounded equal-conflict PT systems, using a smaller structure than the one defined in [3]. © 2024, The Author(s), under exclusive license to Springer-Verlag GmbH, DE, part of Springer Nature.
  • Conference Object
    Citation - WoS: 1
    Citation - Scopus: 1
    Application of Human-Robot Interaction Features To Design and Purchase Processes of Home Robots
    (Springer, 2021) Yapıcı, Nur Beril; Tuğlular, Tuğkan; Başoğlu, Ahmet Nuri
    Production of home robots, such as robotic vacuum cleaners, currently focuses more on the technology and its engineering than the needs of people and their interaction with robots. An observation supporting this view is that the home robots are not customizable. In other words, buyers cannot select the features and built their home robots to order. Stemmed from this observation, the paper proposes an approach that starts with a classification of features of home robots. This classification concerns robot interaction with humans and the environment, a home in our case. Following the classification, the proposed approach utilizes a new hybrid model based on a built-to-order model and dynamic eco-strategy explorer model, enabling designers to develop a production line and buyers to customize their home robots with the classified features. Finally, we applied the proposed approach to robotic vacuum cleaners. We developed a feature model for robotic vacuum cleaners, from which we formed a common uses scenario model.
  • Conference Object
    Citation - Scopus: 1
    Distributed Identity Based Private Key Generation for Scada Systems
    (Springer, 2013) Kılınç, Görkem; Nai Fovino, Igor
    The security of the ICT (Information Communications Technology) components of industrial systems is gaining great importance in the context of their criticality for society at large. There is an urgent need for the consideration of security in their design, and for the analysis of the related vulnerabilities and potential threats. The high exposure of industrial critical infrastructure to such threats is mainly due to the intrinsic weakness of the communication protocols used to control the process network. The peculiarities of the industrial protocols (low computational power, large geographical distribution, near to real-time constraints) make hard the effective use of traditional cryptographic schemes and in particular the implementation of a effective key management infrastructure supporting a cryptographic layer. In this paper we present the first working prototype of a distributed key generation infrastructure for SCADA systems based on the well known identity based crypto-paradigm. © 2013 Springer-Verlag.
  • Conference Object
    On-board applications development via symbolic user interfaces
    (Springer, 2014) Kumova, Bora İsmail
    becerik is a functional language consisting of symbolic commands for managing and composing applications. Application commands consist of symbols that are associated with reading sensor values, computing those values and executing actuator values. It is the result of a co-design of mechatronic functionality and robotic behaviour. The requirements given for mechatronic functionality were those of simple robotics kits that are used in school education or as toys. The requirements given for the behaviour were to provide a reflexive one, consisting of triggering simple computations and actuations from simple sensor values. becerik currently lives as a leJOS application on NXT robots and enables developing simple applications using the standard display and buttons of the NXT brick. In this paper we introduce the symbolic user interfaces of becerik. © 2014 Springer International Publishing Switzerland.
  • Conference Object
    Citation - Scopus: 1
    Fuzzy-Syllogistic Systems: a Generic Model for Approximate Reasoning
    (Springer, 2016) Kumova, Bora İsmail
    The well known Aristotelian syllogistic system S consists of 256 moods. We have found earlier that 136 moods are distinct in terms of equal truth ratios that range in tau = [ 0,1]. The truth ratio of a particular mood is calculated by relating the number of true and false syllogistic cases that the mood matches. The introduction of (n -1) fuzzy existential quantifiers, extends the system to fuzzy-syllogistic systems S-n, 1 < n, of which every fuzzy-syllogistic mood can be interpreted as a vague inference with a generic truth ratio, which is determined by its syllogistic structure. Here we introduce two new concepts, the relative truth ratio (r)tau = [ 0,1] that is calculated from the cardinalities of the syllogistic cases of the mood and fuzzy-syllogistic ontology (FSO). We experimentally apply the fuzzy-syllogistic systems S-2 and S-6 as underlying logic of a FSO reasoner (FSR) and discuss sample cases for approximate reasoning.y
  • Conference Object
    Citation - Scopus: 1
    A Digital Interaction Framework for Managing Knowledge Intensive Business Processes
    (Springer, 2019) Bandara, Madhushi; Rabhi, Fethi A.; Meymandpour, Rouzbeh; Demirörs, Onur
    Many business processes present in modern enterprises are loosely defined, highly interactive, involve frequent human interventions and coupled with a multitude of abstract entities defined within an enterprise architecture. Further, they demand agility and responsiveness to address the frequently changing business requirements. Traditional business process modelling and knowledge management technologies are not adequate to represent and support those processes. In this paper, we propose a framework for modelling such processes in a service-oriented fashion, extending an ontology-based enterprise architecture modelling platform. Finally, we discuss how our solution can be used as a stepping stone to cater for the management and execution of knowledge-intensive business processes in a broader context. © 2019, Springer Nature Switzerland AG.