English
Related papers

Related papers: MARTE Profile-based MDA approach for semantic NFP-…

200 papers

This preprint specifies and defines all the Terms, Properties, and Relationships of NFRsTDO (Non-Functional Requirements Top-Domain Ontology). NFRsTDO v1.2, whose UML conceptualization is shown in Figure 1 is a slightly updated version of…

Artificial Intelligence · Computer Science 2023-02-03 Luis Olsina , María Fernanda Papa , Pablo Becker

One of the advantages of adopting a Model Based Development (MBD) process is that it enables testing and verification at early stages of development. However, it is often desirable to not only verify/falsify certain formal system…

Logic in Computer Science · Computer Science 2017-02-07 Bardh Hoxha , Adel Dokhanchi , Georgios Fainekos

Many systems can be described in terms of networks of discrete elements and their various relationships to one another. A semantic network, or multi-relational network, is a directed labeled graph consisting of a heterogeneous set of…

Artificial Intelligence · Computer Science 2008-11-03 Marko A. Rodriguez , Jennifer H. Watkins , Johan Bollen , Carlos Gershenson

While NMT has achieved remarkable results in the last 5 years, production systems come with strict quality requirements in arbitrarily niche domains that are not always adequately covered by readily available parallel corpora. This is…

Computation and Language · Computer Science 2021-08-03 Emmanouil Stergiadis , Satendra Kumar , Fedor Kovalev , Pavel Levin

This work presents a systematic investigation into the latent knowledge encoded within Network Foundation Models (NFMs) that focuses on hidden representations analysis rather than pure downstream task performance. Different from existing…

Machine Learning · Computer Science 2025-11-11 Sylee Beltiukov , Satyandra Guthula , Wenbo Guo , Walter Willinger , Arpit Gupta

Semantic parsing is a key NLP task that maps natural language to structured meaning representations. As in many other NLP tasks, SOTA performance in semantic parsing is now attained by fine-tuning a large pretrained language model (PLM).…

Computation and Language · Computer Science 2022-03-08 Weiqi Sun , Haidar Khan , Nicolas Guenon des Mesnards , Melanie Rubino , Konstantine Arkoudas

The web information resources are growing explosively in number and volume. Now to retrieve relevant data from web has become very difficult and time-consuming. Semantic Web envisions that these web resources should be developed in…

Software Engineering · Computer Science 2010-06-24 Amjad Farooq , Syed Ahsan , Abad Shah

Graph-based data models allow for flexible data representation. In particular, semantic data based on RDF and OWL fuels use cases ranging from general knowledge graphs to domain specific knowledge in various technological or scientific…

Programming Languages · Computer Science 2019-02-06 Philipp Seifer , Martin Leinberger , Ralf Lämmel , Steffen Staab

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers the formalisms of system architectures for supporting model-based requirement elicitation,…

Software Engineering · Computer Science 2020-10-16 Lu Jinzhi , Ma Junda , Xiaochen Zheng , Guoxin Wang , Dimitris Kiritsis

Neural machine translation has recently achieved impressive results, while using little in the way of external linguistic information. In this paper we show that the strong learning capability of neural MT models does not make linguistic…

Computation and Language · Computer Science 2016-06-29 Rico Sennrich , Barry Haddow

The process-based semantic composition of Web Services is gaining a considerable momentum as an approach for the effective integration of distributed, heterogeneous, and autonomous applications. To compose Web Services semantically, we need…

Artificial Intelligence · Computer Science 2015-06-01 Hioual Ouassila , Boufaida Zizette

Artifact-Centric systems have emerged in the last years as a suitable framework to model business-relevant entities, by combining their static and dynamic aspects. In particular, the Guard-Stage-Milestone (GSM) approach has been recently…

Artificial Intelligence · Computer Science 2013-08-30 Babak Bagheri Hariri , Diego Calvanese , Marco Montali , Ario Santoso , Dmitry Solomakhin

Service Oriented Architecture (SOA) is an architectural paradigm that describes how organizations, people and systems provide and use services to achieve their goals and enhance productivity. Moreover, with the evolution of SOA, the focus…

Software Engineering · Computer Science 2012-07-27 Boutaina Chakir , Mounia Fredj , Mahmoud Nassar

We give a first rigorous characterization of Operational Design Domains (ODDs) for Machine Learning (ML)-based aeronautical products. Unlike in other application sectors (such as self-driving road vehicles) where ODD development is…

Software Engineering · Computer Science 2023-07-18 Fateh Kaakai , Shridhar "Shreeder" Adibhatla , Ganesh Pai , Emmanuelle Escorihuela

This paper offers a natural stochastic semantics of Networks of Priced Timed Automata (NPTA) based on races between components. The semantics provides the basis for satisfaction of probabilistic Weighted CTL properties (PWCTL),…

Software Engineering · Computer Science 2014-12-01 Alexandre David , Kim G. Larsen , Axel Legay , Marius Mikučionis , Danny Bøgsted Poulsen , Jonas van Vliet , Zheng Wang

Feature Structures (FSs) are a widespread tool used for decompositional frameworks of Attribute-Value associations. Even though they thrive in simple systems, they lack a way of representing higher-order entities and relations. This is…

Logic in Computer Science · Computer Science 2020-02-06 Valentin D. Richard

Systems that rely on Machine Learning (ML systems) have differing demands on system quality compared to traditional systems. Such quality demands, known as non-functional requirements (NFRs), may differ in their definition, scope, and…

Software Engineering · Computer Science 2022-03-22 Khan Mohammad Habibullah , Gregory Gay , Jennifer Horkoff

Deep learning approaches are superior in NLP due to their ability to extract informative features and patterns from languages. The two most successful neural architectures are LSTM and transformers, used in large pretrained language models…

Computation and Language · Computer Science 2022-03-03 Matej Klemen , Luka Krsnik , Marko Robnik-Šikonja

Many recent works aim at developing methods and tools for the processing of semantic Web services. In order to be properly tested, these tools must be applied to an appropriate benchmark, taking the form of a collection of semantic WS…

Software Engineering · Computer Science 2015-02-04 Cihan Aksoy , Vincent Labatut , Chantal Cherifi , Jean-François Santucci

Model Driven Engineering (MDE) is an emerging approach of software engineering. MDE emphasizes the construction of models from which the implementation should be derived by applying model transformations. The Ontology Definition Meta-model…

Logic in Computer Science · Computer Science 2012-10-24 Jesús M. Almendros-Jiménez , Luis Iribarne