English
Related papers

Related papers: A MDA approach for defining WS-Policy semantic non…

200 papers

Two decades ago, the Semantic Web Services community was asked how agents with different ontological commitments could discover, compose, and invoke web services coherently. The response was OWL-S and WSMO: formally grounded capability…

Artificial Intelligence · Computer Science 2026-05-27 Terry R. Payne , Valentina Tamma , Enrico Daga

Our goal is to use formal methods to analyse normative documents written in English, such as privacy policies and service-level agreements. This requires the combination of a number of different elements, including information extraction…

Computation and Language · Computer Science 2017-07-14 John J. Camilleri , Mohammad Reza Haghshenas , Gerardo Schneider

The World Wide Web no longer consists just of HTML pages. Our work sheds light on a number of trends on the Internet that go beyond simple Web pages. The hidden Web provides a wealth of data in semi-structured form, accessible through Web…

Artificial Intelligence · Computer Science 2011-05-11 Fabian Suchanek , Aparna Varde , Richi Nayak , Pierre Senellart

Data-driven design and innovation is a process to reuse and provide valuable and useful information. However, existing semantic networks for design innovation is built on data source restricted to technological and scientific information.…

Computation and Language · Computer Science 2022-11-22 Haoyu Zuo , Qianzhi Jing , Tianqi Song , Huiting Liu , Lingyun Sun , Peter Childs , Liuqing Chen

Web Service Composition deals with the (re)use of Web Services to provide complex functionality, inexistent in any single service. Over the state-of-the-art, we introduce a new type of modeling, based on ontologies and relations between…

Computation and Language · Computer Science 2019-09-11 Paul Diac , Liana Tucar , Radu Mereuta

For efficiency reasons, the software system designers' will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses such as dependability, schedulability and performance. AADL…

Performance · Computer Science 2007-05-23 Ana-Elena Rugina , Karama Kanoun , Mohamed Kaaniche

Large language models (LLMs) excel at generating code from natural language (NL) descriptions. However, the plain textual descriptions are inherently ambiguous and often fail to capture complex requirements like intricate system behaviors,…

Artificial Intelligence · Computer Science 2025-11-06 Wenxin Mao , Zhitao Wang , Long Wang , Sirong Chen , Cuiyun Gao , Luyang Cao , Ziming Liu , Qiming Zhang , Jun Zhou , Zhi Jin

Comprehensive semantic descriptions of Web services are essential to exploit them in their full potential, that is, discovering them dynamically, and enabling automated service negotiation, composition and monitoring. The semantic…

Databases · Computer Science 2007-05-23 Asuman Dogac , Gokce Laleci , Yildiray Kabak , Ibrahim Cingil

The field of Web services is an important paradigm in distributed application development. Currently, many businesses are seeking to convert their applications into web services because of its ability to promote inter-operability among…

Software Engineering · Computer Science 2013-04-08 A Anji Reddy , S Sowmya Kamath

A useful programming language needs to support writing programs that take advantage of services and communication mechanisms supplied by the operating system. We examine the problem of programming native Win32 applications under Windows…

Programming Languages · Computer Science 2007-05-23 Riccardo Pucella , Erik Meijer , Dino Oliva

When creating a new domain-specific language (DSL) it is common to embed it as a part of a flexible host language, rather than creating it entirely from scratch. The semantics of an embedded DSL (EDSL) is either given directly as a set of…

Programming Languages · Computer Science 2016-12-06 Piotr Danilewski , Philipp Slusallek

Architectural styles and patterns play an important role in software engineering. One of the most known ones is the layered architecture style. However, this style is usually only stated informally, which may cause problems such as…

Software Engineering · Computer Science 2015-03-18 Diego Marmsoler , Alexander Malkis , Jonas Eckhardt

One of the main factors driving object-oriented software development for information systems is the requirement for systems to be tolerant to change. To address this issue in designing systems, this paper proposes a pattern-based,…

Web Services (WS) have become one the most used technologies nowadays in software systems. Among the challenges when integrating WS in a given system, requirements-driven selection occupies a prominent place. A comprehensive selection…

Networking and Internet Architecture · Computer Science 2011-10-26 Oscar Cabrera , Marc Oriol , Xavier Franch , Lidia López , Jordi Marco , Olivia Fragoso , René Santaolaya

More and more enterprises recently intend to deploy data management systems in the cloud. Due to the professionalism of software development, it has still been difficult for non-programmers to develop this kind of systems, even a small one.…

Software Engineering · Computer Science 2019-10-15 Can Yang , Shiying Pan , Runmin Li , Yu Liu , Lizhang Peng

A key operation in processing an unbounded data stream is windowing, which extracts finite portions of streams for further handling. The existing frameworks and query languages either require windows to be defined using ad hoc imperative…

Formal Languages and Automata Theory · Computer Science 2025-11-18 S Hitarth , M. Praveen

Research in the Life Sciences depends on the integration of large, distributed and heterogeneous data sources and web services. The discovery of which of these resources are the most appropriate to solve a given task is a complex research…

Artificial Intelligence · Computer Science 2010-12-09 Maria Perez , Rafael Berlanga , Ismael Sanz

The stakeholders involved in software development are becoming increasingly diverse, with both human contributors from varied backgrounds and AI-powered agents collaborating together in the process. This situation presents unique governance…

Software Engineering · Computer Science 2025-10-17 Adem Ait , Gwendal Jouneaux , Javier Luis Cánovas Izquierdo , Jordi Cabot

We reflect on programming with complicated effects, recalling an undeservingly forgotten alternative to monadic programming and checking to see how well it can actually work in modern functional languages. We adopt and argue the position of…

Programming Languages · Computer Science 2019-05-17 Oleg Kiselyov

Where Prolog is commonly seen as a component in a Web application that is either embedded or communicates using a proprietary protocol, we propose an architecture where Prolog communicates to other components in a Web application using the…

Programming Languages · Computer Science 2007-11-07 Jan Wielemaker , Zhisheng Huang , Lourens van der Meij
‹ Prev 1 3 4 5 6 7 10 Next ›