Articles with "formal approach" as a keyword



A formal approach for graphically building fuzzy XML model

Sign Up to like & get
recommendations!
Published in 2019 at "International Journal of Intelligent Systems"

DOI: 10.1002/int.22188

Abstract: eXtensible Markup Language (XML) has been the de facto standard of data representation and exchange over the Web. In addition, imprecise and uncertain data are inherent in the real world. Although fuzzy data have been… read more here.

Keywords: fuzzy xml; xml model; model fuzzy; formal approach ... See more keywords
Photo from archive.org

Embedded ethics: some technical and ethical challenges

Sign Up to like & get
recommendations!
Published in 2018 at "Ethics and Information Technology"

DOI: 10.1007/s10676-018-9444-x

Abstract: This paper pertains to research works aiming at linking ethics and automated reasoning in autonomous machines. It focuses on a formal approach that is intended to be the basis of an artificial agent’s reasoning that… read more here.

Keywords: embedded ethics; ethical challenges; technical ethical; formal approach ... See more keywords
Photo from wikipedia

A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks

Sign Up to like & get
recommendations!
Published in 2021 at "IEEE Transactions on Industrial Informatics"

DOI: 10.1109/tii.2020.3002816

Abstract: The increased flexibility and interconnectivity of modern industrial communication networks, obtained through the use of innovative technologies like network function virtualization and software-defined networking, require a secure and manageable framework to support the new communication… read more here.

Keywords: formal approach; connectivity; approach verify; verify connectivity ... See more keywords
Photo from wikipedia

Ensuring the Compatibility of Autonomous Electric Vehicles Components Through a Formal Approach Based on Interaction Protocols

Sign Up to like & get
recommendations!
Published in 2023 at "IEEE Transactions on Vehicular Technology"

DOI: 10.1109/tvt.2022.3209339

Abstract: In the context of automotive applications, complex tasks such as automatic driving of electric vehicles are handled through the composition of several components, each offering a different service. Such component composition is not straightforward and… read more here.

Keywords: approach based; electric vehicles; autonomous electric; compatibility ... See more keywords