English
Related papers

Related papers: SWI-Prolog and the Web

200 papers

Despite numerous efforts by various developers, web service composition is still a difficult problem to tackle. Lot of progressive research has been made on the development of suitable standards. These researches help to alleviate and…

Software Engineering · Computer Science 2012-10-04 Bacem Wali , Bernard Gibaud

Software Defined Networks has seen tremendous growth and deployment in different types of networks. Compared to traditional networks it decouples the control logic from network layer devices, and centralizes it for efficient traffic…

Networking and Internet Architecture · Computer Science 2019-02-22 Zohaib Latif , Kashif Sharif , Fan Li , Md Monjurul Karim , Yu Wang

Multitier programming languages reduce the complexity of developing distributed systems by developing the distributed system in a single coherent code base. The compiler or the runtime separate the code for the components of the distributed…

Programming Languages · Computer Science 2020-02-17 Pascal Weisenburger , Guido Salvaneschi

Technology is becoming increasingly pervasive. At present, the system components working together to provide functionality, be they purely software or with a physical element, tend to operate within silos, bound to a particular application…

Computers and Society · Computer Science 2017-10-19 Raluca Diaconu , Jean Bacon , Jie Deng , Jatinder Singh

The context of the reported research is the documentation of software technologies such as object/relational mappers, web-application frameworks, or code generators. We assume that documentation should model a macroscopic view on usage…

Programming Languages · Computer Science 2017-02-01 Johannes Härtel , Lukas Härtel , Ralf Lämmel , Andrei Varanovich , Marcel Heinz

In today's world of Web application development, programmers are commonly called upon to use the Hypertext Markup Language (HTML) as a programming language, something for which it was never intended and for which it is woefully inadequate.…

Software Engineering · Computer Science 2014-05-13 John Francisco , Victor Sadikov

Special technologies need to be used to take advantage of, and overcome, the challenges associated with acquiring, transforming, storing, processing, and distributing spoken language resources in organisations. This paper introduces an…

Computation and Language · Computer Science 2007-05-23 Rodney J. Clarke , Dali Dong , Philip C. Windridge

GNU Prolog is a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by being, above all else, a native-code compiler which produces standalone executables which don't rely on any…

Programming Languages · Computer Science 2010-12-16 Daniel Diaz , Salvador Abreu , Philippe Codognet

HTML5 WebSocket protocol brings real time communication in web browsers to a new level. Daily, new products are designed to stay permanently connected to the web. WebSocket is the technology enabling this revolution. WebSockets are…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-09-12 Gabriel L. Muller

The Social Web is a set of social relations that link people through World Wide Web. This Social Web encompasses how the websites and software are designed and developed to support social relations. The new paradigms, tools and web services…

Software Engineering · Computer Science 2014-10-09 V. Kiran Kumar

The interdisciplinary nature of the Semantic Web and the many projects put forward by the community led to a large number of widely accepted serialization formats for RDF. Most of these RDF syntaxes have been developed out of a necessity to…

Digital Libraries · Computer Science 2013-12-18 Alex Stolz , Bene Rodriguez-Castro , Martin Hepp

Logic can define how agents are provided or denied access to resources, how to interlink resources using mining processes and provide users with choices for possible next steps in a workflow. These decisions are for the most part hidden,…

Logic in Computer Science · Computer Science 2023-05-16 Patrick Hochstenbach , Jos De Roo , Ruben Verborgh

Formal specifications have numerous benefits for both designers and users of network protocols. They provide clear, unambiguous representations, which are useful as documentation and for testing. They can help reveal disagreements about…

Networking and Internet Architecture · Computer Science 2025-09-17 David Basin , Nate Foster , Kenneth L. McMillan , Kedar S. Namjoshi , Cristina Nita-Rotaru , Jonathan M. Smith , Pamela Zave , Lenore D. Zuck

Existing standard protocols for the web and Internet telephony fail to deliver real-time interactive communication from within a web browser. In particular, the client-server web protocol over reliable TCP is not always suitable for…

Networking and Internet Architecture · Computer Science 2011-07-01 Carol Davids , Alan Johnston , Kundan Singh , Henry Sinnreich , Wilhelm Wimmreuter

The emerging Web of Data utilizes the web infrastructure to represent and interrelate data. The foundational standards of the Web of Data include the Uniform Resource Identifier (URI) and the Resource Description Framework (RDF). URIs are…

Artificial Intelligence · Computer Science 2011-08-05 Marko A. Rodriguez

Web archiving is the process of collecting portions of the Web to ensure that the information is preserved for future exploitation. However, despite the increasing number of web archives worldwide, the absence of efficient and meaningful…

Digital Libraries · Computer Science 2018-10-25 Pavlos Fafalios , Helge Holzmann , Vaibhav Kasturia , Wolfgang Nejdl

In many real-world OpenFlow-based SDN deployments, the ability to program heterogeneous forwarding elements built with different forwarding architectures is a desirable capability. In this paper, we discuss a data plane programming…

Networking and Internet Architecture · Computer Science 2014-05-02 Haoyu Song , Jun Gong , Hongfei Chen , Justin Dustzadeh

There are many initiatives in presents-days for interaction between Java and Prolog programming languages. These initiatives allow combine two programming paradigms, Object Oriented Programming and Logic Programming. Every proposed…

Programming Languages · Computer Science 2022-04-01 Jose E. Zalacain Llanes

Large language models (LLMs) represent words through contextual word embeddings encoding different language properties like semantics and syntax. Understanding these properties is crucial, especially for researchers investigating language…

Computation and Language · Computer Science 2025-04-16 Rita Sevastjanova , Robin Gerling , Thilo Spinner , Mennatallah El-Assady

Since the early days of the Web, web application developers have aspired to develop much of their applications declaratively. However, one aspect of the application, namely its business-logic is constantly left imperative. In this work we…

Programming Languages · Computer Science 2017-03-02 David H. Lorenz , Boaz Rosenan