English
Related papers

Related papers: SWI-Prolog and the Web

200 papers

System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their abstract syntax tree (AST). Tree structures can be…

Software Engineering · Computer Science 2017-01-09 Frank Flederer , Ludwig Ostermayer , Dietmar Seipel , Sergio Montenegro

Proponents of the programming language Prolog share the opinion Prolog is more appropriate for transforming XML-documents as other well-established techniques and languages like XSLT. In order to clarify this position this work proposes a…

Programming Languages · Computer Science 2021-04-26 René Haberland

Following the ideas of the Remote Procedure Call model, we have developed a logic programming counterpart, naturally called Prolog Remote Predicate Call (Prolog RPC). The Prolog RPC protocol facilitates the integration of Prolog code in…

Networking and Internet Architecture · Computer Science 2007-05-23 Alin Suciu , Kalman Pusztai , Andrei Diaconu

Even though the core of the Prolog programming language has been standardized by ISO since 1995, it remains difficult to write complex Prolog programs that can run unmodified on multiple Prolog implementations. Indeed, implementations…

Programming Languages · Computer Science 2022-05-10 David Geleßus , Michael Leuschel

Network protocols are programs with inputs and outputs that follow predefined communication patterns to synchronize and exchange information. There are many protocols and each serves a different purpose, e.g., routing, transport, secure…

Cryptography and Security · Computer Science 2025-11-04 Max von Hippel

In this paper we describe an architecture which: Permits the deployment and execution of components in appropriate geographical locations. Provides security mechanisms that prevent misuse of the architecture. Supports a programming model…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-07-01 Alan Dearle , Graham Kirby , Andrew McCarthy , Juan-Carlos Diaz y Carballo

"Web Of Things" evolved from "Internet Of Things". Lot of research has been done in designing architecture for "Web Of Things". Two main architectures are Smart gateway based architecture and embedded Web Server based architecture. These…

Networking and Internet Architecture · Computer Science 2011-11-08 P. Shrinivasan. R. Patnaikuni , Raj. B. Kulkarni

This is a position paper, submitted to the Future Online Analysis Platform Workshop (https://press3.mcs.anl.gov/futureplatform/), which argues that simple data analysis applications are common today, but future online supercomputing…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-02-27 Justin M Wozniak , Jonathan Ozik , Daniel S. Katz , Michael Wilde

Transferring composite data structures with variable-length fields often requires designing non-trivial protocols that are not compatible between hardware designs. When each project designs its own data format and protocols the ability to…

Programming Languages · Computer Science 2022-12-22 Yongding Tian , Zaid Al-Ars , Peter Hofstee

The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the Semantic Web provides a unifying representation of richly…

Networking and Internet Architecture · Computer Science 2007-11-12 Tim Berners-Lee , Dan Connolly , Lalana Kagal , Yosi Scharf , Jim Hendler

This position paper explores how to support the Web's evolution through an underlying data-centric approach that better matches the data-orientedness of modern and emerging applications. We revisit the original vision of the Web as a…

Networking and Internet Architecture · Computer Science 2024-07-23 Tianyuan Yu , Xinyu Ma , Varun Patil , Yekta Kocaogullar , Yulong Zhang , Jeff Burke , Dirk Kutscher , Lixia Zhang

Software architecture knowledge transfer is essential for software development, but related documentation is often incomplete or ambiguous, making oral explanations a common means. Our broader aim is to explore how such explanations might…

Software Engineering · Computer Science 2025-09-03 Satrio Adi Rukmono , Filip Zamfirov , Lina Ochoa , Floris Pex , Michel Chaudron

Transforming XML documents with conventional XML languages, like XSL-T, is disadvantageous because there is too lax abstraction on the target language and it is rather difficult to recognize rule-oriented transformations. Prolog as a…

Logic in Computer Science · Computer Science 2019-06-21 René Haberland , Igor L. Bratchikov

This document introduces PlDoc, a literate programming system for Prolog. Starting point for PlDoc was minimal distraction from the programming task and maximal immediate reward, attempting to seduce the programmer to use the system.…

Programming Languages · Computer Science 2007-11-06 Jan Wielemaker , Anjo Anjewierden

The current computer programmings encapsulate attributes and behaviours into objects, but miss the mechanism to support the connection among objects. A programming paradigm is presented to connect all objects. The connection supports…

Programming Languages · Computer Science 2016-03-23 Yanping Chen , Qinghua Zheng , Ping Chen

Incorrect implementations of network protocol message specifications affect the stability, security, and cost of network system development. Most implementation defects fall into one of three categories of well defined message constraints.…

Networking and Internet Architecture · Computer Science 2013-11-15 C. Jasson Casey , Andrew Sutton , Gabriel Dos Reis , Alex Sprintson

OWLOOP is an Application Programming Interface (API) for using the Ontology Web Language (OWL) by the means of Object-Oriented Programming (OOP). It is common to design software architectures using the OOP paradigm for increasing their…

Artificial Intelligence · Computer Science 2022-01-03 Luca Buoncompagni , Syed Yusha Kareem , Fulvio Mastrogiovanni

Workflow and serverless frameworks have empowered new approaches to distributed application design by abstracting compute resources. However, their typically limited or one-size-fits-all support for advanced data flow patterns leaves…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-12-03 J. Gregory Pauloski , Valerie Hayot-Sasson , Logan Ward , Alexander Brace , André Bauer , Kyle Chard , Ian Foster

Engineered solutions are becoming more complex and multi-disciplinary in nature. This evolution requires new techniques to enhance design and analysis tasks that incorporate data integration and interoperability across various engineering…

Artificial Intelligence · Computer Science 2022-06-22 Daniel Dunbar , Thomas Hagedorn , Mark Blackburn , John Dzielski , Steven Hespelt , Benjamin Kruse , Dinesh Verma , Zhongyuan Yu

PHP is one of the most commonly used languages to develop web sites because of its simplicity, easy to learn and it can be easily embedded with any of the databases. A web developer with his basic knowledge developing an application without…

Cryptography and Security · Computer Science 2015-06-17 C. Sireesha , G. Jyostna , P. Raghu Varan , P. R. L. Eswari